Diego Latella
Scholar

Diego Latella

Google Scholar ID: QlfCJrQAAAAJ
Senior Researcher - CNR-ISTI Pisa (ret.)
Formal Methods in Computer Science - Formal Semantics - Logics
Google Scholar↗
Citations & Impact
All-time
Citations
4,510
 
H-index
35
 
i10-index
86
 
Publications
20
 
Co-authors
54
list available
Contact
No contact links provided.
Publications
2 items
Spatial Model Checking of Images via Minimised Models and Branching Bisimilarity
2026
Cited
0
Practical Exploration of Polyhedral Model Checking
2025
Cited
0
Resume (English only)
Co-authors
54 total
Mieke Massink
Mieke Massink
CNR-ISTI
Co-author 2
Co-author 2
Vincenzo Ciancia
Vincenzo Ciancia
ISTI-CNR
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Co-author 7
Co-author 7
Co-author 8
Co-author 8