BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Broadbent:Christopher_H=

Contributed to:

CSL 20132013
ICFP 20132013
ICALP (2) 20122012
LICS 20102010
FOSSACS 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.