From Separation Logic to First-Order Logic. - Cristiano Calcagno; Philippa Gardner; Matthew Hague (FoSSaCS, 2005)

Winning Regions of Higher-Order Pushdown Games. - Arnaud Carayol; Matthew Hague; Antoine Meyer; C.-H. Luke Ong; Olivier Serre (LICS, 2008)

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. - Matthew Hague; C.-H. Luke Ong (Log. Methods Comput. Sci., 2008)

Winning Regions of Pushdown Parity Games: A Saturation Method. - Matthew Hague; C.-H. Luke Ong (CONCUR, 2009)

Saturation methods for global model-checking pushdown systems. - Matthew Hague (2009)

The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. - Matthew Hague; Anthony Widjaja To (FSTTCS, 2010)

Extended Computation Tree Logic. - Roland Axelsson; Matthew Hague; Stephan Kreutzer; Martin Lange; Markus Latte (LPAR (Yogyakarta), 2010)

Analysing Mu-Calculus Properties of Pushdown Systems. - Matthew Hague; C.-H. Luke Ong (SPIN, 2010)

Boom: Taking Boolean Program Model Checking One Step Further. - Gérard Basler; Matthew Hague; Daniel Kroening; C.-H. Luke Ong; Thomas Wahl; Haoxian Zhao (TACAS, 2010)

A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems - Matthew Hague; C.-H. Luke Ong (CoRR, 2010)

Model Checking Recursive Programs with Numeric Data Types. - Matthew Hague; Anthony Widjaja Lin (CAV, 2011)

Parameterised Pushdown Systems with Non-Atomic Writes. - Matthew Hague (FSTTCS, 2011)

A saturation method for the modal μ-calculus over pushdown systems. - Matthew Hague; C.-H. Luke Ong (Inf. Comput., 2011)

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. - Matthew Hague; Anthony Widjaja Lin (CAV, 2012)

A Saturation Method for Collapsible Pushdown Systems. - Christopher H. Broadbent; Arnaud Carayol; Matthew Hague; Olivier Serre (ICALP (2), 2012)

Saturation of Concurrent Collapsible Pushdown Systems. - Matthew Hague (FSTTCS, 2013)

C-SHORe: a collapsible approach to higher-order verification. - Christopher H. Broadbent; Arnaud Carayol; Matthew Hague; Olivier Serre (ICFP, 2013)

Senescent ground tree rewrite systems. - Matthew Hague (CSL-LICS, 2014)

Regular Strategies in Pushdown Reachability Games. - Arnaud Carayol; Matthew Hague (RP, 2014)

Saturation algorithms for model-checking pushdown systems. - Arnaud Carayol; Matthew Hague (AFL, 2014)

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. - Matthew Hague; Anthony Widjaja Lin; C.-H. Luke Ong (OOPSLA, 2015)

Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. - Matthew Hague; Jonathan Kochems; C.-H. Luke Ong (CoRR, 2015)

Annotated Stack Trees. - Matthew Hague; Vincent Penelle (CoRR, 2015)

Generating Concurrency Checks Automatically. - Jonathan Hoyland; Matthew Hague (FTfJP@ECOOP, 2016)

Unboundedness and downward closures of higher-order pushdown automata. - Matthew Hague; Jonathan Kochems; C.-H. Luke Ong (POPL, 2016)

Decidable models of integer-manipulating programs with recursive parallelism (technical report). - Matthew Hague; Anthony Widjaja Lin (CoRR, 2016)

Domains for Higher-Order Games. - Matthew Hague; Roland Meyer 001; Sebastian Muskalla (MFCS, 2017)

C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation. - Christopher H. Broadbent; Arnaud Carayol; Matthew Hague; Olivier Serre (CoRR, 2017)

Collapsible Pushdown Automata and Recursion Schemes. - Matthew Hague; Andrzej S. Murawski; C.-H. Luke Ong; Olivier Serre (ACM Trans. Comput. Log., 2017)

Optimal Strategies in Pushdown Reachability Games. - Arnaud Carayol; Matthew Hague (MFCS, 2018)

Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. - Matthew Hague; Roland Meyer 001; Sebastian Muskalla; Martin Zimmermann 002 (MFCS, 2018)

Constrained Dynamic Tree Networks. - Matthew Hague; Vincent Penelle (RP, 2018)

Emptiness of Stack Automata is NEXPTIME-complete: A Correction. - Christopher H. Broadbent; Arnaud Carayol; Matthew Hague; Olivier Serre (CoRR, 2018)

CSS Minification via Constraint Solving (Technical Report). - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (CoRR, 2018)

Report on BCTCS 2018. - Matthew Hague (Bull. EATCS, 2018)

What is decidable about string constraints with the ReplaceAll function. - Taolue Chen 001; Yan Chen; Matthew Hague; Anthony W. Lin; Zhilin Wu (Proc. ACM Program. Lang., 2018)

Decidable models of integer-manipulating programs with recursive parallelism. - Matthew Hague; Anthony W. Lin (Theor. Comput. Sci., 2018)

Decision procedures for path feasibility of string-manipulating programs with complex operations. - Taolue Chen 001; Matthew Hague; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2019)

Strings at MOSCA. - Matthew Hague (ACM SIGLOG News, 2019)

CSS Minification via Constraint Solving. - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (ACM Trans. Program. Lang. Syst., 2019)

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. - Taolue Chen 001; Matthew Hague; Jinlong He; Denghang Hu; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu (ATVA, 2020)

Monadic Decomposition in Integer Linear Arithmetic. - Matthew Hague; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (IJCAR (1), 2020)

Monadic Decomposition in Integer Linear Arithmetic (Technical Report). - Matthew Hague; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu (CoRR, 2020)

Preface. - Matthew Hague; Igor Potapov (Fundam. Informaticae, 2021)

Collapsible Pushdown Parity Games. - Christopher H. Broadbent; Arnaud Carayol; Matthew Hague; Andrzej S. Murawski; C.-H. Luke Ong; Olivier Serre (ACM Trans. Comput. Log., 2021)

Solving string constraints with Regex-dependent functions through transducers with priorities and variables. - Taolue Chen 001; Alejandro Flores-Lamas; Matthew Hague; Zhilei Han; Denghang Hu; Shuanglong Kan; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2022)

Parikh's Theorem Made Symbolic. - Matthew Hague; Artur Jez; Anthony W. Lin (Proc. ACM Program. Lang., 2024)

OSTRICH2: Solver for Complex String Constraints. - Matthew Hague; Denghang Hu; Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Zhilin Wu (CoRR, 2025)