Giovanni Pardini
Orcid: 0000-0001-8327-5744
According to our database1,
Giovanni Pardini
authored at least 25 papers
between 2008 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
0
1
2
3
4
5
6
1
2
4
1
2
2
2
1
4
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM.
J. Intell. Inf. Syst., 2019
2016
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.
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
2015
Theor. Comput. Sci., 2015
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates.
Proceedings of the Software Engineering and Formal Methods, 2015
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.
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.
Theor. Comput. Sci., 2014
Identification of components in biochemical pathways: extensive application to SBML models.
Nat. Comput., 2014
Proceedings of the Computing with New Resources, 2014
2013
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
Sci. Ann. Comput. Sci., 2013
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models.
Proceedings of the Proceedings Wivace 2013, 2013
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations.
Proceedings of the Software Engineering and Formal Methods, 2013
Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013
2012
Proceedings of the Security and Trust Management - 8th International Workshop, 2012
Proceedings of the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, 2012
2011
PhD thesis, 2011
2009
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+.
Proceedings of the Perspectives of Systems Informatics, 2009
2008
Proceedings of the Formal Methods for Computational Systems Biology, 2008