A calculus of looping sequences for modelling microbiological systems R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Fundamenta Informaticae 72 (1-3), 21-35, 2006 | 93 | 2006 |

Tumour suppression by immune system through stochastic oscillations G Caravagna, A d’Onofrio, P Milazzo, R Barbuti Journal of theoretical biology 265 (3), 336-345, 2010 | 66* | 2010 |

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

Qualitative and quantitative formal modeling of biological systems P Milazzo Ph. D. Thesis, University of Pisa, 2007 | 57 | 2007 |

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 |

Bisimulations in calculi modelling membranes R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Formal Aspects of Computing 20, 351-377, 2008 | 45 | 2008 |

Bisimulation congruences in the calculus of looping sequences R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006 | 44 | 2006 |

Investigating dynamic causalities in reaction systems R Barbuti, R Gori, F Levi, P Milazzo Theoretical Computer Science 623, 114-145, 2016 | 41 | 2016 |

Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer S Sameen, R Barbuti, P Milazzo, A Cerone, M Del Re, R Danesi Journal of theoretical biology 389, 263-273, 2016 | 38 | 2016 |

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. R Barbuti, A Maggiolo-Schettini, P Milazzo, P Tiberi, A Troina Trans. Comp. Sys. Biology 9, 86-113, 2008 | 38 | 2008 |

A probabilistic model for molecular systems R Barbuti, S Cataudella, A Maggiolo-Schettini, P Milazzo, A Troina Fundamenta Informaticae 67 (1-3), 13-27, 2005 | 37 | 2005 |

Compositional semantics and behavioral equivalences for P Systems R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini Theoretical Computer Science 395 (1), 77-100, 2008 | 34 | 2008 |

Design and verification of long-running transactions in a timed framework R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina Science of Computer Programming 73 (2-3), 76-94, 2008 | 32 | 2008 |

A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models R Barbuti, R Gori, P Milazzo, L Nasti Journal of Membrane Computing 2, 207-226, 2020 | 30 | 2020 |

Dynamic Bayesian network for crop growth prediction in greenhouses A Kocian, D Massa, S Cannazzaro, L Incrocci, S Di Lonardo, P Milazzo, ... Computers and electronics in agriculture 169, 105167, 2020 | 30 | 2020 |

Extending the calculus of looping sequences to model protein interaction at the domain level R Barbuti, A Maggiolo–Schettini, P Milazzo Bioinformatics Research and Applications: Third International Symposium …, 2007 | 30 | 2007 |

Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment R Barbuti, S Mautner, G Carnevale, P Milazzo, A Rama, C Sturmbauer BMC Evolutionary Biology 12 (1), 1-13, 2012 | 29 | 2012 |

Probabilistic model checking of biological systems with uncertain kinetic rates R Barbuti, F Levi, P Milazzo, G Scatena Theoretical Computer Science 419, 2-16, 2012 | 28 | 2012 |

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

Delay stochastic simulation of biological systems: a purely delayed approach R Barbuti, G Caravagna, A Maggiolo-Schettini, P Milazzo Transactions on Computational Systems Biology XIII, 61-84, 2011 | 28 | 2011 |