| Automatic verification of Erlang-style concurrency E D’Osualdo, J Kochems, CHL Ong Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 80 | 2013 |
| Deep hedging: hedging derivatives under generic market frictions using reinforcement learning H Buehler, L Gonon, J Teichmann, B Wood, B Mohan, J Kochems Swiss Finance Institute Research Paper, 2019 | 55 | 2019 |
| Unboundedness and downward closures of higher-order pushdown automata M Hague, J Kochems, CHL Ong Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 36 | 2016 |
| Idiosyncrasies and challenges of data driven learning in electronic trading V Bacoyannis, V Glukhov, T Jin, J Kochems, DR Song arXiv preprint arXiv:1811.09549, 2018 | 31 | 2018 |
| Soter: an automatic safety verifier for Erlang E D'Osualdo, J Kochems, L Ong Proceedings of the 2nd edition on Programming systems, languages and …, 2012 | 21 | 2012 |
| Improved functional flow and reachability analyses using indexed linear tree grammars J Kochems, CH Ong 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 21 | 2011 |
| Safety verification of asynchronous pushdown systems with shaped stacks J Kochems, CHL Ong CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 13 | 2013 |
| Dynamic calibration of order flow models with generative adversarial networks F Prenzel, R Cont, M Cucuringu, J Kochems Proceedings of the third acm international conference on ai in finance, 446-453, 2022 | 6 | 2022 |
| Verification of asynchronous concurrency and the shaped stack constraint J Kochems University of Oxford, 2014 | 5 | 2014 |
| Decidable models of recursive asynchronous concurrency J Kochems, CHL Ong arXiv preprint arXiv:1410.8852, 2014 | 3 | 2014 |
| Approximating reachable terms of functional programs J Kochems University of Oxford MMathsCompSc thesis, 2010 | 3 | 2010 |
| Limit Order Book Simulation with Generative Adversarial Networks R Cont, M Cucuringu, J Kochems, F Prenzel Available at SSRN 4512356, 2023 | 2 | 2023 |
| Verifying Erlang-style concurrency automatically E D’Osualdo, J Kochems, CHL Ong Technical report, University of Oxford DCS Technical Report, 2011. http …, 2011 | 2 | 2011 |
| Limit Order Book Simulations: A Review K Jain, N Firoozye, J Kochems, P Treleaven arXiv preprint arXiv:2402.17359, 2024 | | 2024 |
| Limit Order Book Dynamics and Order Size Modelling Using Compound Hawkes Process K Jain, N Firoozye, J Kochems, P Treleaven arXiv preprint arXiv:2312.08927, 2023 | | 2023 |
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
