Christopher H. Broadbent

Publications

132

Citations

H-Index

2010

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Paris Cité

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Laboratoire d'Informatique Gaspard-Monge

Technical University of Munich

Christopher H. Broadbent is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisLogic ProgrammingSoftware AnalysisSystems Engineering

Publications per year

2010–2013

Publications

Saturation-Based Model Checking of Higher-Order Recursion Schemes

Christopher H. Broadbent, Naoki Kobayashi · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 52 citations · Full text

Recursion Schemes and Logical Reflection

Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong et al. · 2010 · 44 citations

Tree Language, Reflective W.r.t, Engineering +14

C-SHORe

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague et al. · 2013 · 26 citations · Full text

Hors Model-checking, Formal Specification, Engineering +14

The Limits of Decidability for First Order Logic on CPDA Graphs

Christopher H. Broadbent · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 10 citations · Full text

Computational Logic, Engineering, Automated Reasoning +14

Rows per page

1–4 of 4