Cristian Versari

According to our database, Cristian Versari authored at least 28 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2022

Self-supervised U-net for few-shot learning of object segmentation in microscopy images.

Arnaud Deleruyelle, Cristian Versari, John Klein

CoRR, 2022

SODA: Self-Organizing Data Augmentation in Deep Neural Networks Application to Biomedical Image Segmentation Tasks.

Arnaud Deleruyelle, John Klein, Cristian Versari

Proceedings of the IEEE International Conference on Acoustics, 2022

Abstract Simulation of Reaction Networks via Boolean Networks.

Joachim Niehren, Athénaïs Vaginay, Cristian Versari

Proceedings of the Computational Methods in Systems Biology, 2022

2021

Computing difference abstractions of linear equation systems.

Emilie Allart, Joachim Niehren, Cristian Versari

Theor. Comput. Sci., 2021

Exact Boolean Abstraction of Linear Equation Systems.

Emilie Allart, Joachim Niehren, Cristian Versari

Comput., 2021

2019

Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints.

Emilie Allart, Joachim Niehren, Cristian Versari

Proceedings of the Computational Methods in Systems Biology, 2019

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

Predicting changes of reaction networks with partial kinetic information.

Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques

Biosyst., 2016

2015

Introduction to Concurrency Theory - Transition Systems and CCS

Roberto Gorrieri, Cristian Versari

Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-319-21491-7, 2015

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information.

Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques

Proceedings of the Computational Methods in Systems Biology, 2015

2012

Complex Functional Rates in Rule-Based Languages for Biochemistry.

Cristian Versari, Gianluigi Zavattaro

Trans. Comp. Sys. Biology, 2012

Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract).

Cristian Versari, Gianluigi Zavattaro

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

Symmetry-Based Model Reduction for Approximate Stochastic Analysis.

Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari

Proceedings of the Computational Methods in Systems Biology, 2012

2011

An Operational Petri Net Semantics for A²CCS.

Roberto Gorrieri, Cristian Versari

Fundam. Informaticae, 2011

Biochemical Reaction Rules with Constraints.

Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari

Proceedings of the Programming Languages and Systems, 2011

2010

A Process Calculus for Expressing Finite Place/Transition Petri Nets

Roberto Gorrieri, Cristian Versari

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

2009

A core calculus for the analysis and implementation of biologically inspired languages.

Cristian Versari

PhD thesis, 2009

Stochastic biological modelling in the presence of multiple compartments.

Cristian Versari, Nadia Busi

Theor. Comput. Sci., 2009

An expressiveness study of priority in process calculi.

Cristian Versari, Nadia Busi, Roberto Gorrieri

Math. Struct. Comput. Sci., 2009

On the Expressive Power of Restriction and Priorities in CCS with Replication.

Jesús Aranda, Frank D. Valencia, Cristian Versari

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Stochastic modelling of cellular growth and division by means of the pi@ calculus.

Cristian Versari

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

2008

pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi.

Cristian Versari, Roberto Gorrieri

Proceedings of the Formal Methods for Computational Systems Biology, 2008

2007

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes.

Cristian Versari, Nadia Busi

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.

Cristian Versari

Proceedings of the Programming Languages and Systems, 2007

On the Expressive Power of Global and Local Priority in Process Calculi.

Cristian Versari, Nadia Busi, Roberto Gorrieri

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.

Cristian Versari, Nadia Busi

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

Encoding Catalytic P Systems in pi@.

Cristian Versari

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006