David P Nickerson

21PUBLICATIONS
109CO-AUTHORS
Bioinformatics and computational biology not elsewhere classifiedSatisfiability and optimisationBioinformatic methods developmentSoftware quality, processes and metricsFormal methods for software
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

|Jul 19, 2024
Specifications of standards in systems and synthetic biology: status, developments, and tools in 2024.

Martin Golebiewski, Gary Bader, Padraig Gleeson

|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

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