Davide Bresolin
Scholar

Davide Bresolin

Google Scholar ID: CFuzvnwAAAAJ
Università di Padova
Computer ScienceFormal MethodsHybrid SystemsTemporal Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,922
 
H-index
23
 
i10-index
53
 
Publications
20
 
Co-authors
33
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
33 total
Angelo Montanari
Angelo Montanari
Professor of Computer Science, Univ. of Udine
Guido Sciavicco
Guido Sciavicco
Universitá di Ferrara
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Pietro Sala
Pietro Sala
Associate Professor in Computer Science, University of Verona
Dario Della Monica
Dario Della Monica
University of Udine (Italy)
Co-author 7
Co-author 7
Paolo Fiorini
Paolo Fiorini
Professor of Computer Science, University of Verona