Clifford A Shaffer

2PUBLICATIONS
44CO-AUTHORS
Programming languagesFormal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

Sort by Publication Date:
|Aug 27, 2020
SBML Level 3: an extensible format for the exchange and reuse of biological models.

Sarah M Keating, Dagmar Waltemath, Matthias König

|Jul 16, 2019
JigCell Model Connector: building large molecular network models from components.

Thomas C Jones, Stefan Hoops, Layne T Watson

Pageof 1

Frequent Collaborators

1 joint publications

Thomas C Jones

1 joint publications

Sarah M Keating

1 joint publications

Dagmar Waltemath

1 joint publications

Matthias König

1 joint publications

Fengkai Zhang

1 joint publications

Andreas Dräger

1 joint publications

Claudine Chaouiya

1 joint publications

Frank T Bergmann

1 joint publications

Colin S Gillespie

1 joint publications

Tomáš Helikar

Frequent Collaborators

1 joint publications

Thomas C Jones

1 joint publications

Sarah M Keating

1 joint publications

Dagmar Waltemath

1 joint publications

Matthias König

JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies
Jove
Visualize
Contact Us

Top Related Videos

A Web Tool for Generating High Quality Machine-readable Biological Pathways
08:01

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on : Feb 08, 2017

18.3K
2D-HPLC-MS Technology Combined with Molecular Network for the Identification of Components in Tibetan Medicine <i>Aconitum pendulum  </i>
07:50

2D-HPLC-MS Technology Combined with Molecular Network for the Identification of Components in Tibetan Medicine <i>Aconitum pendulum </i>

Published on : Dec 08, 2023

1.1K
See more related videos

Top Related Videos

A Web Tool for Generating High Quality Machine-readable Biological Pathways
08:01

A Web Tool for Generating High Quality Machine-readable Biological Pathways

Published on : Feb 08, 2017

18.3K
2D-HPLC-MS Technology Combined with Molecular Network for the Identification of Components in Tibetan Medicine <i>Aconitum pendulum  </i>
07:50

2D-HPLC-MS Technology Combined with Molecular Network for the Identification of Components in Tibetan Medicine <i>Aconitum pendulum </i>

Published on : Dec 08, 2023

1.1K
See more related videos