Cristian Versari

Available identifiers

Publication	Date of Publication	Type
Abstract simulation of reaction networks via Boolean networks	2023-01-18	Paper
Computing difference abstractions of linear equation systems	2021-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4964000	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	2015-12-16	Paper
Efficient stochastic simulation of biological systems with multiple variable volumes	2014-01-17	Paper
Encoding catalytic P systems in {\(\pi\)}\@	2013-12-06	Paper
Complex Functional Rates in Rule-Based Languages for Biochemistry	2013-04-03	Paper
An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)	2012-07-04	Paper
Biochemical Reaction Rules with Constraints	2011-05-19	Paper
An expressiveness study of priority in process calculi	2010-01-12	Paper
Stochastic biological modelling in the presence of multiple compartments	2009-08-07	Paper
On the Expressive Power of Restriction and Priorities in CCS with Replication	2009-03-31	Paper
On the Expressive Power of Global and Local Priority in Process Calculi	2008-09-18	Paper
A Core Calculus for a Comparative Analysis of Bio-inspired Calculi	2007-09-04	Paper

This page was built for person: Cristian Versari