Matthew Hague

74 papers A* 5A 3B 8Journal 43Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
A dynamic programming algorithm for the maximum s -club problem on trees.
Eur. J. Oper. Res.
José Alberto Fernández-Zepeda, Alejandro Flores-Lamas, Matthew Hague, Joel Antonio Trejo-Sánchez
2026 J jnl
General Decidability Results for Systems with Continuous Counters.
Proc. ACM Program. Lang.
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2026 J jnl
Synthesis and Verification of Transformer Programs.
CoRR
Hongjian Jiang, Matthew Hague, Philipp Rümmer, Anthony Widjaja Lin
2025 J jnl
General Decidability Results for Systems with Continuous Counters.
CoRR
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
2025 B conf
OSTRICH2: Solver for Complex String Constraints.
FMCAD
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025 J jnl
OSTRICH2: Solver for Complex String Constraints.
CoRR
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025 J jnl
The Power of Regular Constraint Propagation (Technical Report).
CoRR
Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2025 J jnl
The Power of Regular Constraint Propagation.
Proc. ACM Program. Lang.
Matthew Hague, Artur Jez, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer
2024 J jnl
Parikh's Theorem Made Symbolic.
Proc. ACM Program. Lang.
Matthew Hague, Artur Jez, Anthony W. Lin
2023 J jnl
Parikh's Theorem Made Symbolic.
CoRR
Matthew Hague, Artur Jez, Anthony W. Lin
2022 J jnl
Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Proc. ACM Program. Lang.
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2021 J jnl
Collapsible Pushdown Parity Games.
ACM Trans. Comput. Log.
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2021 J jnl
Preface.
Fundam. Informaticae
Matthew Hague, Igor Potapov
2021 J jnl
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
CoRR
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 B conf
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
ATVA
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 J jnl
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
CoRR
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 J jnl
Collapsible Pushdown Parity Games.
CoRR
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2020 J jnl
Monadic Decomposition in Integer Linear Arithmetic (Technical Report).
CoRR
Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 — conf
Monadic Decomposition in Integer Linear Arithmetic.
IJCAR (1)
Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019 J jnl
CSS Minification via Constraint Solving.
ACM Trans. Program. Lang. Syst.
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2019 J jnl
Decision procedures for path feasibility of string-manipulating programs with complex operations.
Proc. ACM Program. Lang.
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019 J jnl
Strings at MOSCA.
ACM SIGLOG News
Matthew Hague
2018 J jnl
CSS Minification via Constraint Solving (Technical Report).
CoRR
Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2018 — conf
Constrained Dynamic Tree Networks.
RP
Matthew Hague, Vincent Penelle
2018 J jnl
Decidable models of integer-manipulating programs with recursive parallelism.
Theor. Comput. Sci.
Matthew Hague, Anthony W. Lin
2018 J jnl
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations.
CoRR
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2018 J jnl
Emptiness of Stack Automata is NEXPTIME-complete: A Correction.
CoRR
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2018 B conf
Optimal Strategies in Pushdown Reachability Games.
MFCS
Arnaud Carayol, Matthew Hague
2018 B conf
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
MFCS
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018 J jnl
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.
CoRR
Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann
2018 J jnl
Report on BCTCS 2018.
Bull. EATCS
Matthew Hague
2018 J jnl
What is decidable about string constraints with the ReplaceAll function.
Proc. ACM Program. Lang.
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2017 J jnl
C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation.
CoRR
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2017 J jnl
Collapsible Pushdown Automata and Recursion Schemes.
ACM Trans. Comput. Log.
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2017 B conf
Domains for Higher-Order Games.
MFCS
Matthew Hague, Roland Meyer, Sebastian Muskalla
2017 J jnl
Domains for Higher-Order Games.
CoRR
Matthew Hague, Roland Meyer, Sebastian Muskalla
2017 — ed.
Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
RP
Matthew Hague, Igor Potapov
2017 J jnl
What Is Decidable about String Constraints with the ReplaceAll Function.
CoRR
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2016 — conf
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism.
RP
Matthew Hague, Anthony Widjaja Lin
2016 J jnl
Decidable models of integer-manipulating programs with recursive parallelism (technical report).
CoRR
Matthew Hague, Anthony Widjaja Lin
2016 — conf
Generating Concurrency Checks Automatically.
FTfJP@ECOOP
Jonathan Hoyland, Matthew Hague
2016 J jnl
Generating Concurrency Checks Automatically.
CoRR
Jonathan Hoyland, Matthew Hague
2016 A* conf
Unboundedness and downward closures of higher-order pushdown automata.
POPL
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
2015 J jnl
Annotated Stack Trees.
CoRR
Matthew Hague, Vincent Penelle
2015 A conf
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach.
OOPSLA
Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong
2015 J jnl
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata.
CoRR
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong
2014 J jnl
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach.
CoRR
Matthew Hague, Anthony Widjaja Lin, Luke Ong
2014 — conf
Regular Strategies in Pushdown Reachability Games.
RP
Arnaud Carayol, Matthew Hague
2014 — conf
Saturation algorithms for model-checking pushdown systems.
AFL
Arnaud Carayol, Matthew Hague
2014 — conf
Senescent ground tree rewrite systems.
CSL-LICS
Matthew Hague
2013 A conf
C-SHORe: a collapsible approach to higher-order verification.
ICFP
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2013 — conf
Saturation of Concurrent Collapsible Pushdown Systems.
FSTTCS
Matthew Hague
2013 J jnl
Saturation of Concurrent Collapsible Pushdown Systems.
CoRR
Matthew Hague
2013 J jnl
Senescent Ground Tree Rewrite Systems.
CoRR
Matthew Hague
2012 — conf
A Saturation Method for Collapsible Pushdown Systems.
ICALP (2)
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre
2012 A* conf
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.
CAV
Matthew Hague, Anthony Widjaja Lin
2011 J jnl
A saturation method for the modal μ-calculus over pushdown systems.
Inf. Comput.
Matthew Hague, C.-H. Luke Ong
2011 A* conf
Model Checking Recursive Programs with Numeric Data Types.
CAV
Matthew Hague, Anthony Widjaja Lin
2011 J jnl
Parameterised Pushdown Systems with Non-Atomic Writes
CoRR
Matthew Hague
2011 — conf
Parameterised Pushdown Systems with Non-Atomic Writes.
FSTTCS
Matthew Hague
2010 J jnl
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
CoRR
Matthew Hague, C.-H. Luke Ong
2010 — conf
Analysing Mu-Calculus Properties of Pushdown Systems.
SPIN
Matthew Hague, C.-H. Luke Ong
2010 A conf
Boom: Taking Boolean Program Model Checking One Step Further.
TACAS
Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao
2010 J jnl
Extended Computation Tree Logic
CoRR
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
2010 — conf
Extended Computation Tree Logic.
LPAR (Yogyakarta)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
2010 — conf
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems.
FSTTCS
Matthew Hague, Anthony Widjaja To
2009 — —
Saturation methods for global model-checking pushdown systems.
Matthew Hague
2009 B conf
Winning Regions of Pushdown Parity Games: A Saturation Method.
CONCUR
Matthew Hague, C.-H. Luke Ong
2008 A* conf
Collapsible Pushdown Automata and Recursion Schemes.
LICS
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre
2008 J jnl
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
CoRR
Matthew Hague, C.-H. Luke Ong
2008 J jnl
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.
Log. Methods Comput. Sci.
Matthew Hague, C.-H. Luke Ong
2008 A* conf
Winning Regions of Higher-Order Pushdown Games.
LICS
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre
2007 B conf
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.
FoSSaCS
Matthew Hague, C.-H. Luke Ong
2005 B conf
From Separation Logic to First-Order Logic.
FoSSaCS
Cristiano Calcagno, Philippa Gardner, Matthew Hague