Follow
Matthew Hague
Matthew Hague
Verified email at cs.rhul.ac.uk - Homepage
Title
Cited by
Cited by
Year
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008
1682008
From separation logic to first-order logic
C Calcagno, P Gardner, M Hague
Foundations of Software Science and Computational Structures: 8th …, 2005
772005
Decision procedures for path feasibility of string-manipulating programs with complex operations
T Chen, M Hague, AW Lin, P Rümmer, Z Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
712019
Model checking recursive programs with numeric data types
M Hague, AW Lin
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
602011
What is decidable about string constraints with the replaceall function
T Chen, Y Chen, M Hague, AW Lin, Z Wu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
532017
A saturation method for collapsible pushdown systems
C Broadbent, A Carayol, M Hague, O Serre
International Colloquium on Automata, Languages, and Programming, 165-176, 2012
452012
Winning regions of higher-order pushdown games
A Carayol, M Hague, A Meyer, CHL Ong, O Serre
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 193-204, 2008
442008
Symbolic backwards-reachability analysis for higher-order pushdown systems
M Hague, CHL Ong
Logical Methods in Computer Science 4, 2008
422008
Unboundedness and downward closures of higher-order pushdown automata
M Hague, J Kochems, CHL Ong
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
362016
C-shore: a collapsible approach to higher-order verification
C Broadbent, A Carayol, M Hague, O Serre
ACM SIGPLAN Notices 48 (9), 13-24, 2013
352013
Parameterised pushdown systems with non-atomic writes
M Hague
arXiv preprint arXiv:1109.6264, 2011
352011
Parameterised Pushdown Systems with Non-Atomic Writes
M Hague
Foundations of Software Technology and Theoretical Computer Science, 457-468, 2011
352011
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
302012
Solving string constraints with regex-dependent functions through transducers with priorities and variables
T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
272022
Winning regions of pushdown parity games: A saturation method
M Hague, CHL Ong
International Conference on Concurrency Theory, 384-398, 2009
242009
Analysing mu-calculus properties of pushdown systems
M Hague, CHL Ong
Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010
232010
Analysing mu-calculus properties of pushdown systems
M Hague, CHL Ong
Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010
232010
Collapsible pushdown automata and recursion schemes
M Hague, AS Murawski, CHL Ong, O Serre
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-42, 2017
222017
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach
M Hague, AW Lin, CHL Ong
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
222015
Extended computation tree logic
R Axelsson, M Hague, S Kreutzer, M Lange, M Latte
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
202010
The system can't perform the operation now. Try again later.
Articles 1–20