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

Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis., , , , , and . Trans. Computational Systems Biology, (2011)Type Directed Semantics for the Calculus of Looping Sequences., , , and . Int. J. Softw. Informatics, 7 (4): 501-526 (2013)Automatic Analysis of a Non-Repudiation Protocol., , and . QAPL, volume 112 of Electronic Notes in Theoretical Computer Science, page 113-129. Elsevier, (2004)Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways., , , , and . Trans. Computational Systems Biology, (2008)A Classification of Time and/or Probability Dependent Security Properties., , and . QAPL, volume 153 of Electronic Notes in Theoretical Computer Science, page 177-193. Elsevier, (2005)Type Disciplines for Analysing Biologically Relevant Properties., , and . MeCBIC, volume 227 of Electronic Notes in Theoretical Computer Science, page 97-111. Elsevier, (2008)Preface., , , , and . ICE@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2008)An alternative to Gillespie’s algorithm for simulating chemical reactions, , and . Computational Methods in Systems Biology (CMSB’05), (2005)Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments., , , , , , , , , and 1 other author(s). CoRR, (2022)Automatic Analysis of the NRL Pump., , , , and . MEFISTO, volume 99 of Electronic Notes in Theoretical Computer Science, page 245-266. Elsevier, (2003)