| 2008 |
|---|
| 14 | EE | Stefan Edelkamp,
Shahid Jabbar,
Peter Kissmann:
Scaling Search with Pattern Databases.
MoChArt 2008: 49-64 |
| 13 | EE | Stefan Edelkamp,
Shahid Jabbar,
Damian Sulewski:
Distributed Verification of Multi-threaded C++ Programs.
Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008) |
| 2007 |
|---|
| 12 | | Stefan Edelkamp,
Shahid Jabbar,
Blai Bonet:
External Memory Value Iteration.
ICAPS 2007: 128-135 |
| 2006 |
|---|
| 11 | | Stefan Edelkamp,
Shahid Jabbar:
Cost-Optimal External Planning.
AAAI 2006 |
| 10 | EE | Stefan Edelkamp,
Shahid Jabbar,
Alberto Lluch-Lafuente:
Heuristic Search for the Analysis of Graph Transition Systems.
ICGT 2006: 414-429 |
| 9 | EE | Stefan Edelkamp,
Shahid Jabbar:
Real-Time Model Checking on Secondary Storage.
MoChArt 2006: 67-83 |
| 8 | EE | Stefan Edelkamp,
Shahid Jabbar:
Large-Scale Directed Model Checking LTL.
SPIN 2006: 1-18 |
| 7 | EE | Shahid Jabbar,
Stefan Edelkamp:
Parallel External Directed Model Checking with Linear I/O.
VMCAI 2006: 237-251 |
| 6 | EE | Stefan Edelkamp,
Shahid Jabbar:
Action Planning for Directed Model Checking of Petri Nets.
Electr. Notes Theor. Comput. Sci. 149(2): 3-18 (2006) |
| 2005 |
|---|
| 5 | | Stefan Edelkamp,
Shahid Jabbar,
Alberto Lluch-Lafuente:
Cost-Algebraic Heuristic Search.
AAAI 2005: 1362-1367 |
| 4 | EE | Shahid Jabbar,
Stefan Edelkamp:
I/O Efficient Directed Model Checking.
VMCAI 2005: 313-329 |
| 3 | EE | Stefan Edelkamp,
Shahid Jabbar,
Thomas Willhalm:
Geometric travel planning.
IEEE Transactions on Intelligent Transportation Systems 6(1): 5-16 (2005) |
| 2004 |
|---|
| 2 | EE | Stefan Edelkamp,
Shahid Jabbar,
Stefan Schrödl:
External A*.
KI 2004: 226-240 |
| 2003 |
|---|
| 1 | EE | Stefan Edelkamp,
Shahid Jabbar,
Thomas Willhalm:
Accelerating Heuristic Search in Spatial Domains.
PuK 2003 |
