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

1,108

H-index

18

i10-index

28

Publications

20

Co-authors

54

list available

Contact

No contact links provided.

Publications

1 items

Practical Exploration of Polyhedral Model Checking

2025

Cited

0

Resume (English only)

Co-authors

54 total

Vincenzo Ciancia

Joost-Pieter Katoen

Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente