| * | 2009 |
|---|
| 7 | EE | Rajeev Goré,
Florian Widmann:
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.
CADE 2009: 437-452 |
| 6 | EE | Rajeev Goré,
Florian Widmann:
Sound Global State Caching for ALC with Inverse Roles.
TABLEAUX 2009: 205-219 |
| 5 | EE | Pietro Abate,
Rajeev Goré,
Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.
Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009) |
| 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 |
