 | 2009 |
|---|
| 11 |       | Corrado Priami,
Paolo Ballarini,
Paola Quaglia:
BlenX4Bio - BlenX for Biologists.
CMSB 2009: 26-51 |
| 10 | | Paolo Ballarini,
Rosita Guido,
Tommaso Mazza,
Davide Prandi:
Taming the complexity of biological pathways through parallel computing.
Briefings in Bioinformatics 10(3): 278-288 (2009) |
| 9 | | Paolo Ballarini,
Radu Mardare,
Ivan Mura:
Analysing Biochemical Oscillation through Probabilistic Model Checking.
Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009) |
| 8 | | Paolo Ballarini,
Tommaso Mazza,
Alida Palmisano,
Attila Csikasz-Nagy:
Studying Irreversible Transitions in a Model of Cell Cycle Regulation.
Electr. Notes Theor. Comput. Sci. 232: 39-53 (2009) |
| 2008 |
|---|
| 7 | | Paolo Ballarini,
András Horváth:
Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.
QEST 2008: 157-166 |
| 2006 |
|---|
| 6 | | Paolo Ballarini,
Alice Miller:
Model Checking Medium Access Control for Sensor Networks.
ISoLA 2006: 255-262 |
| 5 | | Paolo Ballarini,
Michael Fisher,
Michael Wooldridge:
Automated Game Analysis via Probabilistic Model Checking: a case study.
Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006) |
| 2004 |
|---|
| 4 | | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.
ISCIS 2004: 553-563 |
| 2003 |
|---|
| 3 | | Paolo Ballarini,
Lorenzo Capra,
Giuliana Franceschinis,
Massimiliano De Pierro:
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models.
ACSD 2003: 111-121 |
| 2002 |
|---|
| 2 | | Paolo Ballarini,
Simona Bernardi,
Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
DSN 2002: 773-784 |
| 2000 |
|---|
| 1 | | Paolo Ballarini,
Susanna Donatelli,
Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling.
ICATPN 2000: 43-62 |
