Get started
Author

Giovanni Pardini

Observed names: G. Pardini, GIOVANNI PARDINI, PARDINI, GIOVANNI, Pardini, Giovanni
Institution: University of Pisa
ORCID: 0000-0001-8327-5744
Observed ORCID: 0000-0001-8327-5744
OpenAlex ID: A5024366490
The Calculus of Looping Sequences
2008 · Roberto Barbuti, Giulio Caravagna, et al. · Springer eBooks · 113
Spatial P systems
2010 · Roberto Barbuti, Andrea Maggiolo-Schettini, et al. · Natural Computing · 50
Spatial Calculus of Looping Sequences
2011 · Roberto Barbuti, Andrea Maggiolo-Schettini, et al. · Theoretical Computer Science · 32
Spatial Calculus of Looping Sequences
2009 · Roberto Barbuti, Andrea Maggiolo–Schettini, et al. · Electronic Notes in Theoretical Computer Science · 17
PDF
Compositional semantics and behavioural equivalences for reaction systems with restriction
2014 · Giovanni Pardini, Roberto Barbuti, et al. · Theoretical Computer Science · 16
PDF
Minimal probabilistic P systems for modelling ecological systems
2015 · Roberto Barbuti, Pasquale Bove, et al. · Theoretical Computer Science · 13
PDF
Simulation of Spatial P system models
2013 · Roberto Barbuti, Andrea Maggiolo-Schettini, et al. · Theoretical Computer Science · 10
Lazy Security Controllers
2013 · Giulio Caravagna, Gabriele Costa, et al. · Lecture notes in computer science · 9
A Free Interactive Digital Tool to Introduce Particle Model of Matter and Thermal Particle Motion at Middle School Level
2024 · Dimitri Belli, Guglielmo Lischi, et al. · Journal of Chemical Education · 6
Morphogenesis through moving membranes
2014 · Vincenzo Manca, Giovanni Pardini · Natural Computing · 6
A Compositional Semantics of Reaction Systems with Restriction
2013 · Giovanni Pardini, Roberto Barbuti, et al. · Lecture notes in computer science · 6
Formal Modelling and Simulation of Biological Systems with Spatiality
2011 · PARDINI, GIOVANNI · Electronic Theses and Dissertations Repository (University of Pisa) · 6
PDF
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations
2014 · Roberto Barbuti, Pasquale Bove, et al. · Lecture notes in computer science · 5
A Process Calculus for Molecular Interaction Maps
2009 · Roberto Barbuti, Andrea Maggiolo-Schettini, et al. · Electronic Proceedings in Theoretical Computer Science · 5
An Algorithm for the Identification of Components in Biochemical Pathways
2013 · Giovanni Pardini, Paolo Milazzo, et al. · Electronic Notes in Theoretical Computer Science · 4
PDF
Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+
2010 · Roberto Barbuti, Daniela Lepri, et al. · Lecture notes in computer science · 4
Component identification in biochemical pathways
2015 · Giovanni Pardini, Paolo Milazzo, et al. · Theoretical Computer Science · 3
PDF
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems
2017 · Roberto Barbuti, Pasquale Bove, et al. · Lecture notes in computer science · 2
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design
2015 · Paolo Milazzo, Giovanni Pardini, et al. · 2
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates
2015 · Roberto Barbuti, Alessandro Bompadre, et al. · Lecture notes in computer science · 2
Identification of components in biochemical pathways: extensive application to SBML models
2014 · Giovanni Pardini, Paolo Milazzo, et al. · Natural Computing · 2
Modular Verification of Qualitative Pathway Models with Fairness
2013 · Peter Drabik, Andrea Maggiolo-Schettini, et al. · Scientific Annals of Computer Science · 2
PDF
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables
2016 · Giovanni Pardini, Paolo Milazzo · Lecture notes in computer science · 1
ObjMC: The Objective/MC compiler
2016 · Paolo Milazzo, Giovanni Pardini · CINECA IRIS Institutial research information system (University of Pisa) · 1
Lazy Monitoring for Distributed Computing Environments
2012 · Giulio Caravagna, Gabriele Costa, et al. · International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS) · 1
Works count: 39
Citation count: 319
H-index: 8
I10-index: 7
Year
Topic
Type