| Publication | Date of Publication | Type |
|---|
Read-write causality
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Proved trees
Automata, Languages and Programming | 2019-12-04 | Paper |
Extended transition systems for parametric bisimulation
Automata, Languages and Programming | 2019-03-29 | Paper |
Efficient finite-difference method for computing sensitivities of biochemical reactions
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2019-02-27 | Paper |
Causality for mobile processes
Automata, Languages and Programming | 2019-01-10 | Paper |
HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks
Complexity | 2018-01-31 | Paper |
Exploring the limitations of peripheral blood transcriptional biomarkers in predicting influenza vaccine responsiveness
Complexity | 2018-01-05 | Paper |
HRSSA - efficient hybrid stochastic simulation for spatially homogeneous biochemical reaction networks
Journal of Computational Physics | 2016-12-05 | Paper |
Pierpaolo Degano
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
The decidability of the structural congruence for beta-binders
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Biological transactions for quantitative models
Electronic Notes in Theoretical Computer Science | 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
Algebraic and Numeric Biology | 2012-06-08 | Paper |
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Reflecting mobile ambients into the \(\pi \)-calculus
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Causality and replication in concurrent processes
Lecture Notes in Computer Science | 2010-01-05 | Paper |
On the computational power of BlenX
Theoretical Computer Science | 2009-12-15 | Paper |
BlenX Static and Dynamic Semantics
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5605055 (Why is no real title available?) | 2009-09-19 | Paper |
Decidable Extensions of Hennessy-Milner Logic
Lecture Notes in Computer Science | 2009-03-11 | Paper |
Automatic verification of distributed systems: the process algebra approach.
Formal Methods in System Design | 2008-12-21 | Paper |
Evolving BlenX programs to simulate the evolution of biological networks
Theoretical Computer Science | 2008-12-12 | Paper |
On the decidability and complexity of the structural congruence for beta-binders
Theoretical Computer Science | 2008-11-06 | Paper |
Communicating by compatibility
The Journal of Logic and Algebraic Programming | 2008-04-22 | Paper |
Modeling Static Biological Compartments with Beta-binders
Algebraic Biology | 2007-11-29 | Paper |
Transactions on Computational Systems Biology III
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Computational Methods in Systems Biology
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Transactions on Computational Systems Biology I
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2182436 (Why is no real title available?) | 2005-06-23 | Paper |
Modelling biochemical pathways through enhanced \(\pi\)-calculus
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2102772 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 1950568 (Why is no real title available?) | 2003-07-17 | Paper |
Language-based performance prediction for distributed and mobile systems
Information and Computation | 2003-01-14 | Paper |
A causal semantics for CCS via rewriting logic
Theoretical Computer Science | 2002-07-31 | Paper |
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
Information Processing Letters | 2002-07-25 | Paper |
Primitives for authentication in process algebras.
Theoretical Computer Science | 2002-07-15 | Paper |
Names of the \(\pi\)-calculus agents handled locally
Theoretical Computer Science | 2000-12-12 | Paper |
LR techniques for handling syntax errors
Computer Languages | 2000-01-04 | Paper |
Causality for debugging mobile agents
Acta Informatica | 1999-11-01 | Paper |
Non-interleaving semantics for mobile processes
Theoretical Computer Science | 1999-04-28 | Paper |
Automatizing parametric reasoning on distributed concurrent systems
Formal Aspects of Computing | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 58291 (Why is no real title available?) | 1992-09-27 | Paper |
