Spatial P systems R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei Natural Computing 10, 3-16, 2011 | 63 | 2011 |

The calculus of looping sequences R Barbuti, G Caravagna, A Maggiolo–Schettini, P Milazzo, G Pardini Formal Methods for Computational Systems Biology: 8th International School …, 2008 | 46 | 2008 |

Spatial calculus of looping sequences R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini Theoretical Computer Science 412 (43), 5976-6001, 2011 | 28 | 2011 |

Spatial calculus of looping sequences R Barbuti, A Maggiolo–Schettini, P Milazzo, G Pardini Electronic Notes in Theoretical Computer Science 229 (1), 21-39, 2009 | 24 | 2009 |

Minimal probabilistic P systems for modelling ecological systems R Barbuti, P Bove, P Milazzo, G Pardini Theoretical Computer Science 608, 36-56, 2015 | 17 | 2015 |

Compositional semantics and behavioural equivalences for reaction systems with restriction G Pardini, R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini Theoretical Computer Science 551, 1-21, 2014 | 14 | 2014 |

Simulation of spatial P system models R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini Theoretical Computer Science 529, 11-45, 2014 | 14 | 2014 |

Lazy security controllers G Caravagna, G Costa, G Pardini Security and Trust Management: 8th International Workshop, STM 2012, Pisa …, 2013 | 14 | 2013 |

Formal modelling and simulation of biological systems with spatiality G Pardini PhD thesis, University of Pisa, 2011 | 12 | 2011 |

Morphogenesis through moving membranes V Manca, G Pardini Natural Computing 13, 403-419, 2014 | 8 | 2014 |

Application of a semi-automatic algorithm for identification of molecular components in SBML models A Maggiolo-Schettini, P Milazzo, G Pardini arXiv preprint arXiv:1309.7689, 2013 | 7 | 2013 |

A process calculus for molecular interaction maps R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, A Rama arXiv preprint arXiv:0911.4854, 2009 | 7 | 2009 |

Case studies of application of probabilistic and statistical model checking in game design P Milazzo, G Pardini, D Sestini, P Bove 2015 IEEE/ACM 4th International Workshop on Games and Software Engineering …, 2015 | 6 | 2015 |

A compositional semantics of reaction systems with restriction G Pardini, R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini The Nature of Computation. Logic, Algorithms, Applications: 9th Conference …, 2013 | 6 | 2013 |

Component identification in biochemical pathways G Pardini, P Milazzo, A Maggiolo-Schettini Theoretical Computer Science 587, 104-124, 2015 | 5 | 2015 |

A computational formal model of the invasiveness of eastern species in European water frog populations R Barbuti, P Bove, AM Schettini, P Milazzo, G Pardini Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014 | 5 | 2014 |

An algorithm for the identification of components in biochemical pathways G Pardini, P Milazzo, A Maggiolo-Schettini Electronic Notes in Theoretical Computer Science 299, 69-84, 2013 | 5 | 2013 |

Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ R Barbuti, D Lepri, A Maggiolo-Schettini, P Milazzo, G Pardini, A Rama Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 5 | 2010 |

Identification of components in biochemical pathways: extensive application to SBML models G Pardini, P Milazzo, A Maggiolo-Schettini Natural Computing 13, 351-365, 2014 | 4 | 2014 |

Attributed probabilistic p systems and their application to the modelling of social interactions in primates R Barbuti, A Bompadre, P Bove, P Milazzo, G Pardini Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops …, 2015 | 3 | 2015 |