Stefan Edelkamp - Concepedia

Author

Stefan Edelkamp

Also Known As

Edelkamp Stefan, Edelkamp, S., Edelkamp, S. (Freiburg Univ. (Germany). Inst. fuer Informatik), Edelkamp, Stefan, Lomuscio, Alessio, S. Edelkamp, Stefan Edelkamp, Winands, Mark H. M.

323

Publications

Citations

H-Index

116

Concepts

All Affiliations

University of Bremen TU Dortmund University University of Freiburg Catholic University of America University of America

About

Stefan Edelkamp is an author at University of Bremen specializing in computer science, engineering, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	20	38	1.4K
2	Business	7	7	258
3	Health Sciences	5	5	78
4	Arts	1	1	25
5	Medicine	1	1	25

Stefan Edelkamp

Publications

Citations

H-Index

Page 1

	Year	Citations
Planning with Pattern Databases Stefan Edelkamp	2014	276
Directed explicit-state model checking in the validation of communication protocols Stefan Edelkamp, Stefan Leue, Alberto Lluch Lafuente International Journal on Software Tools for Technology Transfer Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisInformation Security	2004	168
Time complexity of iterative-deepening-A∗ Richard E. Korf, Michael F. Reid, Stefan Edelkamp Artificial Intelligence Computational Complexity TheoryEngineeringComputational ComplexityTime ComplexityComputer Science	2001	139
The Deterministic Part of IPC-4: An Overview Jörg Hoffmann, Stefan Edelkamp Journal of Artificial Intelligence Research Artificial IntelligenceEngineeringGame TheoryDeterministic PlanningCryptographic Protocol	2005	137
Incremental map generation with GPS traces R. Bruntrup, Stefan Edelkamp, S. Jabbar, Location TrackingEngineeringGps TracesLocation EstimationLocalization	2005	113
Symbolic pattern databases in heuristic search planning Stefan Edelkamp Artificial IntelligenceEngineeringModel CheckingTask PlanningFormal Verification	2002	82
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Journal of Artificial Intelligence Research Mathematical ProgrammingArtificial IntelligenceEngineeringAppropriate BenchmarksSoftware Engineering	2006	56
On the compilation of plan constraints and preferences Stefan Edelkamp	2006	53
MIPS: The Model-Checking Integrated Planning System Stefan Edelkamp, Malte Helmert AI Magazine Artificial IntelligenceEngineeringVerificationModel CheckingIntelligent Systems	2001	48
Protocol verification with heuristic search Stefan Edelkamp, Alberto Lluch Lafuente, Stefan Leue IMT Institutional Repository (IMT School for Advanced Studies Lucca)	2001	42

Page 1