bibliographer - Christopher Broadbent

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre [github]

Prefix Rewriting for Nested-words and Collapsible Pushdown Automata Christopher Broadbent [github]

Saturation-Based Model Checking of Higher-Order Recursion Schemes Christopher Broadbent Naoki Kobayashi [github]

C-SHORe: A Collapsible Approach to Higher-order Verification Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre [github]

Streamlining Collapsible Pushdown Systems and their Model-Checking Christopher Broadbent Naoki Kobayashi [github]

On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two Christopher Broadbent Stefan Gøller [github]

On Global Model Checking Trees Generated by Higher-Order Recursion Schemes Christopher Broadbent Luke Ong [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]