Paolo Ballarini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EEPaolo Ballarini, Radu Mardare, Ivan Mura: Analysing Biochemical Oscillation through Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 229(1): 3-19 (2009)
7EEPaolo 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)
6EEPaolo Ballarini, András Horváth: Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST 2008: 157-166
5EEPaolo 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)
4EEPaolo Ballarini, Lorenzo Capra, Giuliana Franceschinis: Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563
3EEPaolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro: Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121
2EEPaolo Ballarini, Simona Bernardi, Susanna Donatelli: Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784
1EEPaolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62

Coauthor Index

1Simona Bernardi [2]
2Lorenzo Capra [3] [4]
3Attila Csikasz-Nagy [7]
4Susanna Donatelli [1] [2]
5Michael Fisher [5]
6Giuliana Franceschinis [1] [3] [4]
7András Horváth [6]
8Radu Mardare [8]
9Tommaso Mazza [7]
10Ivan Mura [8]
11Alida Palmisano [7]
12Massimiliano De Pierro [3]
13Michael Wooldridge [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)