Jonathan Kochems

Identifiers

• name variant Jonathan Kochems 0.60 · backfill

Papers (5)

1. Idiosyncrasies and challenges of data driven learning in electronic trading q-fin.TR · 2018 · author #4
2. Unboundedness and Downward Closures of Higher-Order Pushdown Automata cs.FL · 2015 · author #2
3. Decidable Models of Recursive Asynchronous Concurrency cs.LO · 2014 · author #1
4. Safety verification of asynchronous pushdown systems with shaped stacks cs.LO · 2014 · author #1
5. Automatic Verification of Erlang-Style Concurrency cs.PL · 2013 · author #2

Mentions

• 1507.03304 #2 · backfill · confidence 0.70 Jonathan Kochems
• 1410.8852 #1 · backfill · confidence 0.70 Jonathan Kochems
• 1401.6325 #1 · backfill · confidence 0.70 Jonathan Kochems
• 1303.2201 #2 · backfill · confidence 0.70 Jonathan Kochems

Frequent Coauthors

• C.-H. Luke Ong 3 shared papers
• C-H Luke Ong 1 shared papers
• Doo Re Song 1 shared papers
• Emanuele D'Osualdo 1 shared papers
• Matthew Hague 1 shared papers
• Tom Jin 1 shared papers
• Vacslav Glukhov 1 shared papers
• Vangelis Bacoyannis 1 shared papers