SBML qualitative models: A model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools

BMC Systems Biology

Volumn 7, Issue , 2013, Pages

  Chaouiya, Claudine ^a   Bérenguier, Duncan ^b   Keating, Sarah M ^c   Naldi, Aurélien ^d   van Iersel, Martijn P ^c   Rodriguez, Nicolas ^c,e   Dräger, Andreas ^f,g   Büchel, Finja ^g   Cokelaer, Thomas ^c   Kowal, Bryan ^o   Wicks, Benjamin ^h   Gonçalves, Emanuel ^c   Dorier, Julien ^d   Page, Michel ^i,j   Monteiro, Pedro T ^a,k   von Kamp, Axel ^l   Xenarios, Ioannis ^d   de Jong, Hidde ⁱ   Hucka, Michael ^m   Klamt, Steffen ^l   Thieffry, Denis ⁿ   Le Novère, Nicolas ^c,e   Saez Rodriguez, Julio ^c   Helikar, Tomáš ^o   more..

^a INSTITUTO GULBENKIAN DE CIÊNCIA   (Portugal)

^b AIX MARSEILLE UNIVERSITÉ   (France)

^c EUROPEAN BIOINFORMATICS INSTITUTE   (United Kingdom)

^d UNIVERSITY OF LAUSANNE   (Switzerland)

^e BABRAHAM INSTITUTE   (United Kingdom)

^f UNIVERSITY OF CALIFORNIA SAN DIEGO   (United States)

^g UNIVERSITY OF TÜBINGEN   (Germany)

^h UNIVERSITY OF NEBRASKA AT OMAHA   (United States)

ⁱ INRIA RHÔNE ALPES   (France)

^j CERAG CNRS UMR 5820   (France)

^k INESC   (Portugal)

^l MAX PLANCK INSTITUTE FOR DYNAMICS OF COMPLEX TECHNICAL SYSTEMS   (Germany)

^m California Institute of Technology   (United States)

ⁿ CNRS   (France)

^o UNIVERSITY OF NEBRASKA LINCOLN   (United States)

more..

Author keywords

[No Author keywords available]

Indexed keywords

EPIDERMAL GROWTH FACTOR; TUMOR NECROSIS FACTOR ALPHA;

ANIMAL; ARTICLE; BIOLOGICAL MODEL; CELLS; COMPUTER LANGUAGE; CYTOLOGY; INTERNET; METABOLISM; SIGNAL TRANSDUCTION;

ANIMALS; CELLS; EPIDERMAL GROWTH FACTOR; INTERNET; MODELS, BIOLOGICAL; PROGRAMMING LANGUAGES; SIGNAL TRANSDUCTION; TUMOR NECROSIS FACTOR-ALPHA;

EID: 84889794047     PISSN: None     EISSN: 17520509     Source Type: Journal    
DOI: 10.1186/1752-0509-7-135     Document Type: Article

References (87)

1. Kauffman S. Homeostasis and differentiation in random genetic control networks. Nature 1969, 224:177-8. 10.1038/224177a0, 5343519.
2. Thomas R. Boolean formalisation of genetic control circuits. J Theor Biol 1973, 42:565-583.
3. Silva-Rocha R, de Lorenzo V. The TOL network of Pseudomonas putida mt-2 processes multiple environmental inputs into a narrow response space. Environ Microbiol 2013, 15:271-86. 10.1111/1462-2920.12014, 23171249.
4. Herrmann F, Groß A, Zhou D, Kestler HA, Kühl M. A boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLoS One 2012, 7:e46798. 10.1371/journal.pone.0046798, 3462786, 23056457.
5. Akman OE, Watterson S, Parton A, Binns N, Millar AJ, Ghazal P. Digital clocks: simple Boolean models can quantitatively describe circadian systems. J R Soc Interface 2012, 9:2365-82. 10.1098/rsif.2012.0080, 3405750, 22499125.
6. Giacomantonio CE, Goodhill GJ. A Boolean model of the gene regulatory network underlying mammalian cortical area development. PLoS Comput Biol 2010, 6:e1000936. 10.1371/journal.pcbi.1000936, 2940723, 20862356.
7. Tokar T, Turcan Z, Ulicny J. Boolean network-based model of the Bcl-2 family mediated MOMP regulation. Theor Biol Med Model 2013, 10:40. 10.1186/1742-4682-10-40, 3716804, 23767791.
8. Sridharan S, Layek R, Datta A, Venkatraj J. Boolean modeling and fault diagnosis in oxidative stress response. BMC Genomics 2012, 13(Suppl 6):S4.
9. Domedel-Puig N, Rué P, Pons AJ, García-Ojalvo J. Information routing driven by background chatter in a signaling network. PLoS Comput Biol 2011, 7:e1002297. 10.1371/journal.pcbi.1002297, 3234210, 22174668.
10. Saadatpour A, Albert I, Albert R. Attractor analysis of asynchronous Boolean models of signal transduction networks. J Theor Biol 2010, 266:641-56. 10.1016/j.jtbi.2010.07.022, 20659480.
11. Naldi A, Carneiro J, Chaouiya C, Thieffry D. Diversity and plasticity of Th cell types predicted from regulatory network modelling. PLoS Comput Biol 2010, 6:e1000912. 10.1371/journal.pcbi.1000912, 2932677, 20824124.
12. Samaga R, Saez-Rodriguez J, Alexopoulos LG, Sorger PK, Klamt S. The logic of EGFR/ErbB signaling: theoretical properties and analysis of high-throughput data. PLoS Comput Biol 2009, 5:e1000438. 10.1371/journal.pcbi.1000438, 2710522, 19662154.
13. Calzone L, Tournier L, Fourquet S, Thieffry D, Zhivotovsky B, Barillot E, Zinovyev A. Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Comput Biol 2010, 6:e1000702. 10.1371/journal.pcbi.1000702, 2832675, 20221256.
14. Helikar T, Konvalina J, Heidel J, Rogers JA. Emergent decision-making in biological signal transduction networks. Proc Natl Acad Sci U S A 2008, 105:1913-1918. 10.1073/pnas.0705088105, 2538858, 18250321.
15. Fauré A, Naldi A, Chaouiya C, Thieffry D. Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle. Bioinformatics 2006, 22:e124-31. 10.1093/bioinformatics/btl210, 16873462.
16. Davidich MI, Bornholdt S. Boolean network model predicts cell cycle sequence of fission yeast. PLoS One 2008, 3:e1672. 10.1371/journal.pone.0001672, 2243020, 18301750.
17. Todd RG, Helikar T. Ergodic sets as cell phenotype of budding yeast cell cycle. PLoS One 2012, 7:e45780. 10.1371/journal.pone.0045780, 3462196, 23049686.
18. Sahin O, Fröhlich H, Löbke C, Korf U, Burmester S, Majety M, Mattern J, Schupp I, Chaouiya C, Thieffry D, Poustka A, Wiemann S, Beissbarth T, Arlt D. Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance. BMC Syst Biol 2009, 3:1. 10.1186/1752-0509-3-1, 2652436, 19118495.
19. Madrahimov A, Helikar T, Kowal B, Lu G, Rogers J. Dynamics of influenza virus and human host interactions during infection and replication cycle. Bull Math Biol 2013, 75:988-1011. 10.1007/s11538-012-9777-2, 23081726.
20. Feuer R, Gottlieb K, Viertel G, Klotz J, Schober S, Bossert M, Sawodny O, Sprenger G, Ederer M. Model-based analysis of an adaptive evolution experiment with Escherichia coli in a pyruvate limited continuous culture with glycerol. EURASIP J Bioinform Syst Biol 2012, 2012:14. 10.1186/1687-4153-2012-14, 3534542, 23033959.
21. Kazemzadeh L, Cvijovic M, Petranovic D. Boolean model of yeast apoptosis as a tool to study yeast and human apoptotic regulations. Front Physiol 2012, 3:446. 3518040, 23233838.
22. Li F, Long T, Lu Y, Ouyang Q, Tang C. The yeast cell-cycle network is robustly designed. Proc Natl Acad Sci U S A 2004, 101:4781-6. 10.1073/pnas.0305937101, 387325, 15037758.
23. Fauré A, Naldi A, Lopez F, Chaouiya C, Ciliberto A, Thieffry D. Modular logical modelling of the budding yeast cell cycle. Mol Biosyst 2009, 5:1787-96. 10.1039/b910101m, 19763337.
24. Albert R, Othmer HG. The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in drosophila melanogaster. J Theor Biol 2003, 223:1-18. 10.1016/S0022-5193(03)00035-3, 12782112.
25. Sánchez L, Chaouiya C, Thieffry D. Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int J Dev Biol 2008, 52:1059-75. 10.1387/ijdb.072439ls, 18956339.
26. González A, Chaouiya C, Thieffry D. Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc. Bioinformatics 2008, 24:i234-40. 10.1093/bioinformatics/btn266, 18689831.
27. Li S, Assmann SM, Albert R. Predicting essential components of signal transduction networks: a dynamic model of guard cell abscisic acid signaling. PLoS Biol 2006, 4:e312. 10.1371/journal.pbio.0040312, 1564158, 16968132.
28. Mendoza L, Thieffry D, Alvarez-Buylla ER. Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis. Bioinformatics 1999, 15:593-606. 10.1093/bioinformatics/15.7.593, 10487867.
29. Helikar T, Kochi N, Kowal B, Dimri M, Naramura M, Raja SM, Band V, Band H, Rogers JA. A comprehensive, multi-scale dynamical model of ErbB receptor signal transduction in human mammary epithelial cells. PLoS One 2013, 8:e61757. 10.1371/journal.pone.0061757, 3630219, 23637902.
30. Terfve CDA, Cokelaer T, Henriques D, Macnamara A, Gonçalves E, Morris MK, van Iersel M, Lauffenburger DA, Saez-Rodriguez J. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst Biol 2012, 6:133. 10.1186/1752-0509-6-133, 3605281, 23079107.
31. Hinkelmann F, Brandon M, Guang B, McNeill R, Blekherman G, Veliz-Cuba A, Laubenbacher R. ADAM: analysis of discrete models of biological systems using computer algebra. BMC Bioinforma 2011, 12:295.
32. Müssel C, Hopfensitz M, Kestler HA. BoolNet-an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics 2010, 26:1378-80. 10.1093/bioinformatics/btq124, 20378558.
33. Albert I, Thakar J, Li S, Zhang R, Albert R. Boolean network simulations for life scientists. Source Code Biol Med 2008, 3:16. 10.1186/1751-0473-3-16, 2603008, 19014577.
34. Helikar T, Kowal B, Rogers JA. A cell simulator platform: the cell collective. Clin Pharmacol Ther 2013, 93:393-5. 10.1038/clpt.2013.41, 23549147.
35. Helikar T, Kowal B, McClenathan S, Bruckner M, Rowley T, Wicks B, Shrestha M, Limbu K, Rogers JA. The cell collective: toward an open and collaborative approach to systems biology. BMC Syst Biol 2012, 6:96. 10.1186/1752-0509-6-96, 3443426, 22871178.
36. Klamt S, Saez-Rodriguez J, Gilles ED. Structural and functional analysis of cellular networks with cell NetAnalyzer. BMC Syst Biol 2007, 1:2. 10.1186/1752-0509-1-2, 1847467, 17408509.
37. Helikar T, Rogers JA. ChemChains: a platform for simulation and analysis of biochemical networks aimed to laboratory scientists. BMC Syst Biol 2009, 3:58. 10.1186/1752-0509-3-58, 2705353, 19500393.
38. Naldi A, Berenguier D, Fauré A, Lopez F, Thieffry D, Chaouiya C. Logical modelling of regulatory networks with GINsim 2.3. Biosystems 2009, 97:134-139. 10.1016/j.biosystems.2009.04.008, 19426782.
39. Krumsiek J, Pölsterl S, Wittmann DM, Theis FJ. Odefy-from discrete to continuous models. BMC Bioinform 2010, 11:233.
40. Zheng J, Zhang D, Przytycki PF, Zielinski R, Capala J, Przytycka TM. SimBoolNet-a cytoscape plugin for dynamic simulation of signaling networks. Bioinformatics 2010, 26:141-2. 10.1093/bioinformatics/btp617, 2796819, 19887508.
41. Di Cara A, Garg A, De Micheli G, Xenarios I, Mendoza L. Dynamic simulation of regulatory networks using SQUAD. BMC Bioinform 2007, 8:462.
42. Clarke EM, Grumberg O, Peled D. Model-checking 1999, 330. Cambridge, MA: MIT Press.
43. Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, Page M, Schneider D. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 2005, 21(Suppl 1):i19-28. 10.1093/bioinformatics/bti1048, 15961457.
44. Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A. NuSMV 2: an OpenSource tool for symbolic model checking. Lect Notes Comp Sci 2002, 2404:359-64.
45. Bernot G, Comet J-P, Richard A, Guespin J. Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic. J Theor Biol 2004, 229:339-47. 10.1016/j.jtbi.2004.04.003, 15234201.
46. Chabrier-Rivier N, Fages F, Soliman S. The biochemical abstract machine BIOCHAM. Lect Notes Comp Sci 2005, 3082:171-91.
47. Monteiro PT, Chaouiya C. Efficient verification for logical models of regulatory networks. Adv Intell Soft Comput 2012, 154:259-67.
48. Monteiro PT, Ropers D, Mateescu R, Freitas AT, de Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics 2008, 24:i227-33. 10.1093/bioinformatics/btn275, 18689830.
49. Carrillo M, Góngora PA, Rosenblueth DA. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front Plant Sci 2012, 3:155. 3400939, 22833747.
50. Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, Cuellar AA, Dronov S, Gilles ED, Ginkel M, Gor V, Goryanin II, Hedley WJ, Hodgman TC, Hofmeyr J-H, Hunter PJ, Juty NS, Kasberger JL, Kremling A, Kummer U, Le Novere N, Loew LM, Lucio D, Mendes P, Minch E, Mjolsness ED, et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 2003, 19:524-531. 10.1093/bioinformatics/btg015, 12611808.
51. Le Novère N, Hucka M, Mi H, Moodie S, Schreiber F, Sorokin A, Demir E, Wegner K, Aladjem MI, Wimalaratne SM, Bergman FT, Gauges R, Ghazal P, Kawaji H, Li L, Matsuoka Y, Villéger A, Boyd SE, Calzone L, Courtot M, Dogrusoz U, Freeman TC, Funahashi A, Ghosh S, Jouraku A, Kim S, Kolpakov F, Luna A, Sahle S, Schmidt E, et al. The systems biology graphical notation. Nat Biotechnol 2009, 27:735-41. 10.1038/nbt.1558, 19668183.
52. Hardy S, Robillard PN. Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches. J Bioinform Comput Biol 2004, 2:595-613. 10.1142/S0219720004000752, 15617157.
53. Chaouiya C. Petri net modelling of biological networks. Brief Bioinform 2007, 8:210-9. 10.1093/bib/bbm029, 17626066.
54. Koch I, Heiner M. Petri nets. Biol Netw Anal 2008, 139-179. Hoboken, New Jersey: John Wiley & Sons, Junker BH, Schreiber F.
55. Rohr C, Marwan W, Heiner M. Snoopy-a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 2010, 26:974-5. 10.1093/bioinformatics/btq050, 20139470.
56. Bornstein BJ, Keating SM, Jouraku A, Hucka M. LibSBML: an API library for SBML. Bioinformatics 2008, 24:880-1. 10.1093/bioinformatics/btn051, 2517632, 18252737.
57. Dräger A, Rodriguez N, Dumousseau M, Dörr A, Wrzodek C, Le Novère N, Zell A, Hucka M. JSBML: a flexible Java library for working with SBML. Bioinformatics 2011, 27:2167-8. 10.1093/bioinformatics/btr361, 3137227, 21697129.
58. Saez-Rodriguez J, Alexopoulos LG, Epperlein J, Samaga R, Lauffenburger DA, Klamt S, Sorger PK. Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol Syst Biol 2009, 5:331. 2824489, 19953085.
59. Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform 2006, 7:56.
60. Egea JA, Henriques D, Cokelear T, Villaverde AF, Banga JR, Saez-Rodriguez J. MEIGO: a software suite based on metaheuristics for global optimization in systems biology and bioinformatics Submitted (available on arXiv.org: http://arxiv.org/abs/1311.5735).
61. Guziolowski C, Videla S, Eduati F, Thiele S, Cokelaer T, Siegel A, Saez-Rodriguez J. Exhaustively characterizing feasible logic models of a signaling network using answer Set programming. Bioinformatics 2013, 29:2320-6. 10.1093/bioinformatics/btt393, 3753570, 23853063.
62. Saez-Rodriguez J, Alexopoulos LG, Zhang M, Morris MK, Lauffenburger DA, Sorger PK. Comparing signaling networks between normal and transformed hepatocytes using discrete logical models. Cancer Res 2011, 71:5400-11. 10.1158/0008-5472.CAN-10-4453, 3207250, 21742771.
63. Eduati F, De Las Rivas J, Di Camillo B, Toffolo G, Saez-Rodriguez J. Integrating literature-constrained and data-driven inference of signalling networks. Bioinformatics 2012, 28:2311-2317. 10.1093/bioinformatics/bts363, 3436796, 22734019.
64. Chaouiya C, Naldi A, Thieffry D. Logical modelling of gene regulatory networks with GINsim. Methods Mol Biol 2012, 804:463-79. 10.1007/978-1-61779-361-5_23, 22144167.
65. Thieffry D. Dynamical roles of biological regulatory circuits. Brief Bioinform 2007, 8:220-5. 10.1093/bib/bbm028, 17626067.
66. Bérenguier D, Chaouiya C, Monteiro PT, Naldi A, Remy E, Thieffry D, Tichit L. Dynamical modeling and analysis of large cellular regulatory networks. Chaos An Interdiscip J Nonlinear Sci 2013, 23:025114.
67. Naldi A, Remy E, Thieffry D, Chaouiya C. Dynamically consistent reduction of logical regulatory graphs. Theor Comput Sci 2011, 412(21):2207-18.
68. Naldi A, Monteiro P, Chaouiya C. Efficient handling of large signalling-regulatory networks by focusing on their core control. Lect Notes Comp Sci 2012, 7605:288-306.
69. Helikar T, Kowal B, Madrahimov A, Shrestha M, Pedersen J, Limbu K, Thapa I, Rowley T, Satalkar R, Kochi N, Konvalina J, Rogers JA. Bio-logic builder: a non-technical tool for building dynamical, qualitative models. PLoS One 2012, 7:e46417. 10.1371/journal.pone.0046417, 3474764, 23082121.
70. Qualitative models, version 1 release 1 http://identifiers.org/combine.specifications/sbml.level-3.version-1.qual.version-1.release-1.
71. MacNamara A, Terfve C, Henriques D, Bernabé BP, Saez-Rodriguez J. State-time spectrum of signal transduction logic models. Phys Biol 2012, 9:045003. 10.1088/1478-3975/9/4/045003, 22871648.
72. Gonçalves E, van Iersel M, Saez-Rodriguez J. CySBGN: a cytoscape plug-in to integrate SBGN maps. BMC Bioinform 2013, 14:17.
73. Wrzodek C, Büchel F, Ruff M, Dräger A, Zell A. Precise generation of systems biology models from KEGG pathways. BMC Syst Biol 2013, 7:15. 10.1186/1752-0509-7-15, 3623889, 23433509.
74. Büchel F, Rodriguez N, Swainston N, Wrzodek C, Czauderna T, Keller R, Mittag F, Schubert M, Glont M, Golebiewski M, van Iersel M, Keating S, Rall M, Wybrow M, Hermjakob H, Hucka M, Kell DB, Müller W, Mendes P, Zell A, Chaouiya C, Saez-Rodriguez J, Schreiber F, Laibe C, Dräger A, Le Novère N. Path2Models: large-scale generation of computational models from biochemical pathway maps. BMC Syst Biol 2013, 7:116. 10.1186/1752-0509-7-116, 24180668.
75. Batt G, Besson B, Ciron PE, de Jong H, Dumas E, Geiselmann J, Monte R, Monteiro PT, Page M, Rechenmann F, Ropers D. Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. Methods Mol Biol 2012, 804:439-62. 10.1007/978-1-61779-361-5_22, 22144166.
76. Chelliah V, Laibe C, Le Novère N. BioModels database: a repository of mathematical models of biological processes. Methods Mol Biol 2013, 1021:189-99. 10.1007/978-1-62703-450-0_10, 23715986.
77. Glass L, Kauffman SA. The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol 1973, 39:103-29. 10.1016/0022-5193(73)90208-7, 4741704.
78. Alur R, Belta C, Ivančić F, Kumar V, Mintz M, Pappas GJ, Rubin H, Schug J. Hybrid modeling and simulation of biomolecular network 2001, 19-32. Heidelberg: Springer Berlin Heidelberg, Hybrid Syst Comput Control.
79. Brazma A, Cerans K, Ruklisa D, Schlitt T, Viksna J. HSM - a hybrid system based approach for modelling intracellular networks. Gene 2013, 518:70-7. 10.1016/j.gene.2012.11.084, 23266641.
80. Mestl T, Plahte E, Omholt SW. A mathematical framework for describing and analysing gene regulatory networks. J Theor Biol 1995, 176:291-300. 10.1006/jtbi.1995.0199, 7475117.
81. Aldridge BB, Saez-Rodriguez J, Muhlich JL, Sorger PK, Lauffenburger DA. Fuzzy logic analysis of kinase pathway crosstalk in TNF/EGF/insulin-induced signaling. PLoS Comput Biol 2009, 5:e1000340. 10.1371/journal.pcbi.1000340, 2663056, 19343194.
82. Batt G, Salah RB, Maler O. On timed models of gene networks. Form model anal timed syst: volume 4763 2007, 38-52. Berlin, Heidelberg: Springer Berlin Heidelberg, Raskin J-F, Thiagarajan PS.
83. Siebert H, Bockmayr A. Temporal constraints in the logical analysis of regulatory networks. Theor Comput Sci 2008, 391:258-275.
84. Morris MK, Shriver Z, Sasisekharan R, Lauffenburger DA. Querying quantitative logic models (Q2LM) to study intracellular signaling networks and cell-cytokine interactions. Biotechnol J 2012, 7:374-86. 10.1002/biot.201100222, 3292705,3292705, 22125256.
85. Waltemath D, Adams R, Beard DA, Bergmann FT, Bhalla US, Britten R, Chelliah V, Cooling MT, Cooper J, Crampin EJ, Garny A, Hoops S, Hucka M, Hunter P, Klipp E, Laibe C, Miller AK, Moraru I, Nickerson D, Nielsen P, Nikolski M, Sahle S, Sauro HM, Schmidt H, Snoep JL, Tolle D, Wolkenhauer O, Le Novère N. Minimum information about a simulation experiment (MIASE). PLoS Comput Biol 2011, 7:e1001122. 10.1371/journal.pcbi.1001122, 3084216, 21552546.
86. Courtot M, Juty N, Knüpfer C, Waltemath D, Zhukova A, Dräger A, Dumontier M, Finney A, Golebiewski M, Hastings J, Hoops S, Keating S, Kell DB, Kerrien S, Lawson J, Lister A, Lu J, Machne R, Mendes P, Pocock M, Rodriguez N, Villeger A, Wilkinson DJ, Wimalaratne S, Laibe C, Hucka M, Le Novère N. Controlled vocabularies and semantics in systems biology. Mol Syst Biol 2011, 7:543. 3261705, 22027554.
87. Waltemath D, Adams R, Bergmann FT, Hucka M, Kolpakov F, Miller AK, Moraru II, Nickerson D, Sahle S, Snoep JL, Le Novère N. Reproducible computational biology experiments with SED-ML-the simulation experiment description markup language. BMC Syst Biol 2011, 5:198. 10.1186/1752-0509-5-198, 3292844, 22172142.