Author of the publication

Modelling the cAMP pathway using BioNessie, and the use of BVP techniques for solving ODEs.

, , , and . BMC Syst. Biol., 1 (S-1): P6 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 181-200. Springer, (2006)Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes., , , , , and . ACM Trans. Model. Comput. Simul., 25 (2): 13:1-13:25 (2015)Modelling and Analysis of Phase Variation in Bacterial Colony Growth., , , , and . CMSB, volume 8130 of Lecture Notes in Computer Science, page 78-91. Springer, (2013)Protein structure comparison based o n profiles of topological motifs: a feasible way to deal with information from negative examples., , and . German Conference on Bioinformatics, page 159-165. (2003)ISMB/ECCB 2004 Organization., , and . ISMB/ECCB (Supplement of Bioinformatics), page 3-5. (2004)Tutoriel I: Bioinformatique et contraintes.. JFPLC, page 13-. Hermes, (2000)Specifying Concurrent Systems Using Logic.. FORTE, page 245-260. North-Holland, (1989)Specification and Implementation of Concurrent Systems using PARLOG.. Specification and Verification of Concurrent Systems, page 455-473. Springer, (1988)Target driven biochemical network reconstruction based on petri nets and simulated annealing., , and . CMSB, page 33-42. ACM, (2010)A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets., , and . CMSB, volume 4695 of Lecture Notes in Computer Science, page 200-216. Springer, (2007)