| (tissue) p systems with cell polarity | 1 | 0.35 | 2009 |
| Stochastic biological modelling in the presence of multiple compartments | 2 | 0.39 | 2009 |
| On the expressive power of recursion, replication and iteration in process calculi | 20 | 0.82 | 2009 |
| Process discovery and petri nets† | 2 | 0.40 | 2009 |
| Deciding reachability problems in turing-complete fragments of mobile ambients | 5 | 0.48 | 2009 |
| Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs | 11 | 0.59 | 2009 |
| Structural non-interference in elementary and trace nets | 27 | 0.98 | 2009 |
| Efficient computation in rational-valued p systems | 2 | 0.50 | 2009 |
| Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs | 17 | 0.75 | 2009 |
| An expressiveness study of priority in process calculi | 6 | 0.47 | 2009 |
| Computational expressiveness of Genetic Systems | 0 | 0.34 | 2009 |
| A process algebraic view of shared dataspace coordination | 5 | 0.46 | 2008 |
| Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes | 19 | 1.07 | 2008 |
| Expressiveness Issues in Brane Calculi: A Survey | 0 | 0.34 | 2008 |
| On the computational power of genetic gates with interleaving semantics: the power of inhibition and degradation | 1 | 0.37 | 2007 |
| Stochastic simulation of biological systems with dynamical compartment structure | 10 | 0.83 | 2007 |
| On the expressive power of global and local priority in process calculi | 7 | 0.49 | 2007 |
| Genetic Systems without Inhibition Rules | 0 | 0.34 | 2007 |
| Computing with Genetic Gates | 1 | 0.37 | 2007 |
| Using well-structured transition systems to decide divergence for catalytic P systems | 12 | 0.71 | 2007 |
| Modeling and analysis of biological processes by mem(brane) calculi and systems | 11 | 0.59 | 2006 |
| Choreography and orchestration conformance for system design | 69 | 4.97 | 2006 |
| A Process Algebraic View of Coordination | 0 | 0.34 | 2006 |
| Deciding behavioural properties in brane calculi | 5 | 0.49 | 2006 |
| Characterizing Workflow Nets Using Regions | 4 | 0.48 | 2006 |
| : A Calculus for Service Oriented Computing | 48 | 1.94 | 2006 |
| A case study in (mem)brane computation: generating squares of natural numbers | 4 | 0.68 | 2006 |
| Computing with genetic gates, proteins, and membranes | 6 | 0.55 | 2006 |
| On the computational power of brane calculi | 23 | 1.91 | 2006 |
| Some notes on (mem)brane computation | 0 | 0.34 | 2006 |
| Deciding reachability in mobile ambients | 14 | 0.84 | 2005 |
| A distributed implementation of mobile nets as mobile agents | 0 | 0.34 | 2005 |
| Prioritized and parallel reactions in shared data space coordination languages | 2 | 0.41 | 2005 |
| Choreography and orchestration: a synergic approach for system design | 81 | 5.05 | 2005 |
| Analysing Password Protocol Security Against Off-line Dictionary Attacks | 31 | 1.15 | 2005 |
| On the computational power of the mate/bud/drip brane calculus: interleaving vs. maximal parallelism | 17 | 1.30 | 2005 |
| Data-Driven Coordination In Peer-To-Peer Information Systems | 8 | 0.56 | 2004 |
| Comparing Recursion, Replication, and Iteration in Process Calculi | 27 | 0.95 | 2004 |
| Security Issues in the Tuple-Space Coordination Model | 8 | 0.52 | 2004 |
| On the expressive power of movement and restriction in pure mobile ambients | 25 | 1.04 | 2004 |
| Positive Non-interference in Elementary and Trace Nets | 12 | 0.74 | 2004 |
| Expired data collection in shared dataspaces | 6 | 0.43 | 2003 |
| Replication vs. recursive definitions in channel based calculi | 28 | 1.33 | 2003 |
| SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗ | 8 | 0.57 | 2003 |
| PeerSpaces: data-driven coordination in peer-to-peer networks | 10 | 0.82 | 2003 |
| A Survey on Non-interference with Petri Nets | 14 | 0.81 | 2003 |
| State- and Event-Based Reactive Programming in Shared Dataspaces | 8 | 0.56 | 2002 |
| On the serializability of transactions in shared dataspaces with temporary data | 6 | 0.66 | 2002 |
| Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems | 3 | 0.45 | 2002 |
| On the Expressiveness of Movement in Pure Mobile Ambients | 6 | 0.63 | 2002 |
