Conrad Cotton-Barratt

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 2

Top Topics

Maximum Likelihood

Finite Automata

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States. ACM Trans. Program. Lang. Syst. 41 (2) (2019)
Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
ML and Extended Branching VASS. ESOP (2017)
Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
Fragments of ML Decidable by Nested Data Class Memory Automata. CoRR (2015)
Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong
Fragments of ML Decidable by Nested Data Class Memory Automata. FoSSaCS (2015)
Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
Weak and Nested Class Memory Automata. LATA (2015)
Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong
Weak and Nested Class Memory Automata. CoRR (2014)