Giovanni Pardini

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Attributed probabilistic P systems and their application to the modelling of social interactions in primates Software Engineering and Formal Methods	2021-05-18	Paper
Modular verification of qualitative pathway models with fairness Scientific Annals of Computer Science	2019-02-08	Paper
Applications of P systems in population biology and ecology: the cases of MPP and APP systems Membrane Computing	2017-04-12	Paper
An algorithm for the identification of components in biochemical pathways	2016-04-26	Paper
Identification of components in biochemical pathways: extensive aqpplication to SBML models Natural Computing	2016-03-14	Paper
Minimal probabilistic P systems for modelling ecological systems Theoretical Computer Science	2015-12-10	Paper
Systolic automata and P systems Computing with New Resources	2015-09-08	Paper
Component identification in biochemical pathways Theoretical Computer Science	2015-06-10	Paper
Compositional semantics and behavioural equivalences for reaction systems with restriction Theoretical Computer Science	2014-08-29	Paper
Spatial calculus of looping sequences Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Simulation of spatial P system models Theoretical Computer Science	2014-03-19	Paper
A Compositional Semantics of Reaction Systems with Restriction Lecture Notes in Computer Science	2013-08-05	Paper
Spatial calculus of looping sequences Theoretical Computer Science	2011-12-19	Paper
Spatial P systems Natural Computing	2011-05-23	Paper
Simulation of Kohn's molecular interaction maps through translation into stochastic CLS+ Perspectives of Systems Informatics	2010-02-02	Paper

Research outcomes over time

This page was built for person: Giovanni Pardini