Jonathan Kochems

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 4

Top Topics

Probabilistic Automata

Anti Unification

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Konark Jain, Nick Firoozye, Jonathan Kochems, Philip C. Treleaven
Limit Order Book Dynamics and Order Size Modelling Using Compound Hawkes Process. CoRR (2023)
Felix Prenzel, Rama Cont, Mihai Cucuringu, Jonathan Kochems
Dynamic Calibration of Order Flow Models with Generative Adversarial Networks. ICAIF (2022)
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
Unboundedness and downward closures of higher-order pushdown automata. POPL (2016)
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. CoRR (2015)
Jonathan Kochems, C.-H. Luke Ong
Decidable Models of Recursive Asynchronous Concurrency. CoRR (2014)
Jonathan Kochems, C.-H. Luke Ong
Safety verification of asynchronous pushdown systems with shaped stacks. CoRR (2014)
Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
Automatic Verification of Erlang-Style Concurrency CoRR (2013)
Jonathan Kochems, C.-H. Luke Ong
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks. CONCUR (2013)
Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong
Automatic Verification of Erlang-Style Concurrency. SAS (2013)
Emanuele D'Osualdo, Jonathan Kochems, Luke Ong
Soter: an automatic safety verifier for erlang. AGERE!@SPLASH (2012)
Jonathan Kochems, C.-H. Luke Ong
Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars. RTA (2011)