Giovanni Pardini
Giovanni Pardini
Dipartimento di Informatica, Università di Pisa
Email verificata su di.unipi.it - Home page
Titolo
Citata da
Citata da
Anno
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10 (1), 3-16, 2011
582011
The calculus of looping sequences
R Barbuti, G Caravagna, A Maggiolo–Schettini, P Milazzo, G Pardini
International School on Formal Methods for the Design of Computer …, 2008
462008
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
262011
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
242009
Minimal probabilistic P systems for modelling ecological systems
R Barbuti, P Bove, P Milazzo, G Pardini
Theoretical Computer Science 608, 36-56, 2015
142015
Lazy security controllers
G Caravagna, G Costa, G Pardini
International Workshop on Security and Trust Management, 33-48, 2012
142012
Simulation of spatial P system models
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 529, 11-45, 2014
132014
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
112014
Formal modelling and simulation of biological systems with spatiality
G Pardini
PhD thesis, University of Pisa, 2011
112011
Morphogenesis through moving membranes
V Manca, G Pardini
Natural Computing 13 (3), 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
72013
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
Component identification in biochemical pathways
G Pardini, P Milazzo, A Maggiolo-Schettini
Theoretical Computer Science 587, 104-124, 2015
52015
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
52013
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
International Conference on Software Engineering and Formal Methods, 329-344, 2013
52013
A compositional semantics of reaction systems with restriction
G Pardini, R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Conference on Computability in Europe, 330-339, 2013
52013
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
52009
Identification of components in biochemical pathways: extensive application to SBML models
G Pardini, P Milazzo, A Maggiolo-Schettini
Natural Computing 13 (3), 351-365, 2014
42014
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
32015
Topological calculus of looping sequences
G Pardini
32007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20