@inproceedings{HagueOng2009,
  author = "M. Hague and C.-H. L. Ong",
  booktitle = "CONCUR",
  note = "To appear.",
  title = "Winning Regions of Pushdown Parity Games: A Saturation Method",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'school' field
@phdthesis{HaguePhd2009,
  author = "M. Hague",
  note = "Submitted Jan 2009, minor corrections May 2009.",
  title = "Saturation Methods for Global Model-Checking Pushdown Systems",
  year = "2009",
}


    
      @article{HagueOng2008,
  author = "M. Hague and C.-H. L. Ong",
  doi = "10.2168/LMCS-4(4:14)2008",
  journal = "Logical Methods in Computer Science",
  title = "Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems",
  url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=363&layout=abstract",
  volume = "4",
  year = "2008",
}


    
      @inproceedings{CarHagMeyOngSer08,
  author = "A. Carayol, M. Hague, A. Meyer, C.-H. L. Ong and O. Serre",
  booktitle = "LICS",
  title = "Winning Regions of Higher-Order Pushdown Games",
  year = "2008",
}


    
      @inproceedings{HagMurOngSer08,
  author = "M. Hague, A. S. Murawski, C.-H. L. Ong and O. Serre",
  booktitle = "LICS",
  title = "Collapsible Pushdown Automata and Recursion Schemes",
  year = "2008",
}


    
      @inproceedings{HagueOng2007,
  author = "M. Hague and C.-H. L. Ong",
  booktitle = "FoSSaCS",
  note = "<a href="http://web.comlab.ox.ac.uk/people/Matthew.Hague/FoSSaCS07-long.pdf">Long Version (pdf)</a>",
  title = "Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems",
  year = "2007",
}


    
      @unpublished{Hague2006,
  author = "Matthew Hague",
  note = "DPhil. Transfer Thesis",
  title = "Automata, Model Checking and Synthesis for Linear Time Temporal Logics",
  year = "2006",
}


    
      @unpublished{Hague2005,
  author = "Matthew Hague",
  note = "Unpublished Survey Paper.",
  title = "Distributed Games",
  year = "2005",
}


    
      @inproceedings{CalcagnoGardnerHague2005,
  author = "C. Calcagno, P. Gardner and M. Hague",
  booktitle = "FoSSaCS",
  title = "From Separation Logic to First-Order Logic",
  year = "2005",
}


    
      @mastersthesis{Hague2004,
  author = "M. Hague",
  booktitle = "Static Checkers for Tree Structures and Heaps.",
  school = "Imperial College London",
  title = "Static Checkers for Tree Structures and Heaps",
  year = "2004",
}