Conrad Cotton-Barratt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2017
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ESOP | ML and Extended Branching VASS. | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |
| 2015 | FOSSACS | Fragments of ML Decidable by Nested Data Class Memory Automata. | Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong |
| 2015 | LATA | Weak and Nested Class Memory Automata. | Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong |