AC
380
Publications
16,264
Citations
55
h-index
178
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (206)
- Book Chapter (143)
- Preprint (24)
- Dissertation (8)
- Book (4)
Filter by Open Access Type
- Open Access (158)
- Closed Access (230)
Filter by Authors
- Alessandro Cimatti (388)
- Stefano Tonetta (109)
- Marco Roveri (94)
- Alberto Griggio (90)
- Marco Bozzano (62)
Filter by Topics
- Formal Methods in Verification (280)
- Model-Driven Software Engineering Techniques (92)
- Software Testing and Debugging Techniques (85)
- Logic, programming, and type systems (80)
- Software Reliability and Analysis Research (73)