Matthew Hague
Royal Holloway, University of London
H-index: 19
Europe-United Kingdom
Top articles of Matthew Hague
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Parikh’s Theorem Made Symbolic | Proceedings of the ACM on Programming Languages | Matthew Hague Artur Jeż Anthony W Lin | 2024/1/5 |
Solving string constraints with regex-dependent functions through transducers with priorities and variables | Proceedings of the ACM on Programming Languages | Taolue Chen Alejandro Flores-Lamas Matthew Hague Zhilei Han Denghang Hu | 2022/1/11 |
Collapsible pushdown parity games | ACM Transactions on Computational Logic (TOCL) | Christopher H Broadbent Arnaud Carayol Matthew Hague Andrzej S Murawski C-H Luke Ong | 2021/7/22 |
Monadic Decomposition in Integer Linear Arithmetic (Technical Report) | arXiv preprint arXiv:2004.12371 | Matthew Hague Anthony Widjaja Lin Philipp Rümmer Zhilin Wu | 2020/4/26 |
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 | 2020/10/12 |