2008 |
5 | EE | Arnaud Carayol,
Matthew Hague,
Antoine Meyer,
C.-H. Luke Ong,
Olivier Serre:
Winning Regions of Higher-Order Pushdown Games.
LICS 2008: 193-204 |
4 | EE | Matthew Hague,
Andrzej S. Murawski,
C.-H. Luke Ong,
Olivier Serre:
Collapsible Pushdown Automata and Recursion Schemes.
LICS 2008: 452-461 |
3 | EE | Matthew Hague,
C.-H. Luke Ong:
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
CoRR abs/0811.1103: (2008) |
2007 |
2 | EE | Matthew Hague,
C.-H. Luke Ong:
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.
FoSSaCS 2007: 213-227 |
2005 |
1 | EE | Cristiano Calcagno,
Philippa Gardner,
Matthew Hague:
From Separation Logic to First-Order Logic.
FoSSaCS 2005: 395-409 |