Automatic Verification of Erlang-Style Concurrency von D’Osualdo, Emanuele, Kochems, Jonathan, Ong, C. -H. Luke

Volltext

Limit Order Book dynamics and order size modelling using Compound Hawkes Process von Jain, Konark, Firoozye, Nick, Kochems, Jonathan, Treleaven, Philip

Volltext

No Tick-Size Too Small: A General Method for Modelling Small Tick Limit Order Books von Jain, Konark, Muzy, Jean-François, Kochems, Jonathan, Bacry, Emmanuel

Volltext bestellen

Limit Order Book Simulations: A Review von Jain, Konark, Firoozye, Nick, Kochems, Jonathan, Treleaven, Philip

Volltext bestellen

Limit Order Book Dynamics and Order Size Modelling Using Compound Hawkes Process von Jain, Konark, Firoozye, Nick, Kochems, Jonathan, Treleaven, Philip

Volltext bestellen

No Tick-Size Too Small: A General Method for Modelling Small Tick Limit Order Books von Jain, Konark, Jean-François Muzy, Kochems, Jonathan, Bacry, Emmanuel

Volltext

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks von Kochems, Jonathan, Ong, C. -H. Luke

Volltext

Limit Order Book Dynamics and Order Size Modelling Using Compound Hawkes Process von Jain, Konark, Firoozye, Nick, Kochems, Jonathan, Treleaven, Philip

Volltext

Limit Order Book Simulations: A Review von Jain, Konark, Firoozye, Nick, Kochems, Jonathan, Treleaven, Philip

Volltext

Unboundedness and downward closures of higher-order pushdown automata von Hague, Matthew, Kochems, Jonathan, Ong, C.-H. Luke

Volltext

Idiosyncrasies and challenges of data driven learning in electronic trading von Bacoyannis, Vangelis, Glukhov, Vacslav, Jin, Tom, Kochems, Jonathan, Song, Doo Re

Volltext bestellen

Decidable Models of Recursive Asynchronous Concurrency von Kochems, Jonathan, Ong, C. -H. Luke

Volltext bestellen

Safety verification of asynchronous pushdown systems with shaped stacks von Kochems, Jonathan, Ong, C-H Luke

Volltext bestellen

Unboundedness and Downward Closures of Higher-Order Pushdown Automata von Hague, Matthew, Kochems, Jonathan, Ong, C. -H. Luke

Volltext bestellen

Decidable Models of Recursive Asynchronous Concurrency von Kochems, Jonathan, C -H Luke Ong

Volltext

Idiosyncrasies and challenges of data driven learning in electronic trading von Bacoyannis, Vangelis, Glukhov, Vacslav, Jin, Tom, Kochems, Jonathan, Doo Re Song

Volltext

Safety verification of asynchronous pushdown systems with shaped stacks von Kochems, Jonathan, C-H, Luke Ong

Volltext

Unboundedness and Downward Closures of Higher-Order Pushdown Automata von Hague, Matthew, Kochems, Jonathan, C -H Luke Ong

Volltext

Automatic Verification of Erlang-Style Concurrency von D'Osualdo, Emanuele, Kochems, Jonathan, C -H Luke Ong

Volltext