| Publication | Date of Publication | Type |
|---|
| Read-write causality | 2022-08-18 | Paper |
| Proved trees | 2019-12-04 | Paper |
| Extended transition systems for parametric bisimulation | 2019-03-29 | Paper |
| Efficient finite-difference method for computing sensitivities of biochemical reactions | 2019-02-27 | Paper |
| Causality for mobile processes | 2019-01-10 | Paper |
| HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks | 2018-01-31 | Paper |
| Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness | 2018-01-05 | Paper |
| HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks | 2016-12-05 | Paper |
| Pierpaolo Degano | 2016-01-08 | Paper |
| The decidability of the structural congruence for beta-binders | 2013-12-06 | Paper |
| Biological transactions for quantitative models | 2013-12-06 | Paper |
| A quantitative study of two attacks | 2013-09-20 | Paper |
| Performance evaluation of security protocols specified in LySa | 2013-09-20 | Paper |
| Toward extracting \(\pi\)-calculus from UML sequence and state diagrams | 2013-09-09 | Paper |
| Composability: Perspectives in Ecological Modeling | 2012-06-08 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | 2010-02-05 | Paper |
| Perspectives of System Informatics | 2010-01-05 | Paper |
| On the computational power of BlenX | 2009-12-15 | Paper |
| BlenX Static and Dynamic Semantics | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396549 | 2009-09-19 | Paper |
| Decidable Extensions of Hennessy-Milner Logic | 2009-03-11 | Paper |
| Automatic verification of distributed systems: the process algebra approach. | 2008-12-21 | Paper |
| Evolving BlenX programs to simulate the evolution of biological networks | 2008-12-12 | Paper |
| On the decidability and complexity of the structural congruence for beta-binders | 2008-11-06 | Paper |
| Communicating by compatibility | 2008-04-22 | Paper |
| Modeling Static Biological Compartments with Beta-binders | 2007-11-29 | Paper |
| Transactions on Computational Systems Biology III | 2006-11-14 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Transactions on Computational Systems Biology I | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681304 | 2005-06-23 | Paper |
| Modelling biochemical pathways through enhanced \(\pi\)-calculus | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818860 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413247 | 2003-07-17 | Paper |
| Language-based performance prediction for distributed and mobile systems | 2003-01-14 | Paper |
| A causal semantics for CCS via rewriting logic | 2002-07-31 | Paper |
| Application of a stochastic name-passing calculus to representation and simulation of molecular processes | 2002-07-25 | Paper |
| Primitives for authentication in process algebras. | 2002-07-15 | Paper |
| Names of the \(\pi\)-calculus agents handled locally | 2000-12-12 | Paper |
| LR techniques for handling syntax errors | 2000-01-04 | Paper |
| Causality for debugging mobile agents | 1999-11-01 | Paper |
| Non-interleaving semantics for mobile processes | 1999-04-28 | Paper |
| Automatizing parametric reasoning on distributed concurrent systems | 1995-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4005177 | 1992-09-27 | Paper |
