Travelled to:1 × Italy
1 × USA
3 × United Kingdom
Collaborated with:A.Carayol O.Serre C.L.Ong N.Kobayashi M.Hague ∅
Talks about:collaps (3) scheme (3) recurs (3) higher (3) order (3) pushdown (2) satur (2) model (2) check (2) automata (1)
Person: Christopher H. Broadbent
DBLP: Broadbent:Christopher_H=
Contributed to:
2013
2013
2012
2010
2009Wrote 6 papers:
- CSL-2013-BroadbentK #higher-order #model checking #recursion
- Saturation-Based Model Checking of Higher-Order Recursion Schemes (CHB, NK), pp. 129–148.
- ICFP-2013-BroadbentCHS #approach #higher-order #named #verification
- C-SHORe: a collapsible approach to higher-order verification (CHB, AC, MH, OS), pp. 13–24.
- ICALP-v2-2012-Broadbent #automaton
- Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata (CHB), pp. 153–164.
- ICALP-v2-2012-BroadbentCHS #automaton
- A Saturation Method for Collapsible Pushdown Systems (CHB, AC, MH, OS), pp. 165–176.
- LICS-2010-BroadbentCOS #logic #recursion
- Recursion Schemes and Logical Reflection (CHB, AC, CHLO, OS), pp. 120–129.
- FoSSaCS-2009-BroadbentO #higher-order #model checking #on the #recursion
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (CHB, CHLO), pp. 107–121.