Edelkamp, Stefan

Cited by

	All	Since 2018
Citations	6881	1796
h-index	41	21
i10-index	128	44

420

210

105

315

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202345 76 87 167 185 251 288 297 327 391 283 341 409 312 342 409 411 374 349 319 311 347 334 136

Public access

View all

51 articles

8 articles

available

not available

Based on funding mandates

Co-authors

Shahid JabbarVideaHealth.ioVerified email at acm.org
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk
Damian SulewskiVerified email at tzi.de
Stefan LeueProfessor of Computer ScienceVerified email at uni-konstanz.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Stefan SchroedlAtomwise, IncVerified email at atomwise.com
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Jyrki KatajainenAcademic worker at the Institute of DalalogyVerified email at di.ku.dk
Otthein HerzogProfessor of Artificial Intelligence, Tongji University, Shanghai, and University of Bremen, GermanyVerified email at tzi.org
Álvaro TorralbaAalborg UniversityVerified email at cs.aau.dk
Amr ElmasryProfessor, Egypt University of Informatics and Alexandria UniversityVerified email at eui.edu.eg
Malte HelmertProfessor of Computer Science, University of BaselVerified email at unibas.ch
Erion PlakuAssociate Professor, Department of Computer Science, George Mason UniversityVerified email at gmu.edu
Richard E. KorfProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
Tristan CazenaveProfessor Université Paris-Dauphine PSL CNRSVerified email at lamsade.dauphine.fr
Ionut MoraruPost Doctoral Research Associate in Explainable AIVerified email at lincoln.ac.uk
Armin WeißUniversität Stuttgart, FMIVerified email at fmi.uni-stuttgart.de
Sylvie ThiebauxThe Australian National UniversityVerified email at anu.edu.au
Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.Verified email at jpmorgan.com

Edelkamp, Stefan

Computer Science & Artificial Intelligence Center Faculty of Electrical Engineering, CTU in Prague

Verified email at fel.cvut.cz - Homepage

Action Planning Heuristic Search Algorithm Engineering Model Checking IT-Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Planning with pattern databases S Edelkamp Proc. ECP 1, 13-24, 2001	415	2001
PDDL2. 2: The language for the classical part of the 4th international planning competition S Edelkamp, J Hoffmann Technical Report 195, University of Freiburg, 2004	346	2004
Heuristic search: theory and applications S Edelkamp, S Schrodl Elsevier, 2011	341	2011
Route planning and map inference with global positioning traces S Edelkamp, S Schrödl Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 128-151, 2003	263	2003
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001	251	2001
Directed explicit-state model checking in the validation of communication protocols S Edelkamp, S Leue, A Lluch-Lafuente International journal on software tools for technology transfer 5, 247-267, 2004	236	2004
Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001	203	2001
The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005	188	2005
Incremental map generation with GPS traces R Bruntrup, S Edelkamp, S Jabbar, B Scholz Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005., 574-579, 2005	162	2005
MIPS: The model-checking integrated planning system S Edelkamp, M Helmert AI magazine 22 (3), 57-57, 2001	153	2001
OBDDs in heuristic search S Edelkamp, F Reffel KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998	136	1998
Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002	133	2002
Exhibiting knowledge in planning problems to minimize state encoding length S Edelkamp, M Helmert Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000	133	2000
Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003	111	2003
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4 J Hoffmann, S Edelkamp, S Thiébaux, R Englert, F Liporace, S Trüg Journal of Artificial Intelligence Research 26, 453-541, 2006	83	2006
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	78	2002
SymBA: A symbolic bidirectional A planner A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp International Planning Competition, 105-108, 2014	77	2014
Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006	74	2006
On the Compilation of Plan Constraints and Preferences. S Edelkamp ICAPS, 374-377, 2006	70	2006
On the implementation of MIPS S Edelkamp, M Helmert AIPS-Workshop on Model-Theoretic Approaches to Planning, 18-25, 2000	69	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors