The Calculus of Looping Sequences. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SFM, 2008)

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. - Roberto Barbuti; Daniela Lepri; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (Ershov Memorial Conference, 2009)

A Process Calculus for Molecular Interaction Maps - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (MeCBIC, 2009)

Spatial P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Luca Tesei (Nat. Comput., 2011)

Spatial Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2011)

Formal Modelling and Simulation of Biological Systems with Spatiality. - Giovanni Pardini (2011)

Lazy Monitoring for Distributed Computing Environments. - Giulio Caravagna; Gabriele Costa 001; Luca Wiegand; Giovanni Pardini (IMIS, 2012)

Lazy Security Controllers. - Giulio Caravagna; Gabriele Costa 001; Giovanni Pardini (STM, 2012)

A Compositional Semantics of Reaction Systems with Restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (CiE, 2013)

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. - Roberto Barbuti; Pasquale Bove; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SEFM Workshops, 2013)

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. - Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (WIVACE, 2013)

Modular Verification of Qualitative Pathway Models with Fairness. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Sci. Ann. Comput. Sci., 2013)

An Algorithm for the Identification of Components in Biochemical Pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (CS2Bio, 2013)

Systolic Automata and P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Simone Tini (Computing with New Resources, 2014)

Morphogenesis through moving membranes. - Vincenzo Manca; Giovanni Pardini (Nat. Comput., 2014)

Identification of components in biochemical pathways: extensive application to SBML models. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Nat. Comput., 2014)

Simulation of Spatial P system models. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2014)

Compositional semantics and behavioural equivalences for reaction systems with restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2014)

Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. - Paolo Milazzo; Giovanni Pardini; Dario Sestini; Pasquale Bove (GAS@ICSE, 2015)

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. - Roberto Barbuti; Alessandro Bompadre; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (SEFM Workshops, 2015)

Minimal probabilistic P systems for modelling ecological systems. - Roberto Barbuti; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2015)

Component identification in biochemical pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Theor. Comput. Sci., 2015)

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. - Roberto Barbuti; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (Int. Conf. on Membrane Computing, 2016)

A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. - Giovanni Pardini; Paolo Milazzo (STAF Workshops, 2016)

Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. - Paolo Milazzo; Giovanni Pardini (J. Intell. Inf. Syst., 2019)