Search the dblp DataBase

Publications of Author

1. 
   Solving Parity Games in Practice. [Citation Graph (, )][DBLP]
   
   
2. 
   A Decision Procedure for CTL^* Based on Tableaux and Automata. [Citation Graph (, )][DBLP]
   
   
3. 
   An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it. [Citation Graph (, )][DBLP]
   
   
4. 
   A Super-Polynomial Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it [Citation Graph (, )][DBLP]
   
   
5. 
   Local Strategy Improvement for Parity Game Solving [Citation Graph (, )][DBLP]
   
   
6. 
   A Solver for Modal Fixpoint Logics. [Citation Graph (, )][DBLP]