Scholar
Diego Latella
Google Scholar ID: QlfCJrQAAAAJ
Senior Researcher - CNR-ISTI Pisa (ret.)
Formal Methods in Computer Science - Formal Semantics - Logics
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
4,510
H-index
35
i10-index
86
Publications
20
Co-authors
54
list available
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
Co-authors
9 total
Mieke Massink
CNR-ISTI
Vincenzo Ciancia
ISTI-CNR
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Maurice H. ter Beek
ISTI, CNR
Luca Bortolussi
Università di Trieste
Erik P. de Vink
Associate Professor, Eindhoven University of Technology
Gabriele Lenzini
Interdiscilplinary Centre for Security Reliability and Trust ( SNT) - University of Luxembourg
