CT
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)