BibTeX records: Jonathan Kochems

download as .bib file

@article{DBLP:journals/corr/abs-2312-08927,
  author       = {Konark Jain and
                  Nick Firoozye and
                  Jonathan Kochems and
                  Philip C. Treleaven},
  title        = {Limit Order Book Dynamics and Order Size Modelling Using Compound
                  Hawkes Process},
  journal      = {CoRR},
  volume       = {abs/2312.08927},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.08927},
  doi          = {10.48550/ARXIV.2312.08927},
  eprinttype    = {arXiv},
  eprint       = {2312.08927},
  timestamp    = {Tue, 09 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-08927.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icaif/PrenzelCCK22,
  author       = {Felix Prenzel and
                  Rama Cont and
                  Mihai Cucuringu and
                  Jonathan Kochems},
  editor       = {Daniele Magazzeni and
                  Senthil Kumar and
                  Rahul Savani and
                  Renyuan Xu and
                  Carmine Ventre and
                  Blanka Horvath and
                  Ruimeng Hu and
                  Tucker Balch and
                  Francesca Toni},
  title        = {Dynamic Calibration of Order Flow Models with Generative Adversarial
                  Networks},
  booktitle    = {3rd {ACM} International Conference on {AI} in Finance, {ICAIF} 2022,
                  New York, NY, USA, November 2-4, 2022},
  pages        = {446--453},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3533271.3561777},
  doi          = {10.1145/3533271.3561777},
  timestamp    = {Tue, 25 Oct 2022 16:37:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icaif/PrenzelCCK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HagueKO16,
  author       = {Matthew Hague and
                  Jonathan Kochems and
                  C.{-}H. Luke Ong},
  editor       = {Rastislav Bod{\'{\i}}k and
                  Rupak Majumdar},
  title        = {Unboundedness and downward closures of higher-order pushdown automata},
  booktitle    = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2016, St. Petersburg,
                  FL, USA, January 20 - 22, 2016},
  pages        = {151--163},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2837614.2837627},
  doi          = {10.1145/2837614.2837627},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/HagueKO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/HagueKO15,
  author       = {Matthew Hague and
                  Jonathan Kochems and
                  C.{-}H. Luke Ong},
  title        = {Unboundedness and Downwards Closures of Higher-Order Pushdown Automata},
  journal      = {CoRR},
  volume       = {abs/1507.03304},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.03304},
  eprinttype    = {arXiv},
  eprint       = {1507.03304},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HagueKO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Kochems14,
  author       = {Jonathan Kochems},
  title        = {Verification of asynchronous concurrency and the shaped stack constraint},
  school       = {University of Oxford, {UK}},
  year         = {2014},
  url          = {http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Kochems14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/KochemsO14,
  author       = {Jonathan Kochems and
                  C.{-}H. Luke Ong},
  title        = {Safety verification of asynchronous pushdown systems with shaped stacks},
  journal      = {CoRR},
  volume       = {abs/1401.6325},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.6325},
  eprinttype    = {arXiv},
  eprint       = {1401.6325},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KochemsO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/KochemsO14a,
  author       = {Jonathan Kochems and
                  C.{-}H. Luke Ong},
  title        = {Decidable Models of Recursive Asynchronous Concurrency},
  journal      = {CoRR},
  volume       = {abs/1410.8852},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.8852},
  eprinttype    = {arXiv},
  eprint       = {1410.8852},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KochemsO14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/KochemsO13,
  author       = {Jonathan Kochems and
                  C.{-}H. Luke Ong},
  editor       = {Pedro R. D'Argenio and
                  Hern{\'{a}}n C. Melgratti},
  title        = {Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks},
  booktitle    = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
                  {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8052},
  pages        = {288--302},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40184-8\_21},
  doi          = {10.1007/978-3-642-40184-8\_21},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/KochemsO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/DOsualdoKO13,
  author       = {Emanuele D'Osualdo and
                  Jonathan Kochems and
                  C.{-}H. Luke Ong},
  editor       = {Francesco Logozzo and
                  Manuel F{\"{a}}hndrich},
  title        = {Automatic Verification of Erlang-Style Concurrency},
  booktitle    = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
                  WA, USA, June 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7935},
  pages        = {454--476},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38856-9\_24},
  doi          = {10.1007/978-3-642-38856-9\_24},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/DOsualdoKO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1303-2201,
  author       = {Emanuele D'Osualdo and
                  Jonathan Kochems and
                  C.{-}H. Luke Ong},
  title        = {Automatic Verification of Erlang-Style Concurrency},
  journal      = {CoRR},
  volume       = {abs/1303.2201},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.2201},
  eprinttype    = {arXiv},
  eprint       = {1303.2201},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-2201.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/agere/DOsualdoKO12,
  author       = {Emanuele D'Osualdo and
                  Jonathan Kochems and
                  Luke Ong},
  editor       = {Gul A. Agha and
                  Rafael H. Bordini and
                  Assaf Marron and
                  Alessandro Ricci},
  title        = {Soter: an automatic safety verifier for erlang},
  booktitle    = {Proceedings of the 2nd edition on Programming systems, languages and
                  applications based on actors, agents, and decentralized control abstractions,
                  AGERE! 2012, October 21-22, 2012, Tucson, Arizona, {USA}},
  pages        = {137--140},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2414639.2414658},
  doi          = {10.1145/2414639.2414658},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/agere/DOsualdoKO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/KochemsO11,
  author       = {Jonathan Kochems and
                  C.{-}H. Luke Ong},
  editor       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Improved Functional Flow and Reachability Analyses Using Indexed Linear
                  Tree Grammars},
  booktitle    = {Proceedings of the 22nd International Conference on Rewriting Techniques
                  and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
  series       = {LIPIcs},
  volume       = {10},
  pages        = {187--202},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.RTA.2011.187},
  doi          = {10.4230/LIPICS.RTA.2011.187},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/rta/KochemsO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.