| Component identification in biochemical pathways | 1 | 0.35 | 2015 |
| Compositional semantics and behavioural equivalences for reaction systems with restriction. | 4 | 0.44 | 2014 |
| Identification of components in biochemical pathways: extensive application to SBML models | 1 | 0.35 | 2014 |
| Simulation of Spatial P system models | 8 | 0.61 | 2014 |
| A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations | 3 | 0.41 | 2013 |
| Modular Verification Of Qualitative Pathway Models With Fairness | 2 | 0.37 | 2013 |
| Application Of A Semi-Automatic Algorithm For Identification Of Molecular Components In Sbml Models | 2 | 0.37 | 2013 |
| An Algorithm for the Identification of Components in Biochemical Pathways | 3 | 0.40 | 2013 |
| A Compositional Semantics of Reaction Systems with Restriction. | 5 | 0.46 | 2013 |
| Foundational aspects of multiscale modeling of biological systems with process algebras | 8 | 0.48 | 2012 |
| Towards Modular Verification Of Pathways: Fairness And Assumptions | 0 | 0.34 | 2012 |
| Modelling Population Dynamics Using Grid Systems. | 6 | 0.56 | 2012 |
| On Conditions for Modular Verification in Systems of Synchronising Components | 3 | 0.43 | 2012 |
| Modular Verification of Interactive Systems with an Application to Biology | 4 | 0.42 | 2011 |
| Delay stochastic simulation of biological systems: a purely delayed approach | 11 | 0.68 | 2011 |
| Spatial P systems | 17 | 0.83 | 2011 |
| An Overview On Operational Semantics In Membrane Computing | 10 | 0.57 | 2011 |
| A Testing Framework for P Systems | 0 | 0.34 | 2011 |
| Aspects Of Multiscale Modelling In A Process Algebra For Biological Systems | 1 | 0.35 | 2010 |
| Compositional semantics of spiking neural P systems | 6 | 0.45 | 2010 |
| A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday | 4 | 0.43 | 2010 |
| Membrane systems working in generating and accepting modes: expressiveness and encodings | 0 | 0.34 | 2010 |
| Modelling The Dynamics Of An Aedes Albopictus Population | 6 | 0.50 | 2010 |
| A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security | 3 | 0.44 | 2010 |
| Weak bisimulation for Probabilistic Timed Automata | 1 | 0.38 | 2010 |
| Dynamic Sync-Programs for Modular Verification of Biological Systems. | 0 | 0.34 | 2010 |
| Reachability results for timed automata with unbounded data structures | 4 | 0.39 | 2010 |
| On The Interpretation Of Delays In Delay Stochastic Simulation Of Biological Systems | 6 | 0.59 | 2009 |
| A Process Calculus For Molecular Interaction Maps | 3 | 0.44 | 2009 |
| P Systems with Transport and Diffusion Membrane Channels | 2 | 0.43 | 2009 |
| Spatial Calculus of Looping Sequences | 19 | 0.88 | 2009 |
| An intermediate language for the stochastic simulation of biological systems | 2 | 0.42 | 2009 |
| Simulation of kohn's molecular interaction maps through translation into stochastic CLS+ | 3 | 0.44 | 2009 |
| The Calculus of Looping Sequences | 74 | 2.57 | 2008 |
| A P Systems Flat Form Preserving Step-by-step Behaviour | 15 | 0.87 | 2008 |
| Security in a Model for Long-running Transactions | 0 | 0.34 | 2008 |
| An Intermediate Language for the Simulation of Biological Systems | 3 | 0.46 | 2008 |
| Design and verification of long-running transactions in a timed framework | 15 | 0.73 | 2008 |
| Bisimulations in calculi modelling membranes | 16 | 0.83 | 2008 |
| The calculus of looping sequences for modeling biological membranes | 9 | 0.57 | 2007 |
| Extending the calculus of looping sequences to model protein interaction at the domain level | 14 | 0.80 | 2007 |
| Parametric probabilistic transition systems for system design and analysis | 32 | 1.21 | 2007 |
| A Calculus of Looping Sequences for Modelling Microbiological Systems | 38 | 1.88 | 2006 |
| Bisimulation congruences in the calculus of looping sequences | 16 | 1.02 | 2006 |
| A Classification of Time and/or Probability Dependent Security Properties | 6 | 0.48 | 2006 |
| Modeling long–running transactions with communicating hierarchical timed automata | 6 | 0.42 | 2006 |
| Automatic Analysis of a Non-Repudiation Protocol | 8 | 0.75 | 2005 |
| Monotonic hybrid systems | 1 | 0.41 | 2005 |
| Timed Automata with Data Structures for Distributed Systems Design and Analysis | 2 | 0.39 | 2005 |
| A Probabilistic Model for Molecular Systems | 10 | 1.03 | 2005 |
