default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCristian Versari
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j9]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: 106454 (2023)- 2022
- [c15]Joachim Niehren, Athénaïs Vaginay, Cristian Versari:
Abstract Simulation of Reaction Networks via Boolean Networks. CMSB 2022: 21-40 - [c14]Arnaud Deleruyelle, John Klein, Cristian Versari:
SODA: Self-Organizing Data Augmentation in Deep Neural Networks Application to Biomedical Image Segmentation Tasks. ICASSP 2022: 3204-3208 - [i3]Arnaud Deleruyelle, John Klein, Cristian Versari:
SODA: Self-organizing data augmentation in deep neural networks - Application to biomedical image segmentation tasks. CoRR abs/2202.03223 (2022) - [i2]Arnaud Deleruyelle, Cristian Versari, John Klein:
Self-supervised U-net for few-shot learning of object segmentation in microscopy images. CoRR abs/2205.10840 (2022) - 2021
- [j8]Emilie Allart, Joachim Niehren, Cristian Versari:
Exact Boolean Abstraction of Linear Equation Systems. Comput. 9(11): 113 (2021) - [j7]Emilie Allart, Joachim Niehren, Cristian Versari:
Computing difference abstractions of linear equation systems. Theor. Comput. Sci. 893: 72-104 (2021)
2010 – 2019
- 2019
- [c13]Emilie Allart, Joachim Niehren, Cristian Versari:
Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB 2019: 266-285 - 2016
- [j6]Joachim Niehren, Cristian Versari, Mathias John, François Coutte, Philippe Jacques:
Predicting changes of reaction networks with partial kinetic information. Biosyst. 149: 113-124 (2016) - [j5]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) - 2015
- [b2]Roberto Gorrieri, Cristian Versari:
Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-21490-0, pp. 1-321 - [c12]Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques:
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. CMSB 2015: 157-169 - 2012
- [j4]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology 14: 123-150 (2012) - [c11]Kirill Batmanov, Céline Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari:
Symmetry-Based Model Reduction for Approximate Stochastic Analysis. CMSB 2012: 49-68 - [c10]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). CS2Bio 2012: 3-15 - 2011
- [j3]Roberto Gorrieri, Cristian Versari:
An Operational Petri Net Semantics for A2CCS. Fundam. Informaticae 109(2): 135-160 (2011) - [c9]Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari:
Biochemical Reaction Rules with Constraints. ESOP 2011: 338-357 - 2010
- [c8]Roberto Gorrieri, Cristian Versari:
A Process Calculus for Expressing Finite Place/Transition Petri Nets. EXPRESS 2010: 76-90
2000 – 2009
- 2009
- [b1]Cristian Versari:
A core calculus for the analysis and implementation of biologically inspired languages. University of Bologna, Italy, 2009 - [j2]Cristian Versari, Nadia Busi, Roberto Gorrieri:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - [j1]Cristian Versari, Nadia Busi:
Stochastic biological modelling in the presence of multiple compartments. Theor. Comput. Sci. 410(33-34): 3039-3064 (2009) - [c7]Jesús Aranda, Frank D. Valencia, Cristian Versari:
On the Expressive Power of Restriction and Priorities in CCS with Replication. FoSSaCS 2009: 242-256 - [i1]Cristian Versari:
Stochastic modelling of cellular growth and division by means of the pi@ calculus. Formal Methods in Molecular Biology 2009 - 2008
- [c6]Cristian Versari, Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506 - 2007
- [c5]Cristian Versari, Nadia Busi:
Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. CMSB 2007: 80-95 - [c4]Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - [c3]Cristian Versari:
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. ESOP 2007: 411-425 - [c2]Cristian Versari, Nadia Busi:
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. FBTC@CONCUR 2007: 165-180 - 2006
- [c1]Cristian Versari:
Encoding Catalytic P Systems in pi@. MeCBIC@ICALP 2006: 171-186
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
