Author of the publication

Automatic Analysis of the NRL Pump.

, , , , and . MEFISTO, volume 99 of Electronic Notes in Theoretical Computer Science, page 245-266. Elsevier, (2003)

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)Preface., , , , and . ICE@ICALP, volume 229 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2008)Type Disciplines for Analysing Biologically Relevant Properties., , and . MeCBIC, volume 227 of Electronic Notes in Theoretical Computer Science, page 97-111. Elsevier, (2008)An alternative to Gillespie’s algorithm for simulating chemical reactions, , and . Computational Methods in Systems Biology (CMSB’05), (2005)Automatic Analysis of the NRL Pump., , , , and . MEFISTO, volume 99 of Electronic Notes in Theoretical Computer Science, page 245-266. Elsevier, (2003)Approximating Imperfect Cryptography in a Formal Model., , and . MEFISTO, volume 99 of Electronic Notes in Theoretical Computer Science, page 183-203. Elsevier, (2003)