David P Nickerson

21PUBLICATIONS
109CO-AUTHORS
Bioinformatics and computational biology not elsewhere classifiedSatisfiability and optimisationBioinformatic methods developmentFormal methods for softwareSoftware quality, processes and metrics
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (21)

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

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

|Apr 08, 2025
FAIRification of computational models in biology.

Irina Balaur, David P Nickerson, Danielle Welter

|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

|Mar 29, 2023
Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022.

Matthias König, Padraig Gleeson, Martin Golebiewski

|Nov 10, 2022
A modular and reusable model of epithelial transport in the proximal convoluted tubule.

Leyla Noroozbabaee, Pablo J Blanco, Soroush Safaei

Pageof 4

Frequent Collaborators

11 joint publications

Matthias König

10 joint publications

Dagmar Waltemath

7 joint publications

Lucian Smith

6 joint publications

Herbert Sauro