Encoding Catalytic P Systems in pi@. - Cristian Versari (MeCBIC@ICALP, 2006)

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. - Cristian Versari; Nadia Busi (CMSB, 2007)

On the Expressive Power of Global and Local Priority in Process Calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (CONCUR, 2007)

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. - Cristian Versari (ESOP, 2007)

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. - Cristian Versari; Nadia Busi (FBTC@CONCUR, 2007)

pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. - Cristian Versari; Roberto Gorrieri (SFM, 2008)

Stochastic modelling of cellular growth and division by means of the pi@ calculus. - Cristian Versari (Formal Methods in Molecular Biology, 2009)

On the Expressive Power of Restriction and Priorities in CCS with Replication. - Jesús Aranda; Frank D. Valencia; Cristian Versari (FoSSaCS, 2009)

An expressiveness study of priority in process calculi. - Cristian Versari; Nadia Busi; Roberto Gorrieri (Math. Struct. Comput. Sci., 2009)

Stochastic biological modelling in the presence of multiple compartments. - Cristian Versari; Nadia Busi (Theor. Comput. Sci., 2009)

A core calculus for the analysis and implementation of biologically inspired languages. - Cristian Versari (2009)

A Process Calculus for Expressing Finite Place/Transition Petri Nets - Roberto Gorrieri; Cristian Versari (EXPRESS, 2010)

Biochemical Reaction Rules with Constraints. - Mathias John; Cédric Lhoussaine; Joachim Niehren; Cristian Versari (ESOP, 2011)

An Operational Petri Net Semantics for A2CCS. - Roberto Gorrieri; Cristian Versari (Fundam. Informaticae, 2011)

Symmetry-Based Model Reduction for Approximate Stochastic Analysis. - Kirill Batmanov; Céline Kuttler; François Lemaire; Cédric Lhoussaine; Cristian Versari (CMSB, 2012)

Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). - Cristian Versari; Gianluigi Zavattaro (CS2Bio, 2012)

Complex Functional Rates in Rule-Based Languages for Biochemistry. - Cristian Versari; Gianluigi Zavattaro (Trans. Comp. Sys. Biology, 2012)

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. - Joachim Niehren; Mathias John; Cristian Versari; François Coutte; Philippe Jacques (CMSB, 2015)

Introduction to Concurrency Theory - Transition Systems and CCS - Roberto Gorrieri; Cristian Versari (Springer, 2015)

Predicting changes of reaction networks with partial kinetic information. - Joachim Niehren; Cristian Versari; Mathias John; François Coutte; Philippe Jacques (Biosyst., 2016)

What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. - Artémis Llamosi; Andrés M. González-Vargas; Cristian Versari; Eugenio Cinquemani; Giancarlo Ferrari-Trecate; Pascal Hersen; Grégory Batt (PLoS Comput. Biol., 2016)

Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. - Emilie Allart; Joachim Niehren; Cristian Versari (CMSB, 2019)

Exact Boolean Abstraction of Linear Equation Systems. - Emilie Allart; Joachim Niehren; Cristian Versari (Comput., 2021)

Computing difference abstractions of linear equation systems. - Emilie Allart; Joachim Niehren; Cristian Versari (Theor. Comput. Sci., 2021)

Abstract Simulation of Reaction Networks via Boolean Networks. - Joachim Niehren; Athénaïs Vaginay; Cristian Versari (CMSB, 2022)

SODA: Self-Organizing Data Augmentation in Deep Neural Networks Application to Biomedical Image Segmentation Tasks. - Arnaud Deleruyelle; John Klein; Cristian Versari (ICASSP, 2022)

Self-supervised U-net for few-shot learning of object segmentation in microscopy images. - Arnaud Deleruyelle; Cristian Versari; John Klein (CoRR, 2022)

Self-mentoring: A new deep learning pipeline to train a self-supervised U-net for few-shot learning of bio-artificial capsule segmentation. - Arnaud Deleruyelle; Cristian Versari; John Klein (Comput. Biol. Medicine, 2023)