Jonathan Kochems is an author at University of Oxford specializing in formal verification, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisComputational ComplexitySyntaxGrammar
Publications per year
2011–2023
4
4
Limit Order Book Simulation with Generative Adversarial Networks
Rama Cont, Mihai Cucuringu, Jonathan Kochems et al. · SSRN Electronic Journal · 2023 · 11 citations · Full text
Emanuele D’Osualdo, Jonathan Kochems, C.-H. Luke Ong · 2012 · 10 citations
Petri Net, Engineering, Verification +17
Rows per page
1–4 of 4