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

Giry and the Machine., , and . Electr. Notes Theor. Comput. Sci., (2016)Learning in Open Adaptive Networks., and . SASO, page 50-59. IEEE Computer Society, (2016)Robustly Parameterised Higher-Order Probabilistic Models., , and . CONCUR, volume 59 of LIPIcs, page 23:1-23:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)Modeling and querying biomolecular interaction networks., , , , and . Theor. Comput. Sci., 325 (1): 25-44 (2004)The measurement calculus., , and . J. ACM, 54 (2): 8 (2007)Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization., , , , , , , , , and . Bioinformatics, 32 (6): 908-917 (2016)Thermodynamic graph-rewriting., , and . Logical Methods in Computer Science, (2015)Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods., , and . Entropy, 19 (12): 647 (2017)Modelling Epigenetic Information Maintenance: A Kappa Tutorial., , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 17-32. Springer, (2009)Equilibrium and Termination, and . DCM, volume 26 of EPTCS, page 75-84. (2010)