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
Showing 2009 · cs.CEShow all
2 papers · 2 filters
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…