HJ
Himanshu Jain
0000-0003-4324-866663
Publications
10,268
Citations
18
h-index
23
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (34)
- Book Chapter (12)
- Preprint (11)
- Report (3)
- Book (1)
Filter by Open Access Type
- Open Access (28)
- Closed Access (35)
Filter by Authors
- Himanshu Jain (63)
- Edmund M. Clarke (11)
- Manik Varma (7)
- Daniel Kroening (6)
- Natasha Sharygina (5)
Filter by Topics
- Formal Methods in Verification (15)
- Software Testing and Debugging Techniques (11)
- Text and Document Classification Technologies (9)
- Logic, programming, and type systems (7)
- Topic Modeling (6)