Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

David Brooks

1PUBLICATIONS

63CO-AUTHORS

Formal methods for software

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (1)

Sort by Publication Date:

|May 07, 2022

BioSimulators: a central registry of simulation engines and services for recommending specific tools.

Bilal Shaikh, Lucian P Smith, Dan Vasilescu

Pageof 1

Frequent Collaborators

1 joint publications

Bilal Shaikh

1 joint publications

Lucian P Smith

1 joint publications

Michael Wilson

1 joint publications

Eran Agmon

1 joint publications

Henry Agnew

1 joint publications

Steven S Andrews

1 joint publications

Moritz E Beber

1 joint publications

Frank T Bergmann

1 joint publications

Lutz Brusch

1 joint publications

Laurence Calzone

Frequent Collaborators

1 joint publications

Bilal Shaikh

1 joint publications

Lucian P Smith

1 joint publications

Michael Wilson

1 joint publications

Eran Agmon

Top Related Videos

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

Published on : May 27, 2022

See more related videos

Top Related Videos

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

<em>In Silico</em> Clinical Trials for Cardiovascular Disease

Published on : May 27, 2022

See more related videos