Giovanni Pardini

26 papers C 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. J. Intell. Inf. Syst. Paolo Milazzo, Giovanni Pardini
2016	—	`conf`	A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. STAF Workshops Giovanni Pardini, Paolo Milazzo
2016	—	`conf`	Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. Int. Conf. on Membrane Computing Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2015	—	`conf`	Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. SEFM Workshops Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2015	—	`conf`	Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. GAS@ICSE Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove
2015	J	`jnl`	Component identification in biochemical pathways. Theor. Comput. Sci. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2015	J	`jnl`	Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
2014	J	`jnl`	Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2014	J	`jnl`	Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2014	J	`jnl`	Morphogenesis through moving membranes. Nat. Comput. Vincenzo Manca, Giovanni Pardini
2014	J	`jnl`	Simulation of Spatial P system models. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2014	—	`conf`	Systolic Automata and P Systems. Computing with New Resources Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
2013	C	`conf`	A Compositional Semantics of Reaction Systems with Restriction. CiE Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
2013	—	`conf`	A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	—	`conf`	An Algorithm for the Identification of Components in Biochemical Pathways. CS2Bio Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
2013	—	`conf`	Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2013	J	`jnl`	Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2012	—	`conf`	Lazy Monitoring for Distributed Computing Environments. IMIS Giulio Caravagna, Gabriele Costa, Luca Wiegand, Giovanni Pardini
2012	—	`conf`	Lazy Security Controllers. STM Giulio Caravagna, Gabriele Costa, Giovanni Pardini
2011	—	`—`	Formal Modelling and Simulation of Biological Systems with Spatiality. Giovanni Pardini
2011	J	`jnl`	Spatial Calculus of Looping Sequences. Theor. Comput. Sci. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2011	J	`jnl`	Spatial P systems. Nat. Comput. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
2009	—	`conf`	A Process Calculus for Molecular Interaction Maps MeCBIC Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2009	—	`conf`	Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
2008	—	`conf`	Spatial Calculus of Looping Sequences. FBTC@ICALP Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
2008	—	`conf`	The Calculus of Looping Sequences. SFM Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini