Author of the publication

Computational insights into Caenorhabditis elegans vulval development

, , , , and . Proceedings of the National Academy of Sciences of the United States of America, 102 (6): 1951--1956 (Feb 8, 2005)
DOI: 10.1073/pnas.0409433102

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

Biology As Reactivity, , and . Commun. ACM, 54 (10): 72--82 (October 2011)Toward synthesizing executable models in biology., , and . Frontiers in bioengineering and biotechnology, (2014)Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions., , , and . FMSB, volume 5054 of Lecture Notes in Computer Science, page 17-32. Springer, (2008)The Only Way Is Up., , and . FM, volume 6664 of Lecture Notes in Computer Science, page 3-11. Springer, (2011)Cell-cycle regulation of NOTCH signaling during C. elegans vulval development, , , , , , and . Molecular Systems Biology, (Oct 9, 2012)Bringing LTL Model Checking to Biologists., , , , , , , , , and 1 other author(s). VMCAI, volume 10145 of Lecture Notes in Computer Science, page 1-13. Springer, (2017)Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks., , , , , and . Bioinform., 28 (21): 2811-2818 (2012)The executable pathway to biological networks., and . Briefings in functional genomics & proteomics, 9 (1): 79--92 (Jan 1, 2010)Proving Stabilization of Biological Systems., , , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 134-149. Springer, (2011)Model Checking Cell Fate Decisions.. SPIN, volume 6823 of Lecture Notes in Computer Science, page 1. Springer, (2011)