Cristian Versari

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 10

Top Venues

CMSB

CoRR

Biosyst.

ICASSP

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Arnaud Deleruyelle, Cristian Versari, John Klein
Self-mentoring: A new deep learning pipeline to train a self-supervised U-net for few-shot learning of bio-artificial capsule segmentation. Comput. Biol. Medicine 152 (2023)
Arnaud Deleruyelle, Cristian Versari, John Klein
Self-supervised U-net for few-shot learning of object segmentation in microscopy images. CoRR (2022)
Joachim Niehren, Athénaïs Vaginay, Cristian Versari
Abstract Simulation of Reaction Networks via Boolean Networks. CMSB (2022)
Arnaud Deleruyelle, John Klein, Cristian Versari
SODA: Self-organizing data augmentation in deep neural networks - Application to biomedical image segmentation tasks. CoRR (2022)
Arnaud Deleruyelle, John Klein, Cristian Versari
SODA: Self-Organizing Data Augmentation in Deep Neural Networks Application to Biomedical Image Segmentation Tasks. ICASSP (2022)
Emilie Allart, Joachim Niehren, Cristian Versari
Computing difference abstractions of linear equation systems. Theor. Comput. Sci. 893 (2021)
Emilie Allart, Joachim Niehren, Cristian Versari
Exact Boolean Abstraction of Linear Equation Systems. Comput. 9 (11) (2021)
Emilie Allart, Joachim Niehren, Cristian Versari
Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB (2019)
Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques
Predicting changes of reaction networks with partial kinetic information. Biosyst. 149 (2016)
Artémis Llamosi, Andrés M. González-Vargas, Cristian Versari, Eugenio Cinquemani, Giancarlo Ferrari-Trecate, Pascal Hersen, Grégory Batt
What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. PLoS Comput. Biol. 12 (2) (2016)
Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. CMSB (2015)
Cristian Versari, Gianluigi Zavattaro
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). Electron. Notes Theor. Comput. Sci. 293 (2013)
Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari
Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB (2012)
Cristian Versari, Gianluigi Zavattaro
Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology 14 (2012)
Roberto Gorrieri, Cristian Versari
CCS. Fundam. Informaticae 109 (2) (2011)
Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
Biochemical Reaction Rules with Constraints. ESOP (2011)
Roberto Gorrieri, Cristian Versari
A Process Calculus for Expressing Finite Place/Transition Petri Nets EXPRESS (2010)
Cristian Versari, Nadia Busi
Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410 (33-34) (2009)
Cristian Versari, Nadia Busi, Roberto Gorrieri
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Jesús Aranda, Frank D. Valencia, Cristian Versari
On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS (2009)
Cristian Versari
Stochastic modelling of cellular growth and division by means of the pi@ calculus. Formal Methods in Molecular Biology (2009)
Cristian Versari, Roberto Gorrieri
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM (2008)
Cristian Versari, Nadia Busi
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Cristian Versari, Nadia Busi
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB (2007)
Cristian Versari, Nadia Busi, Roberto Gorrieri
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR (2007)
Cristian Versari
Encoding Catalytic P Systems in pi@. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Cristian Versari
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ESOP (2007)

Cristian Versari.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cristian Versari