These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
11. Automatic validation of computational models using pseudo-3D spatio-temporal model checking. Pârvu O; Gilbert D BMC Syst Biol; 2014 Dec; 8():124. PubMed ID: 25440773 [TBL] [Abstract][Full Text] [Related]
12. Multi-agent systems in epidemiology: a first step for computational biology in the study of vector-borne disease transmission. Roche B; Guégan JF; Bousquet F BMC Bioinformatics; 2008 Oct; 9():435. PubMed ID: 18922166 [TBL] [Abstract][Full Text] [Related]
13. Mesoscopic modeling as a starting point for computational analyses of cystic fibrosis as a systemic disease. Voit EO Biochim Biophys Acta; 2014 Jan; 1844(1 Pt B):258-70. PubMed ID: 23570976 [TBL] [Abstract][Full Text] [Related]
14. A data integration approach for cell cycle analysis oriented to model simulation in systems biology. Alfieri R; Merelli I; Mosca E; Milanesi L BMC Syst Biol; 2007 Aug; 1():35. PubMed ID: 17678529 [TBL] [Abstract][Full Text] [Related]
15. Reducing complexity in an agent based reaction model-Benefits and limitations of simplifications in relation to run time and system level output. Rhodes DM; Holcombe M; Qwarnstrom EE Biosystems; 2016 Sep; 147():21-7. PubMed ID: 27297544 [TBL] [Abstract][Full Text] [Related]
16. The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. Boemo MA; Cardelli L; Nieduszynski CA PLoS Comput Biol; 2020 Mar; 16(3):e1007651. PubMed ID: 32150540 [TBL] [Abstract][Full Text] [Related]