Jonathan R Karr

6PUBLICATIONS
67CO-AUTHORS
Bioinformatics and computational biology not elsewhere classifiedBioinformatic methods developmentFormal methods for softwareSimulation, modelling, and programming of mechatronics systems
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (6)

|Dec 04, 2025
Verification and reproducible curation of the BioModels repository.

Lucian P Smith, Rahuman S Malik-Sheriff, Tung V N Nguyen

|Feb 03, 2025
Verification and reproducible curation of the BioModels repository.

Lucian Smith, Rahuman S Malik-Sheriff, Tung V N Nguyen

|Apr 13, 2024
The simulation experiment description markup language (SED-ML): language specification for level 1 version 5.

Lucian P Smith, Frank T Bergmann, Alan Garny

|May 07, 2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools.

Bilal Shaikh, Lucian P Smith, Dan Vasilescu

|Feb 06, 2020
Organizing genome engineering for the gigabase scale.

Bryan A Bartley, Jacob Beal, Jonathan R Karr

Pageof 1