Alessandro Cimatti
Scholar

Alessandro Cimatti

Google Scholar ID: lbZ6n5IAAAAJ
Fondazione Bruno Kessler
Formal VerificationModel CheckingSMTAutomated PlanningFDIR
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,669
 
H-index
33
 
i10-index
113
 
Publications
20
 
Co-authors
66
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
66 total
Marco Roveri
Marco Roveri
University of Trento - Department of Information Engineering and Computer Science
Stefano Tonetta
Stefano Tonetta
Fondazione Bruno Kessler
Co-author 3
Co-author 3
Roberto Sebastiani
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Co-author 5
Co-author 5
Fausto Giunchiglia
Fausto Giunchiglia
Professor of Computer Science, Università di Trento
Co-author 7
Co-author 7
Co-author 8
Co-author 8