| Incremental map generation with GPS traces R Bruntrup, S Edelkamp, S Jabbar, B Scholz Intelligent Transportation Systems, 2005. Proceedings. 2005 IEEE, 574-579, 2005 | 167 | 2005 |
| Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Naizih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006 | 77 | 2006 |
| Large-scale directed model checking LTL S Edelkamp, S Jabbar International SPIN Workshop on Model Checking of Software, 1-18, 2006 | 67 | 2006 |
| External a* S Edelkamp, S Jabbar, S Schrödl KI 2004: Advances in Artificial Intelligence, 226-240, 2004 | 55 | 2004 |
| Parallel external directed model checking with linear I/O S Jabbar, S Edelkamp International Workshop on Verification, Model Checking, and Abstract …, 2006 | 51 | 2006 |
| Geometric travel planning S Edelkamp, S Jabbar, T Willhalm IEEE Transactions on Intelligent Transportation Systems 6 (1), 5-16, 2005 | 49 | 2005 |
| Cost-algebraic heuristic search S Edelkamp, S Jabbar, AL Lafuente PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (3), 1362, 2005 | 46 | 2005 |
| Action planning for directed model checking of Petri nets S Edelkamp, S Jabbar Electronic Notes in Theoretical Computer Science 149 (2), 3-18, 2006 | 38 | 2006 |
| Heuristic search for the analysis of graph transition systems S Edelkamp, S Jabbar, AL Lafuente International Conference on Graph Transformation, 414-429, 2006 | 34 | 2006 |
| MIPS-XXL: Featuring external shortest path search for sequential optimal plans and external branch-and-bound for optimal net benefit S Edelkamp, S Jabbar Proc. 2008 International Planning Competition, Sydney, Australia, 2008 | 24 | 2008 |
| I/O efficient directed model checking S Jabbar, S Edelkamp International Workshop on Verification, Model Checking, and Abstract …, 2005 | 24 | 2005 |
| Cost-optimal external planning S Edelkamp, S Jabbar PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 821, 2006 | 21 | 2006 |
| Costoptimal planning with constraints and preferences in large state spaces S Edelkamp, S Jabbar, M Nazih International Conference on Automated Planning and Scheduling (ICAPS …, 2006 | 18 | 2006 |
| External memory value iteration S Edelkamp, S Jabbar, B Bonet Dekanat Informatik, Univ., 2007 | 16 | 2007 |
| On constructing a base map for collaborative map generation and its application in urban mobility planning M Drozdzynski, S Edelkamp, A Gaubatz, S Jabbar, M Liebe IEEE Conference on Intelligent Transportation Systems, IEEE Press, 678-683, 2007 | 15 | 2007 |
| External memory algorithms for state space exploration in model checking and action planning S Jabbar | 11 | 2008 |
| Real-time model checking on secondary storage S Edelkamp, S Jabbar International Workshop on Model Checking and Artificial Intelligence, 67-83, 2006 | 9 | 2006 |
| Action planning for graph transition systems S Edelkamp, S Jabbar, A Lluch-Lafuente | 9 | 2005 |
| GPS-based navigation in static and dynamic environments S Jabbar Master's thesis, University of Freiburg, 2003 | 9 | 2003 |
| Scaling search with pattern databases S Edelkamp, S Jabbar, P Kissmann International Workshop on Model Checking and Artificial Intelligence, 49-64, 2008 | 7 | 2008 |
Edelkamp, StefanDepartment of Theor. Computer Science at Charles University and at FEL/CVUT in PragueVerified email at fel.cvut.cz
