Ion I Moraru

4PUBLICATIONS
90CO-AUTHORS
Bioinformatic methods developmentFormal methods for softwareProgramming languages
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (4)

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

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

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

Bilal Shaikh, Lucian P Smith, Dan Vasilescu

|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

Pageof 1