dblp.uni-trier.dewww.uni-trier.de

Matthew Hague

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Cristiano Calcagno [1]
2Arnaud Carayol [5]
3Philippa Gardner [1]
4Antoine Meyer [5]
5Andrzej S. Murawski [4]
6C.-H. Luke Ong [2] [3] [4] [5]
7Olivier Serre [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)