Scholar

Alessandro Cimatti

Google Scholar ID: lbZ6n5IAAAAJ

Fondazione Bruno Kessler

Formal VerificationModel CheckingSMTAutomated PlanningFDIR

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

25,751

H-index

67

i10-index

212

Publications

20

Co-authors

66

list available

Contact

No contact links provided.

Publications

1 items

Verification of Configurable SRA Systems

2026

Cited

0

Resume (English only)

Co-authors

66 total

University of Trento - Department of Information Engineering and Computer Science

Stefano Tonetta

Fondazione Bruno Kessler

Alberto Griggio

Researcher, Fondazione Bruno Kessler

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

Fausto Giunchiglia

Professor of Computer Science, Università di Trento