Search the dblp DataBase

Publications of Author

1. Stefan Edelkamp, Shahid Jabbar
   Cost-Optimal External Planning. [Citation Graph (0, 0)][DBLP]
   AAAI, 2006, pp:- [Conf]
   
2. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
   Cost-Algebraic Heuristic Search. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:1362-1367 [Conf]
   
3. Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente
   Heuristic Search for the Analysis of Graph Transition Systems. [Citation Graph (0, 0)][DBLP]
   ICGT, 2006, pp:414-429 [Conf]
   
4. Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl
   External A*. [Citation Graph (0, 0)][DBLP]
   KI, 2004, pp:226-240 [Conf]
   
5. Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
   Accelerating Heuristic Search in Spatial Domains. [Citation Graph (0, 0)][DBLP]
   PuK, 2003, pp:- [Conf]
   
6. Stefan Edelkamp, Shahid Jabbar
   Large-Scale Directed Model Checking LTL. [Citation Graph (0, 0)][DBLP]
   SPIN, 2006, pp:1-18 [Conf]
   
7. Shahid Jabbar, Stefan Edelkamp
   I/O Efficient Directed Model Checking. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2005, pp:313-329 [Conf]
   
8. Shahid Jabbar, Stefan Edelkamp
   Parallel External Directed Model Checking with Linear I/O. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:237-251 [Conf]
   
9. Stefan Edelkamp, Shahid Jabbar
   Action Planning for Directed Model Checking of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:3-18 [Journal]
   
10. Stefan Edelkamp, Shahid Jabbar
    Real-Time Model Checking on Secondary Storage. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:67-83 [Conf]
    
11. 
    External Memory Value Iteration. [Citation Graph (, )][DBLP]
    
    
12. 
    Scaling Search with Pattern Databases. [Citation Graph (, )][DBLP]
    
    
13. 
    Distributed Verification of Multi-threaded C++ Programs. [Citation Graph (, )][DBLP]