From post

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.

 

Другие публикации лиц с тем же именем

Bringing LTL Model Checking to Biologists., , , , , , , , , и 1 other автор(ы). VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 1-13. Springer, (2017)Toward synthesizing executable models in biology., , и . Frontiers in bioengineering and biotechnology, (2014)Cell-cycle regulation of NOTCH signaling during C. elegans vulval development, , , , , , и . Molecular Systems Biology, (09.10.2012)The Only Way Is Up., , и . FM, том 6664 из Lecture Notes in Computer Science, стр. 3-11. Springer, (2011)Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions., , , и . FMSB, том 5054 из Lecture Notes in Computer Science, стр. 17-32. Springer, (2008)Biology As Reactivity, , и . Commun. ACM, 54 (10): 72--82 (октября 2011)The executable pathway to biological networks., и . Briefings in functional genomics & proteomics, 9 (1): 79--92 (01.01.2010)Model Checking Cell Fate Decisions.. SPIN, том 6823 из Lecture Notes in Computer Science, стр. 1. Springer, (2011)Static network structure can be used to model the phenotypic effects of perturbations in regulatory networks., , , , , и . Bioinform., 28 (21): 2811-2818 (2012)Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans., , , , , и . IPCAT, том 7223 из Lecture Notes in Computer Science, стр. 99-104. Springer, (2012)