Author of the publication

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

Understanding biology through logic.. CSL-LICS, page 3:1. ACM, (2014)Cellular resolution models for even skipped regulation in the entire Drosophila embryo., , , , and . eLife, (Aug 6, 2013)Qualitative networks: a symbolic approach to analyze biological signaling networks., , and . BMC Syst. Biol., (2007)SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data., , , , and . BMC Syst. Biol., 12 (1): 59:1-59:7 (2018)Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks., , , , , and . Bioinform., 28 (21): 2811-2818 (2012)The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae., , , and . Bioinform., 27 (13): 283-287 (2011)Dynamic Reactive Modules., , , , , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 404-418. Springer, (2011)Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems., , , , , and . CMSB, volume 3082 of Lecture Notes in Computer Science, page 236-241. Springer, (2004)Model Checking Cell Fate Decisions.. SPIN, volume 6823 of Lecture Notes in Computer Science, page 1. Springer, (2011)Proving Stabilization of Biological Systems., , , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 134-149. Springer, (2011)