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.

 

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

Query-based verification of qualitative trends and oscillations in biochemical systems., и . Theor. Comput. Sci., 411 (20): 2019-2036 (2010)A Software Interface Between the Narrative Language and Bio-PEPA., и . CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 51-65. Elsevier, (2012)A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA, , и . MeCBIC, том 11 из EPTCS, стр. 71-90. (2009)Process Calculi Abstractions for Biology., , , и . Algorithmic Bioprocesses, стр. 463-486. Springer, (2009)Conservation of Mass Analysis for Bio-PEPA., , , и . PASM/PDMC, том 296 из Electronic Notes in Theoretical Computer Science, стр. 107-126. Elsevier, (2012)Complementary approaches to understanding the plant circadian clock, , , и . FBTC, том 19 из EPTCS, стр. 1-19. (2010)Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway.. Trans. Computational Systems Biology, (2009)An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra., , и . CMSB, том 4695 из Lecture Notes in Computer Science, стр. 136-151. Springer, (2007)Modelling Biological Compartments in Bio-PEPA., и . MeCBIC, том 227 из Electronic Notes in Theoretical Computer Science, стр. 77-95. Elsevier, (2008)Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems., , , и . PASM@EPEW, том 232 из Electronic Notes in Theoretical Computer Science, стр. 17-38. Elsevier, (2008)