Concepedia
Statistics
Publications
12
Citations
451
H-Index
Active since
2008
Affiliations
University of Oxford(Current)
Royal Holloway University of London
Université Paris Cité
Centre National de la Recherche Scientifique
Laboratoire d'Informatique Algorithmique: Fondements et Applications
Matthew Hague is an author at University of Oxford specializing in computer science, computing, and automata theory.
Publications per year
2008–2022
Collapsible Pushdown Automata and Recursion Schemes
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong et al. · Proceedings - Symposium on Logic in Computer Science · 2008 · 147 citations
Computing, Computer Science, Algorithms +16
Decision procedures for path feasibility of string-manipulating programs with complex operations
Taolue Chen, Matthew Hague, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2019 · 79 citations · Full text
Computing, Computer Science, Formal Methods +13
What is decidable about string constraints with the ReplaceAll function
Taolue Chen, Yan Chen, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2017 · 44 citations · Full text
Computing, Computer Science, Programming Languages +12
Solving string constraints with Regex-dependent functions through transducers with priorities and variables
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2022 · 35 citations · Full text
Computing, Computer Science, Formal Methods +14
Unboundedness and downward closures of higher-order pushdown automata
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong · 2016 · 28 citations
Computing, Computer Science, Mathematics +17
1–5 of 12