Autor der Publikation

A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.

, , und . CMSB, Volume 4695 von Lecture Notes in Computer Science, Seite 200-216. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Target driven biochemical network reconstruction based on petri nets and simulated annealing., , und . CMSB, Seite 33-42. ACM, (2010)Modelling and Analysis of Phase Variation in Bacterial Colony Growth., , , , und . CMSB, Volume 8130 von Lecture Notes in Computer Science, Seite 78-91. Springer, (2013)Towards dynamic genome-scale models., , , und . Briefings Bioinform., 20 (4): 1167-1180 (2019)A General Framework for Integrating HCLP and PCSP (Poster Abstract)., , und . JICSLP, Seite 543. MIT Press, (1996)Specifying Concurrent Systems Using Logic.. FORTE, Seite 245-260. North-Holland, (1989)Protein structure comparison based o n profiles of topological motifs: a feasible way to deal with information from negative examples., , und . German Conference on Bioinformatics, Seite 159-165. (2003)ISMB/ECCB 2004 Organization., , und . ISMB/ECCB (Supplement of Bioinformatics), Seite 3-5. (2004)Tutoriel I: Bioinformatique et contraintes.. JFPLC, Seite 13-. Hermes, (2000)Specification and Implementation of Concurrent Systems using PARLOG.. Specification and Verification of Concurrent Systems, Seite 455-473. Springer, (1988)A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets., , und . CMSB, Volume 4695 von Lecture Notes in Computer Science, Seite 200-216. Springer, (2007)