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
13 papers
Mechanistic models of -synuclein homeostasis for Parkinson's disease: A blueprint for therapeutic intervention
Elena Righetti, Alice Antonello, Luca Marchetti +2
Parkinson's disease (PD) is the second most common neurodegenerative disorder worldwide, yet there is no disease-modifying therapy up to this date. The biological complexity underl…
Efficient Finite Difference Method for Computing Sensitivities of Biochemical Reactions
Vo Hong Thanh, Roberto Zunino, Corrado Priami
Sensitivity analysis of biochemical reactions aims at quantifying the dependence of the reaction dynamics on the reaction rates. The computation of the parameter sensitivities, how…
An event-based model for contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna +1
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We est…
On the realizability of contracts in dishonest systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon - unlike in traditional approache…
Contracts in distributed systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…
Prosperity is associated with instability in dynamical networks
Matteo Cavaliere, Sean Sedwards, Corina E. Tarnita +2
Social, biological and economic networks grow and decline with occasional fragmentation and re-formation, often explained in terms of external perturbations. We show that these phe…
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…
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…
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…
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…