Search the dblp DataBase

Publications of Author

1. Marc Benkert, Alexander Wolff, Florian Widmann
   The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation. [Citation Graph (0, 0)][DBLP]
   JCDCG, 2004, pp:16-28 [Conf]
   
2. Marc Benkert, Alexander Wolff, Florian Widmann, Takeshi Shirabe
   The minimum Manhattan network problem: Approximations and exact solutions. [Citation Graph (0, 0)][DBLP]
   Comput. Geom., 2006, v:35, n:3, pp:188-208 [Journal]
   
3. Pietro Abate, Rajeev Goré, Florian Widmann
   One-Pass Tableaux for Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   LPAR, 2007, pp:32-46 [Conf]
   
4. 
   An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. [Citation Graph (, )][DBLP]
   
   
5. 
   Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. [Citation Graph (, )][DBLP]
   
   
6. 
   Sound Global State Caching for ALC with Inverse Roles. [Citation Graph (, )][DBLP]
   
   
7. 
   An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability [Citation Graph (, )][DBLP]
   
   
8. 
   Optimal Tableaux for Propositional Dynamic Logic with Converse [Citation Graph (, )][DBLP]
   
   
9. 
   An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. [Citation Graph (, )][DBLP]