Scholar
Davide Bresolin
Google Scholar ID: CFuzvnwAAAAJ
Università di Padova
Computer Science
Formal Methods
Hybrid Systems
Temporal Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,922
H-index
23
i10-index
53
Publications
20
Co-authors
33
list available
Publications
2 items
The $Σ$-Chain Product: A Succinct Model of Automata (De)Composition (Extended Version)
2026
Cited
0
Rigorous Function Calculi in Ariadne
arXiv.org · 2023
Cited
0
Co-authors
10 total
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Guido Sciavicco
Universitá di Ferrara
Pietro Sala
Associate Professor in Computer Science, University of Verona
Dario Della Monica
University of Udine (Italy)
Paolo Fiorini
Professor of Computer Science, University of Verona
Riccardo Muradore
Department of Computer Science, University of Verona
Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Pierluigi Nuzzo
EECS Department, University of California, Berkeley
