Matthew Hague: Publications

Winning Regions of Pushdown Parity Games: A Saturation Method

M. Hague, C.-H. L. Ong

In CONCUR 2009.

To appear.

Details | BibTeX | Download (pdf)

Saturation Methods for Global Model-Checking Pushdown Systems

M. Hague

PhD Thesis, 2009.

Submitted Jan 2009, minor corrections May 2009.

Details | BibTeX | Download (pdf)

Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

M. Hague, C.-H. L. Ong

Logical Methods in Computer Science, Vol. 4. 2008.

Details | BibTeX | Link | DOI (10.2168/LMCS-4(4:14)2008)

Winning Regions of Higher-Order Pushdown Games

A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong, O. Serre

In LICS 2008.

Details | BibTeX

Collapsible Pushdown Automata and Recursion Schemes

M. Hague, A. S. Murawski, C.-H. L. Ong, O. Serre

In LICS 2008.

Details | BibTeX

Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems

M. Hague, C.-H. L. Ong

In FoSSaCS 2007.

Long Version (pdf)

Details | BibTeX | Download (pdf)

Automata, Model Checking and Synthesis for Linear Time Temporal Logics

Matthew Hague

2006.

DPhil. Transfer Thesis.

Details | BibTeX | Download (pdf)

From Separation Logic to First-Order Logic

C. Calcagno, P. Gardner, M. Hague

In FoSSaCS 2005.

Details | BibTeX | Download (pdf)

Distributed Games

Matthew Hague

2005.

Unpublished Survey Paper.

Details | BibTeX | Download (ps)

Static Checkers for Tree Structures and Heaps

M. Hague

Master's Thesis. Imperial College London, 2004.

Details | BibTeX | Download (pdf)