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 | 170 | 2008 |

From separation logic to first-order logic C Calcagno, P Gardner, M Hague Foundations of Software Science and Computational Structures: 8th …, 2005 | 79 | 2005 |

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 | 77 | 2019 |

Model checking recursive programs with numeric data types M Hague, AW Lin Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 67 | 2011 |

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 | 55 | 2017 |

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 | 45 | 2012 |

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 | 44 | 2008 |

Symbolic backwards-reachability analysis for higher-order pushdown systems M Hague, CHL Ong Logical Methods in Computer Science 4, 2008 | 43 | 2008 |

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 | 39 | 2016 |

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 | 37 | 2022 |

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 | 35 | 2013 |

Synchronisation-and reversal-bounded analysis of multithreaded programs with counters M Hague, AW Lin Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 35 | 2012 |

Parameterised Pushdown Systems with Non-Atomic Writes M Hague Foundations of Software Technology and Theoretical Computer Science, 457-468, 2011 | 35 | 2011 |

Winning regions of pushdown parity games: A saturation method M Hague, CHL Ong International Conference on Concurrency Theory, 384-398, 2009 | 24 | 2009 |

A decision procedure for path feasibility of string manipulating programs with integer data type T Chen, M Hague, J He, D Hu, AW Lin, P Rümmer, Z Wu International Symposium on Automated Technology for Verification and …, 2020 | 23 | 2020 |

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 | 23 | 2015 |

Analysing mu-calculus properties of pushdown systems M Hague, CHL Ong Model Checking Software: 17th International SPIN Workshop, Enschede, The …, 2010 | 23 | 2010 |

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 | 22 | 2017 |

Boom: Taking Boolean Program Model Checking One Step Further G Basler, M Hague, D Kroening, CHL Ong, T Wahl, H Zhao International Conference on Tools and Algorithms for the Construction and …, 2010 | 19 | 2010 |

Extended computation tree logic R Axelsson, M Hague, S Kreutzer, M Lange, M Latte Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 19 | 2010 |