| |
| 2007 | ||
|---|---|---|
| 4 | EE | Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46 |
| 3 | EE | Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007) |
| 2006 | ||
| 2 | EE | Marc Benkert, Alexander Wolff, Florian Widmann, Takeshi Shirabe: The minimum Manhattan network problem: Approximations and exact solutions. Comput. Geom. 35(3): 188-208 (2006) |
| 2004 | ||
| 1 | EE | Marc Benkert, Alexander Wolff, Florian Widmann: The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation. JCDCG 2004: 16-28 |
| 1 | Pietro Abate | [3] [4] |
| 2 | Marc Benkert | [1] [2] |
| 3 | Rajeev Goré | [3] [4] |
| 4 | Takeshi Shirabe | [2] |
| 5 | Alexander Wolff | [1] [2] |