CT

Cesare Tinelli

University of Iowa 0000-0002-6726-775X

207

Publications

8,227

Citations

40

h-index

98

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (93)
Book Chapter (76)
Preprint (23)
Other (7)
Report (4)

Filter by Open Access Type

Open Access (87)
Closed Access (119)

Filter by Authors

Cesare Tinelli (206)
Clark Barrett (82)
Andrew Reynolds (71)
Haniel Barbosa (22)
Aina Niemetz (17)

Filter by Topics

Formal Methods in Verification (116)
Logic, programming, and type systems (110)
Logic, Reasoning, and Knowledge (58)
Software Testing and Debugging Techniques (37)
Model-Driven Software Engineering Techniques (21)