Giovanni Pardini

发表

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2013, SEFM Workshops.

Lazy Monitoring for Distributed Computing Environments

Giulio Caravagna, Gabriele Costa, Giovanni Pardini, 2012, 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.

Formal Modelling and Simulation of Biological Systems with Spatiality

Giovanni Pardini, G. Pardini, 2011 .

A High-Level Model Checking Language with Compile-Time Pruning of Local Variables

Paolo Milazzo, Giovanni Pardini, 2016, STAF Workshops.

Lazy Security Controllers

Giulio Caravagna, Gabriele Costa, Giovanni Pardini, 2012, STM.

Modular Verification of Qualitative Pathway Models with Fairness

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, 2013, Sci. Ann. Comput. Sci..

Systolic Automata and P Systems

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Computing with New Resources.

Morphogenesis through moving membranes

Vincenzo Manca, Giovanni Pardini, V. Manca, 2014, Natural Computing.

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates

Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2015, SEFM Workshops.

Minimal probabilistic P systems for modelling ecological systems

Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2015, Theor. Comput. Sci..

P Systems: various models and their computing power

Giovanni Pardini, 2009 .

The Calculus of Looping Sequences

Paolo Milazzo, Roberto Barbuti, Giulio Caravagna, 2008, SFM.

An Algorithm for the Identification of Components in Biochemical Pathways

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, 2013, Electron. Notes Theor. Comput. Sci..

Compositional semantics and behavioural equivalences for reaction systems with restriction

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Theor. Comput. Sci..

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, 2013, WIVACE.

Spatial Calculus of Looping Sequences

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2011, Theor. Comput. Sci..

Component identification in biochemical pathways

Paolo Milazzo, Andrea Maggiolo-Schettini, Giovanni Pardini, 2015, Theor. Comput. Sci..

Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design

Paolo Milazzo, Pasquale Bove, Giovanni Pardini, 2015, 2015 IEEE/ACM 4th International Workshop on Games and Software Engineering.

Simulation of Spatial P system models

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2014, Theor. Comput. Sci..

ObjMC: The Objective/MC compiler

Paolo Milazzo, Giovanni Pardini, 2016 .

Simulation of Kohn’s Interaction Maps through Translation into Stochastic CLS+

Paolo Milazzo, Roberto Barbuti, Giovanni Pardini, 2010 .

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems

Paolo Milazzo, Roberto Barbuti, Pasquale Bove, 2016, Int. Conf. on Membrane Computing.

Spatial Calculus of Looping Sequences

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2009, FBTC@ICALP.

Identification of components in biochemical pathways: extensive application to SBML models

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, 2014, Natural Computing.

Spatial P systems

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2010, Natural Computing.

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2009, Ershov Memorial Conference.

A Process Calculus for Molecular Interaction Maps

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, 2009, MeCBIC.

A Compositional Semantics of Reaction Systems with Restriction

Paolo Milazzo, Roberto Barbuti, Andrea Maggiolo-Schettini, 2013, CiE.

Spatial Modeling in Systems Biology

Giovanni Pardini, 2009 .

Runoff erosion and nutrient depletion in five Mediterranean soils of NE Spain under different land use.

Giovanni Pardini, G. Pardini, Maria Gispert, 2003, The Science of the total environment.

Relative influence of wildfire on soil properties and erosion processes in different Mediterranean environments in NE Spain.

Giovanni Pardini, G. Pardini, Maria Gispert, 2004, The Science of the total environment.