BERNARDO, MARCO
BERNARDO, MARCO
AFORM - AREA FORMAZIONE E DOTTORATO
Personale esterno ed autonomi
A subanalysis of Clostridium perfringens bloodstream infections from a 5-year retrospective nationwide survey (ITANAEROBY)
2024 Geremia, N.; Sanson, G.; Principe, L.; Antonello, R. M.; Zerbato, V.; Luzzati, R.; Maraolo, A. E.; Giacobbe, D. R.; Sepulcri, C.; Ambretti, S.; Aschbacher, R.; Bartolini, L.; Bernardo, M.; Bielli, A.; Busetti, M.; Carcione, D.; Camarlinghi, G.; Carretto, E.; Cassetti, T.; Chilleri, C.; De Rosa, F. G.; Dodaro, S.; Gargiulo, R.; Greco, F.; Knezevich, A.; Intra, J.; Lupia, T.; Concialdi, E.; Bianco, G.; Luzzaro, F.; Mauri, C.; Morroni, G.; Mosca, A.; Pagani, E.; Parisio, E. M.; Ucciferri, C.; Vismara, C.; Di Bella, S.
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Formal Methods for Web Services
2009 Bernardo, M.; Padovani, L.; Zavattaro, G.
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007 Bernardo, Marco; Padovani, Luca
QoS evaluation of IP telephony services: A specification language based simulation software tool
2003 Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R.
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
2001 Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M.
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
1998 Bernardo M.; Gorrieri R.; Roccetti M.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A subanalysis of Clostridium perfringens bloodstream infections from a 5-year retrospective nationwide survey (ITANAEROBY) | Geremia, N.; Sanson, G.; Principe, L.; Antonello, R. M.; Zerbato, V.; Luzzati, R.; Maraolo, A. E....; Giacobbe, D. R.; Sepulcri, C.; Ambretti, S.; Aschbacher, R.; Bartolini, L.; Bernardo, M.; Bielli, A.; Busetti, M.; Carcione, D.; Camarlinghi, G.; Carretto, E.; Cassetti, T.; Chilleri, C.; De Rosa, F. G.; Dodaro, S.; Gargiulo, R.; Greco, F.; Knezevich, A.; Intra, J.; Lupia, T.; Concialdi, E.; Bianco, G.; Luzzaro, F.; Mauri, C.; Morroni, G.; Mosca, A.; Pagani, E.; Parisio, E. M.; Ucciferri, C.; Vismara, C.; Di Bella, S. | 2024-01-01 | ANAEROBE | - | 1.01 Articolo in rivista | - |
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Formal Methods for Web Services | Bernardo, M.; Padovani, L.; Zavattaro, G. | 2009-01-01 | - | Springer | 3.02 Curatela | - |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | Bernardo, Marco; Padovani, Luca | 2007-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| QoS evaluation of IP telephony services: A specification language based simulation software tool | Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R. | 2003-01-01 | SYSTEMS ANALYSIS, MODELLING, SIMULATION | - | 1.01 Articolo in rivista | - |
| Comparing the QoS of Internet Audio Mechanisms via Formal Methods | Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M. | 2001-01-01 | ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | - | 1.01 Articolo in rivista | - |
| Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet | Bernardo M.; Gorrieri R.; Roccetti M. | 1998-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | - |