Concepedia

Stefan Edelkamp

SE

53

Publications

2K

Citations

24

H-Index

1966

Active since

Affiliations

University of Bremen(Current)

TU Dortmund University

University of Freiburg

Catholic University of America

University of America

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

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringFormal MethodsAutomated ReasoningCombinatorial OptimizationFormal VerificationComputational ComplexityPlanning

Publications per year

1966–2021

53

Publications

53

Planning with Pattern Databases

Stefan Edelkamp · 2014 · 276 citations

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 · 2004 · 168 citations · Full text

Formal Specification, Engineering, Automated Reasoning +12

Time complexity of iterative-deepening-A∗

Richard E. Korf, Michael F. Reid, Stefan Edelkamp · Artificial Intelligence · 2001 · 139 citations

Computational Complexity Theory, Engineering, Computational Complexity +2

The Deterministic Part of IPC-4: An Overview

Jörg Hoffmann, Stefan Edelkamp · Journal of Artificial Intelligence Research · 2005 · 137 citations · Full text

Artificial Intelligence, Engineering, Game Theory +22

Incremental map generation with GPS traces

R. Bruntrup, Stefan Edelkamp, S. Jabbar et al. · 2005 · 113 citations

Location Tracking, Engineering, Gps Traces +19

Rows per page

1–5 of 53