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