Autor der Publikation

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

Proving Stabilization of Biological Systems., , , und . VMCAI, Volume 6538 von Lecture Notes in Computer Science, Seite 134-149. Springer, (2011)Dynamic Reactive Modules., , , , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 404-418. Springer, (2011)Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems., , , , , und . CMSB, Volume 3082 von Lecture Notes in Computer Science, Seite 236-241. Springer, (2004)The executable pathway to biological networks., und . Briefings in functional genomics & proteomics, 9 (1): 79--92 (01.01.2010)Model Checking Cell Fate Decisions.. SPIN, Volume 6823 von Lecture Notes in Computer Science, Seite 1. Springer, (2011)Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans., , , , , und . IPCAT, Volume 7223 von Lecture Notes in Computer Science, Seite 99-104. Springer, (2012)Formal methods in cell Biology.. FMCAD, Seite 1. IEEE, (2012)Executable biology., und . WSC, Seite 1675-1682. IEEE Computer Society, (2006)Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks., , , , , und . Bioinform., 28 (21): 2811-2818 (2012)Bringing LTL Model Checking to Biologists., , , , , , , , , und 1 andere Autor(en). VMCAI, Volume 10145 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2017)