| 2025 | FMCAD | OSTRICH2: Solver for Complex String Constraints. | Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu |
| 2020 | ATVA | A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rmmer, Zhilin Wu |
| 2020 | CADE | Monadic Decomposition in Integer Linear Arithmetic. | Matthew Hague, Anthony W. Lin, Philipp Rmmer, Zhilin Wu |
| 2018 | MFCS | Optimal Strategies in Pushdown Reachability Games. | Arnaud Carayol, Matthew Hague |
| 2018 | MFCS | Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. | Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann |
| 2017 | MFCS | Domains for Higher-Order Games. | Matthew Hague, Roland Meyer, Sebastian Muskalla |
| 2016 | ECOOP | Generating Concurrency Checks Automatically. | Jonathan Hoyland, Matthew Hague |
| 2016 | POPL | Unboundedness and downward closures of higher-order pushdown automata. | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
| 2015 | OOPSLA | Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. | Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong |
| 2014 | CSL | Senescent ground tree rewrite systems. | Matthew Hague |
| 2013 | ICFP | C-SHORe: a collapsible approach to higher-order verification. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2012 | CAV | Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. | Matthew Hague, Anthony Widjaja Lin |
| 2012 | ICALP | A Saturation Method for Collapsible Pushdown Systems. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2011 | CAV | Model Checking Recursive Programs with Numeric Data Types. | Matthew Hague, Anthony Widjaja Lin |
| 2010 | LPAR | Extended Computation Tree Logic. | Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte |
| 2010 | TACAS | Boom: Taking Boolean Program Model Checking One Step Further. | Grard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao |
| 2009 | CONCUR | Winning Regions of Pushdown Parity Games: A Saturation Method. | Matthew Hague, C.-H. Luke Ong |
| 2008 | LICS | Winning Regions of Higher-Order Pushdown Games. | Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre |
| 2008 | LICS | Collapsible Pushdown Automata and Recursion Schemes. | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
| 2007 | FOSSACS | Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. | Matthew Hague, C.-H. Luke Ong |
| 2005 | FOSSACS | From Separation Logic to First-Order Logic. | Cristiano Calcagno, Philippa Gardner, Matthew Hague |