Christopher H. Broadbent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CSL | Saturation-Based Model Checking of Higher-Order Recursion Schemes. | Christopher H. Broadbent, Naoki Kobayashi |
| 2013 | ICFP | C-SHORe: a collapsible approach to higher-order verification. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2012 | ICALP | Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata. | Christopher H. Broadbent |
| 2012 | ICALP | A Saturation Method for Collapsible Pushdown Systems. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2012 | STACS | The Limits of Decidability for First Order Logic on CPDA Graphs. | Christopher H. Broadbent |
| 2010 | LICS | Recursion Schemes and Logical Reflection. | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
| 2009 | FOSSACS | On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. | Christopher H. Broadbent, C.-H. Luke Ong |