Jonathan Kochems

According to our database, Jonathan Kochems authored at least 10 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Limit Order Book Dynamics and Order Size Modelling Using Compound Hawkes Process.

Konark Jain, Nick Firoozye, Jonathan Kochems, Philip C. Treleaven

CoRR, 2023

2022

Dynamic Calibration of Order Flow Models with Generative Adversarial Networks.

Felix Prenzel, Rama Cont, Mihai Cucuringu, Jonathan Kochems

Proceedings of the 3rd ACM International Conference on AI in Finance, 2022

2016

Unboundedness and downward closures of higher-order pushdown automata.

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Unboundedness and Downwards Closures of Higher-Order Pushdown Automata.

Matthew Hague, Jonathan Kochems, C.-H. Luke Ong

CoRR, 2015

2014

Verification of asynchronous concurrency and the shaped stack constraint.

Jonathan Kochems

PhD thesis, 2014

Decidable Models of Recursive Asynchronous Concurrency.

Jonathan Kochems, C.-H. Luke Ong

CoRR, 2014

2013

Automatic Verification of Erlang-Style Concurrency.

Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong

Proceedings of the Static Analysis - 20th International Symposium, 2013

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks.

Jonathan Kochems, C.-H. Luke Ong

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Soter: an automatic safety verifier for erlang.

Emanuele D'Osualdo, Jonathan Kochems, Luke Ong

Proceedings of the 2nd edition on Programming systems, 2012

2011

Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars.

Jonathan Kochems, C.-H. Luke Ong

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011