Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jonathan Kochems
conf.researchr.org general profile
POPL 2016 profile
SPLASH 2012 profile
Not registered as user yet
Name:
Jonathan Kochems
Affiliation:
Department of Computer Science, University of Oxford
Contributions
2016
POPL
Author of Unboundedness and Downward Closures of Higher-Order Pushdown Automata within the Research Papers-track
2012
AGERE
Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track
Share
x
Sun 1 Sep 11:13