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 π@	2013-12-06	Paper
Complex Functional Rates in Rule-Based Languages for Biochemistry	2013-04-03	Paper
An Operational Petri Net Semantics for A2CCS	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cristian Versari