Paolo Ballarini

Community-Acquired Pneumonia in a Cohort of Former Injection Drug Users With and Without Human Immunodeficiency Virus Infection: Incidence, Etiologies, and Clinical Aspects

Antonio Boschini, C. Smacchia, M. Di Fine et al. · Clinical Infectious Diseases · 1996 · 112 citations · Full text

Community-acquired Pneumonia, Former Idus, Treatment And Prevention +12

Modeling tools for detecting DoS attacks in WSNs

Paolo Ballarini, Lynda Mokdad, Quentin Monnet · Security and Communication Networks · 2013 · 82 citations

Engineering, Wireless Sensor System, Information Security +17

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic

Paolo Ballarini, Hilal Djafri, Marie Duflot et al. · 2011 · 55 citations

Engineering, Verification, Computer-aided Verification +17

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

Paolo Ballarini, Benoît Barbot, Marie Duflot et al. · Performance Evaluation · 2015 · 47 citations · Full text

Engineering, Verification, Computer-aided Verification +16

Taming the complexity of biological pathways through parallel computing

Paolo Ballarini, Rosita Guido, Tommaso Mazza et al. · Briefings in Bioinformatics · 2008 · 42 citations · Full text

Engineering, Parallel Problem Solving, Mathematical Biophysics +14