Cristian Versari

29 papers A 2B 2Misc 1Journal 11Unranked 11

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	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 Arnaud Deleruyelle, Cristian Versari, John Klein
2022	—	`conf`	Abstract Simulation of Reaction Networks via Boolean Networks. CMSB Joachim Niehren, Athénaïs Vaginay, Cristian Versari
2022	Misc	`conf`	SODA: Self-Organizing Data Augmentation in Deep Neural Networks Application to Biomedical Image Segmentation Tasks. ICASSP Arnaud Deleruyelle, John Klein, Cristian Versari
2022	J	`jnl`	SODA: Self-organizing data augmentation in deep neural networks - Application to biomedical image segmentation tasks. CoRR Arnaud Deleruyelle, John Klein, Cristian Versari
2022	J	`jnl`	Self-supervised U-net for few-shot learning of object segmentation in microscopy images. CoRR Arnaud Deleruyelle, Cristian Versari, John Klein
2021	J	`jnl`	Computing difference abstractions of linear equation systems. Theor. Comput. Sci. Emilie Allart, Joachim Niehren, Cristian Versari
2021	J	`jnl`	Exact Boolean Abstraction of Linear Equation Systems. Comput. Emilie Allart, Joachim Niehren, Cristian Versari
2019	—	`conf`	Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB Emilie Allart, Joachim Niehren, Cristian Versari
2016	J	`jnl`	Predicting changes of reaction networks with partial kinetic information. Biosyst. Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques
2016	J	`jnl`	What Population Reveals about Individual Cell Identity: Single-Cell Parameter Estimation of Models of Gene Expression in Yeast. PLoS Comput. Biol. Artémis Llamosi, Andrés M. González-Vargas, Cristian Versari, Eugenio Cinquemani, Giancarlo Ferrari-Trecate, Pascal Hersen, Grégory Batt
2015	—	`book`	Introduction to Concurrency Theory - Transition Systems and CCS Roberto Gorrieri, Cristian Versari
2015	—	`conf`	Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. CMSB Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques
2012	J	`jnl`	Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology Cristian Versari, Gianluigi Zavattaro
2012	—	`conf`	Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). CS2Bio Cristian Versari, Gianluigi Zavattaro
2012	—	`conf`	Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari
2011	J	`jnl`	An Operational Petri Net Semantics for A Fundam. Informaticae Roberto Gorrieri, Cristian Versari
2011	A	`conf`	Biochemical Reaction Rules with Constraints. ESOP Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
2010	—	`conf`	A Process Calculus for Expressing Finite Place/Transition Petri Nets EXPRESS Roberto Gorrieri, Cristian Versari
2009	—	`—`	A core calculus for the analysis and implementation of biologically inspired languages. Cristian Versari
2009	J	`jnl`	An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. Cristian Versari, Nadia Busi, Roberto Gorrieri
2009	B	`conf`	On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS Jesús Aranda, Frank D. Valencia, Cristian Versari
2009	J	`jnl`	Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. Cristian Versari, Nadia Busi
2009	—	`conf`	Stochastic modelling of cellular growth and division by means of the pi@ calculus. Formal Methods in Molecular Biology Cristian Versari
2008	—	`conf`	pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM Cristian Versari, Roberto Gorrieri
2007	A	`conf`	A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ESOP Cristian Versari
2007	—	`conf`	Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. FBTC@CONCUR Cristian Versari, Nadia Busi
2007	B	`conf`	On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR Cristian Versari, Nadia Busi, Roberto Gorrieri
2007	—	`conf`	Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB Cristian Versari, Nadia Busi
2006	—	`conf`	Encoding Catalytic P Systems in pi@. MeCBIC@ICALP Cristian Versari