Giovanni Pardini

J. Intell. Inf. Syst., 2019

2016

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

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

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

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Component identification in biochemical pathways.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Minimal probabilistic P systems for modelling ecological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

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

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Games and Software Engineering, 2015

2014

Compositional semantics and behavioural equivalences for reaction systems with restriction.

[BibT_eX]

[DOI]

Simone Tini

Theor. Comput. Sci., 2014

Simulation of Spatial P system models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

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

[BibT_eX]

[DOI]

Nat. Comput., 2014

Morphogenesis through moving membranes.

[BibT_eX]

[DOI]

Vincenzo Manca

Nat. Comput., 2014

Systolic Automata and P Systems.

[BibT_eX]

[DOI]

Simone Tini

Proceedings of the Computing with New Resources, 2014

2013

An Algorithm for the Identification of Components in Biochemical Pathways.

[BibT_eX]

[DOI]

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Modular Verification of Qualitative Pathway Models with Fairness.

[BibT_eX]

[DOI]

Peter Drábik

Sci. Ann. Comput. Sci., 2013

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Wivace 2013, 2013

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

[BibT_eX]

[DOI]

Pasquale Bove

Proceedings of the Software Engineering and Formal Methods, 2013

A Compositional Semantics of Reaction Systems with Restriction.

[BibT_eX]

[DOI]

Simone Tini

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

2012

Lazy Security Controllers.

[BibT_eX]

[DOI]

Giulio Caravagna

Gabriele Costa

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Lazy Monitoring for Distributed Computing Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012

2011

Formal Modelling and Simulation of Biological Systems with Spatiality.

[BibT_eX]

[DOI]

PhD thesis, 2011

Spatial P systems.

[BibT_eX]

[DOI]

Luca Tesei

Nat. Comput., 2011

2009

A Process Calculus for Molecular Interaction Maps

[BibT_eX]

[DOI]

Aureliano Rama

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

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

[BibT_eX]

[DOI]

Daniela Lepri

Aureliano Rama

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Spatial Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

The Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Giulio Caravagna