Edelkamp, Stefan

Cited by

	All	Since 2019
Citations	7466	2043
h-index	44	22
i10-index	140	53

460

230

115

345

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 75 82 172 182 244 302 286 347 385 280 337 409 310 337 394 414 368 363 332 324 344 345 441 253

Public access

View all

54 articles

12 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 Science, University of Konstanz, GermanyVerified email at uni-konstanz.de
Dragan Bosnackiassistant professor, Eindhoven University of TechnologyVerified email at tue.nl
Stefan SchroedlAtomwise, IncVerified email at atomwise.com
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verified email at cs.uni-saarland.de
Anton WijsAssociate Professor on Parallel Software Development 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
Erion PlakuProgram Director, National Science Foundation (NSF)Verified email at nsf.gov
Ionut MoraruPost Doctoral Research Associate in Intelligent Robotics and AIVerified email at lincoln.ac.uk
Malte HelmertProfessor of Computer Science, University of BaselVerified email at unibas.ch
Tristan CazenaveProfessor Université Paris Dauphine - PSL CNRSVerified email at lamsade.dauphine.fr
Armin WeißUniversität Stuttgart, FMIVerified email at fmi.uni-stuttgart.de
Santiago FrancoLecturer, Royal Holloway University of London (RHUL)Verified email at rhul.ac.uk
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseVerified email at anu.edu.au
Richard E. KorfProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu

Edelkamp, Stefan

Department of Theor. Computer Science at Charles University and at FEL/CVUT in Prague

Verified email at fel.cvut.cz - Homepage

Automated Planning Heuristic Search Algorithm Engineering Model Checking IT-Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Partial symbolic pattern databases for optimal sequential planning S Edelkamp, P Kissmann Annual Conference on Artificial Intelligence, 193-200, 2008	451	2008
Heuristic search: theory and applications S Edelkamp, S Schrödl Elsevier, 2011	370	2011
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	365	2004
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	277	2003
Directed explicit model checking with HSF-SPIN S Edelkamp, AL Lafuente, S Leue International SPIN Workshop on Model Checking of Software, 57-79, 2001	258	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	255	2004
Time complexity of iterative-deepening-A∗ RE Korf, M Reid, S Edelkamp Artificial Intelligence 129 (1-2), 199-218, 2001	209	2001
The deterministic part of IPC-4: An overview J Hoffmann, S Edelkamp Journal of Artificial Intelligence Research 24, 519-579, 2005	203	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	167	2005
MIPS: The model-checking integrated planning system S Edelkamp, M Helmert AI magazine 22 (3), 57-57, 2001	154	2001
OBDDs in heuristic search S Edelkamp, F Reffel KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998	151	1998
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	140	2000
Symbolic Pattern Databases in Heuristic Search Planning. S Edelkamp AIPS, 274-283, 2002	135	2002
Taming numbers and durations in the model checking integrated planning system S Edelkamp Journal of Artificial Intelligence Research 20, 195-238, 2003	112	2003
Partial order reduction in directed model checking A Lluch-Lafuente, S Edelkamp, S Leue Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002	92	2002
SymBA: A symbolic bidirectional A planner A Torralba, V Alcázar, D Borrajo, P Kissmann, S Edelkamp International Planning Competition, 105-108, 2014	89	2014
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	88	2006
On the Compilation of Plan Constraints and Preferences. S Edelkamp ICAPS, 374-377, 2006	77	2006
Large-scale optimal PDDL3 planning with MIPS-XXL S Edelkamp, S Jabbar, M Nazih 5th International Planning Competition Booklet (IPC-2006), 28-30, 2006	77	2006
Efficient symbolic search for cost-optimal planning Á Torralba, V Alcázar, P Kissmann, S Edelkamp Artificial Intelligence 242, 52-79, 2017	71	2017

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