Login / Signup
Akhilesh Srikanth
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Computational Cost
Face Verification
Graph Theory
Top Venues
POPL
</>
Publications
</>
Akhilesh Srikanth
,
Burak Sahin
,
William R. Harris
Complexity verification using guided theorem enumeration.
POPL
(2017)