56 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of TrentoIT9 papers
- University of CagliariIT3 papers
- University of EdinburghGB2 papers
- University of LeicesterGB2 papers
- Aalto UniversityFI1 paper
- Harvard UniversityUS1 paper
- Imperial College LondonGB1 paper
- Kyoto Sangyo UniversityJP1 paper
- Microsoft Research (United Kingdom)GB1 paper
- Microsoft (United States)US1 paper
- University of PisaIT1 paper
- University of TriesteIT1 paper
4 papers · 1 filter
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…
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…
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanoğullari, Luca Cardelli, Emmanuelle Caron
We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are b…
Complexity through the Observation of Simple Systems
Matteo Cavaliere, Peter Leupold
We survey work on the paradigm called "computing by observing." Its central feature is that one considers the behavior of an evolving system as the result of a computation. To this…