Publications

Journal

Complex Functional Rates in Rule-Based Languages for Biochemistry. C. Versari, G. Zavattaro.
Transactions on Computational Systems Biology (2012).

An Operational Petri Net Semantics for A2CCS. R. Gorrieri, C. Versari.
Fundamenta Informaticae (2011).

An expressiveness study of priority in process calculi. C. Versari, N. Busi, R. Gorrieri.
Mathematical Structures in Computer Science (2009).

Stochastic biological modelling in the presence of multiple compartments. C. Versari, N. Busi.
Theoretical Computer Science (2009).

Proceedings

Symmetry-Based Model Reduction for Approximate Stochastic Analysis. K. Batmanov, C. Kuttler, F. Lemaire, C. Lhoussaine, C. Versari.
Computational Methods in Systems Biology (CMSB 2012).

Biochemical Reaction Rules with Constraints. M. John, C. Lhoussaine, J. Niehren, C. Versari.
European Symposium on Programming (ESOP 2011).

A Process Calculus for Expressing Finite Place/Transition Petri Nets. R. Gorrieri, C. Versari.
Expressiveness in Concurrency (EXPRESS 2010).

Stochastic Modelling of Cellular Growth and Division by means of the π@ Calculus. C. Versari.
Dagstuhl Seminar in Formal Methods in Molecular Biology (2009).

On the Expressive Power of Restriction and Priorities in CCS with Replication. J. Aranda, F. Valencia, C. Versari.
Foundations of Software Science and Computational Structures (FOSSACS 2009).

π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. C. Versari, R. Gorrieri.
International School on Formal Methods for Computational Systems Biology (SFM 2008).

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. C. Versari, N. Busi.
From Biology to Concurrency and back (FBTC 2007).

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. C. Versari, N. Busi.
Computational Methods in Systems Biology (CMSB 2007).

On the Expressive Power of Global and Local Priority in Process Calculi. C. Versari, N. Busi, R. Gorrieri.
International Conference on Concurrency Theory (CONCUR 2007).

A core calculus for a comparative analysis of bio-inspired calculi. C. Versari.
European Symposium on Programming (ESOP 2007).

Encoding catalytic P systems in π@. C. Versari.
Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2006).

Posters

Towards a minimal calculus for complexation. C. Di Giusto, C. Versari, A. Vitale.
Technical report TR-09-09, Università di Pisa (2009).

PhD Thesis

A Core Calculus for the Analysis and Implementation of Biologically Inspired Languages. C. Versari.
Technical report TR-09-09, Università di Bologna (2009).