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 | 48 | 2008 |
Spatial calculus of looping sequences R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini Theoretical Computer Science 412 (43), 5976-6001, 2011 | 31 | 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 | 21 | 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 | 17 | 2014 |
Lazy security controllers G Caravagna, G Costa, G Pardini International Workshop on Security and Trust Management, 33-48, 2012 | 16 | 2012 |
Simulation of spatial P system models R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini Theoretical Computer Science 529, 11-45, 2014 | 14 | 2014 |
Formal Modelling and Simulation of Biological Systems with Spatiality. G Pardini University of Pisa, Italy, 2011 | 14 | 2011 |
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 | 10 | 2013 |
Morphogenesis through moving membranes V Manca, G Pardini Natural Computing 13, 403-419, 2014 | 8 | 2014 |
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 | 8 | 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 | 8 | 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 |
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 | 5 | 2015 |
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 International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 5 | 2009 |
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 |