BE
105
Publications
2,297
Citations
19
h-index
34
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (58)
- Book Chapter (24)
- Preprint (17)
- Book (4)
- Other (2)
Filter by Open Access Type
- Open Access (49)
- Closed Access (56)
Filter by Authors
- Bor-Yuh Evan Chang (105)
- Xavier Rival (23)
- Sriram Sankaranarayanan (12)
- Sergio Mover (10)
- Manu Sridharan (10)
Filter by Topics
- Logic, programming, and type systems (42)
- Software Testing and Debugging Techniques (39)
- Software Engineering Research (36)
- Formal Methods in Verification (30)
- Advanced Malware Detection Techniques (16)