OS
151
Publications
4,195
Citations
31
h-index
67
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (68)
- Book Chapter (63)
- Book (7)
- Preprint (7)
- Report (3)
Filter by Open Access Type
- Open Access (41)
- Closed Access (110)
Filter by Authors
- Ofer Strichman (151)
- Daniel Kroening (39)
- Sagar Chaki (13)
- Hana Chockler (12)
- Joël Ouaknine (9)
Filter by Topics
- Formal Methods in Verification (89)
- Logic, programming, and type systems (47)
- Software Testing and Debugging Techniques (37)
- Logic, Reasoning, and Knowledge (26)
- Software Reliability and Analysis Research (23)