( en | de | ru )

 

Disambiguation of "Ballarini, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.

, , and . DSN, page 773-784. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Klaus Ballarini

Klaus Ballarini

Giordano Paolo

Elisabetta Ballarini

Klaus Ballarini

 

Other publications of authors with the same name

The Relevance of Topology in Parallel Simulation of Biological Networks., , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (3): 911-923 (2012)Performance Analysis of Production Lines Through Statistical Model Checking., and . EPEW, volume 13104 of Lecture Notes in Computer Science, page 264-281. Springer, (2021)Compositional Model Checking of product-form CTMCs., and . AVoCS, volume 250 of Electronic Notes in Theoretical Computer Science, page 21-37. Elsevier, (2007)Analysis of Timed Properties Using the Jump-Diffusion Approximation., , , , , and . EPEW, volume 10497 of Lecture Notes in Computer Science, page 69-84. Springer, (2017)A Formal Approach for Tuning Stochastic Oscillators., , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 1-17. Springer, (2023)Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models., , , and . ACSD, page 111-121. IEEE Computer Society, (2003)Stochastic models for IEEE 802.11p., , and . ISCC, page 74-78. IEEE Computer Society, (2016)Query-based verification of qualitative trends and oscillations in biochemical systems., and . Theor. Comput. Sci., 411 (20): 2019-2036 (2010)Reachability Design Through Approximate Bayesian Computation., , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 207-223. Springer, (2019)Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains., and . QEST, page 157-166. IEEE Computer Society, (2008)