output
20092022
most citedProsperity is associated with instability in dynamical networks

56 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.CEShow all

5 papers · 1 filter

cs.CE2010★ 1 cited

BlenX-based compositional modeling of complex reaction mechanisms

Judit Zámborszky, Corrado Priami

Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dy…

cs.CE2010★ 4 cited

Investigating modularity in the analysis of process algebra models of biochemical systems

Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston

Compositionality is a key feature of process algebras which is often cited as one of their advantages as a modelling technique. It is certainly true that in biochemical systems, as…

cs.CE2010★ 2 cited

Flux Analysis in Process Models via Causality

Ozan Kahramanoğullari

We present an approach for flux analysis in process algebra models of biological systems. We perceive flux as the flow of resources in stochastic simulations. We resort to an estab…

cs.CE2009★ 18 cited

Efficient Parallel Statistical Model Checking of Biochemical Networks

Paolo Ballarini, Michele Forlin, Tommaso Mazza +1

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification app…

cs.CE2009★ 7 cited

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero

The vast majority of biochemical systems involve the exchange of information between different compartments, either in the form of transportation or via the intervention of membran…