Search the dblp DataBase

Publications of Author

1. Cristiano Calcagno, Philippa Gardner, Matthew Hague
   From Separation Logic to First-Order Logic. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2005, pp:395-409 [Conf]
   
2. Matthew Hague, C.-H. Luke Ong
   Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2007, pp:213-227 [Conf]
   
3. 
   Winning Regions of Pushdown Parity Games: A Saturation Method. [Citation Graph (, )][DBLP]
   
   
4. 
   Collapsible Pushdown Automata and Recursion Schemes. [Citation Graph (, )][DBLP]
   
   
5. 
   Winning Regions of Higher-Order Pushdown Games. [Citation Graph (, )][DBLP]
   
   
6. 
   Boom: Taking Boolean Program Model Checking One Step Further. [Citation Graph (, )][DBLP]
   
   
7. 
   Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems [Citation Graph (, )][DBLP]
   
   
8. 
   Extended Computation Tree Logic [Citation Graph (, )][DBLP]
   
   
9. 
   A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems [Citation Graph (, )][DBLP]