Cristian Versari

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Abstract simulation of reaction networks via Boolean networks	2023-01-18	Paper
Computing difference abstractions of linear equation systems Theoretical Computer Science	2021-11-01	Paper
A process calculus for expressing finite place/transition Petri nets	2021-02-24	Paper
A process calculus for expressing finite place/transition Petri nets (available as arXiv preprint)	2021-02-24	Paper
Computing difference abstractions of metabolic networks under kinetic constraints	2019-10-10	Paper
Introduction to concurrency theory. Transition systems and CCS Texts in Theoretical Computer Science. An EATCS Series	2015-12-16	Paper
Efficient stochastic simulation of biological systems with multiple variable volumes Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Encoding catalytic P systems in {\(\pi\)}\@ Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Complex functional rates in rule-based languages for biochemistry Lecture Notes in Computer Science	2013-04-03	Paper
An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\) Fundamenta Informaticae	2012-07-04	Paper
Biochemical reaction rules with constraints Programming Languages and Systems	2011-05-19	Paper
An expressiveness study of priority in process calculi Mathematical Structures in Computer Science	2010-01-12	Paper
Stochastic biological modelling in the presence of multiple compartments Theoretical Computer Science	2009-08-07	Paper
On the Expressive Power of Restriction and Priorities in CCS with Replication Foundations of Software Science and Computational Structures	2009-03-31	Paper
On the Expressive Power of Global and Local Priority in Process Calculi CONCUR 2007 – Concurrency Theory	2008-09-18	Paper
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi Programming Languages and Systems	2007-09-04	Paper

Research outcomes over time

This page was built for person: Cristian Versari