BE

Bor-Yuh Evan Chang

Amazon (United States)0000-0002-1954-0774

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)