Follow
Giovanni Pardini
Giovanni Pardini
Dipartimento di Informatica, Universitą di Pisa
Verified email at di.unipi.it - Homepage
Title
Cited by
Cited by
Year
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10, 3-16, 2011
632011
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
482008
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
302011
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
252009
Minimal probabilistic P systems for modelling ecological systems
R Barbuti, P Bove, P Milazzo, G Pardini
Theoretical Computer Science 608, 36-56, 2015
202015
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
162014
Simulation of spatial P system models
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 529, 11-45, 2014
142014
Lazy security controllers
G Caravagna, G Costa, G Pardini
International Workshop on Security and Trust Management, 33-48, 2012
142012
Formal Modelling and Simulation of Biological Systems with Spatiality.
G Pardini
University of Pisa, Italy, 2011
142011
Morphogenesis through moving membranes
V Manca, G Pardini
Natural Computing 13, 403-419, 2014
82014
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
82013
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
72014
A process calculus for molecular interaction maps
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, A Rama
arXiv preprint arXiv:0911.4854, 2009
72009
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
62015
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
62013
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
62013
Component identification in biochemical pathways
G Pardini, P Milazzo, A Maggiolo-Schettini
Theoretical Computer Science 587, 104-124, 2015
52015
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
52015
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
52010
Identification of components in biochemical pathways: extensive application to SBML models
G Pardini, P Milazzo, A Maggiolo-Schettini
Natural Computing 13, 351-365, 2014
42014
The system can't perform the operation now. Try again later.
Articles 1–20