D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 30 Citations 4,678 177 World Ranking 8812 National Ranking 14

Overview

What is he best known for?

The fields of study he is best known for:

  • Artificial intelligence
  • Algorithm
  • Programming language

His primary areas of study are Model checking, Theoretical computer science, Heuristic, Beam search and Incremental heuristic search. Model checking is a primary field of his research addressed under Algorithm. His study in Algorithm is interdisciplinary in nature, drawing from both Multiprocessing and Partially ordered set.

His Theoretical computer science research includes themes of Representation and State. His research on Heuristic concerns the broader Mathematical optimization. His Incremental heuristic search research incorporates themes from Heuristics and Database.

His most cited work include:

  • Planning with Pattern Databases (231 citations)
  • Directed explicit-state model checking in the validation of communication protocols (153 citations)
  • Directed explicit model checking with HSF-SPIN (152 citations)

What are the main themes of his work throughout his whole career to date?

His scientific interests lie mostly in Theoretical computer science, Model checking, Algorithm, Beam search and Artificial intelligence. His Theoretical computer science research incorporates elements of State space search, Graph, Set and State. His Model checking research is multidisciplinary, incorporating elements of Liveness and Asynchronous communication.

His research in Algorithm is mostly concerned with Search algorithm. His Beam search study results in a more complete grasp of Mathematical optimization. His study looks at the intersection of Incremental heuristic search and topics like Heuristic with Benchmark and Graph.

He most often published in these fields:

  • Theoretical computer science (32.61%)
  • Model checking (21.74%)
  • Algorithm (20.87%)

What were the highlights of his more recent work (between 2014-2019)?

  • Travelling salesman problem (4.78%)
  • Artificial intelligence (14.35%)
  • Set (9.13%)

In recent papers he was focusing on the following fields of study:

The scientist’s investigation covers issues in Travelling salesman problem, Artificial intelligence, Set, Tree and Model checking. In general Artificial intelligence, his work in Automated planning and scheduling and Motion planning is often linked to Trajectory and Game playing linking many areas of study. His Tree study integrates concerns from other disciplines, such as Adaptation and Benchmark.

He has included themes like Rotation formalisms in three dimensions, Management science and Asynchronous communication in his Model checking study. Stefan Edelkamp integrates many fields, such as Multiple sequence alignment and engineering, in his works. His work is dedicated to discovering how Theoretical computer science, Heuristics are connected with Search algorithm and other disciplines.

Between 2014 and 2019, his most popular works were:

  • Monte-Carlo Tree Search for Logistics (18 citations)
  • Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem (16 citations)
  • Optimizing Last Mile Delivery Using Public Transport with Multi-Agent Based Control (9 citations)

In his most recent research, the most cited papers focused on:

  • Artificial intelligence
  • Algorithm
  • Programming language

Stefan Edelkamp mostly deals with Tree, Travelling salesman problem, Beam search, Artificial intelligence and Theoretical computer science. While the research belongs to areas of Tree, Stefan Edelkamp spends his time largely on the problem of Motion planning, intersecting his research to questions surrounding Motion and Set. Stefan Edelkamp studies Beam search, namely Combinatorial search.

His work on Automated planning and scheduling and Heuristic as part of general Artificial intelligence research is frequently linked to Competition, bridging the gap between disciplines. His Theoretical computer science research is multidisciplinary, relying on both Best-first search, Similarity, Overhead and Benchmark. His biological study spans a wide range of topics, including Symbolic-numeric computation and Heuristics.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Planning with Pattern Databases

Stefan Edelkamp.
Sixth European Conference on Planning (2014)

388 Citations

Heuristic Search: Theory and Applications

Stefan Edelkamp;Stefan Schroedl;Sven Koenig.
(2011)

289 Citations

Directed explicit model checking with HSF-SPIN

Stefan Edelkamp;Alberto Lluch Lafuente;Stefan Leue.
international workshop on model checking software (2001)

246 Citations

Route planning and map inference with global positioning traces

Stefan Edelkamp;Stefan Schrödl.
Lecture Notes in Computer Science (2003)

242 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)

228 Citations

Time complexity of iterative-deepening-A

Richard E. Korf;Michael Reid;Stefan Edelkamp.
Artificial Intelligence (2001)

187 Citations

The deterministic part of IPC-4: an overview

Jörg Hoffmann;Stefan Edelkamp.
Journal of Artificial Intelligence Research (2005)

175 Citations

Incremental map generation with GPS traces

R. Bruntrup;S. Edelkamp;S. Jabbar;B. Scholz.
ieee intelligent transportation systems (2005)

159 Citations

MIPS: The Model-Checking Integrated Planning System

Stefan Edelkamp;Malte Helmert.
Ai Magazine (2001)

142 Citations

Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length

Stefan Edelkamp;Malte Helmert.
Lecture Notes in Computer Science (1999)

132 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Stefan Edelkamp

Jörg Hoffmann

Jörg Hoffmann

Saarland University

Publications: 58

Malte Helmert

Malte Helmert

University of Basel

Publications: 51

Robert C. Holte

Robert C. Holte

University of Alberta

Publications: 50

Ariel Felner

Ariel Felner

Ben-Gurion University of the Negev

Publications: 40

Maria Fox

Maria Fox

King's College London

Publications: 28

Derek Long

Derek Long

King's College London

Publications: 28

Carmel Domshlak

Carmel Domshlak

Technion – Israel Institute of Technology

Publications: 21

Subbarao Kambhampati

Subbarao Kambhampati

Arizona State University

Publications: 19

Richard E. Korf

Richard E. Korf

University of California, Los Angeles

Publications: 19

Hector Geffner

Hector Geffner

Pompeu Fabra University

Publications: 17

Jonathan Schaeffer

Jonathan Schaeffer

University of Alberta

Publications: 14

Michael Thielscher

Michael Thielscher

UNSW Sydney

Publications: 13

Yixin Chen

Yixin Chen

Washington University in St. Louis

Publications: 11

Sheila A. McIlraith

Sheila A. McIlraith

University of Toronto

Publications: 10

Maxim Likhachev

Maxim Likhachev

Carnegie Mellon University

Publications: 10

Benjamin W. Wah

Benjamin W. Wah

Chinese University of Hong Kong

Publications: 10

Trending Scientists

Haixun Wang

Haixun Wang

Instacart

Berthold Hahn

Berthold Hahn

Facebook (United States)

Hironobu Takizawa

Hironobu Takizawa

Olympus (Japan)

Tom W. Muir

Tom W. Muir

Princeton University

Kam W. Tang

Kam W. Tang

Swansea University

Amy L. Toth

Amy L. Toth

Iowa State University

Frédéric Bringaud

Frédéric Bringaud

University of Bordeaux

Naoki Sato

Naoki Sato

University of Tokyo

Baruch S. Blumberg

Baruch S. Blumberg

Fox Chase Cancer Center

Gabriella Campadelli-Fiume

Gabriella Campadelli-Fiume

University of Bologna

Seth G. John

Seth G. John

University of Southern California

Yi Chao

Yi Chao

University of California, Los Angeles

Paul Ginoux

Paul Ginoux

Geophysical Fluid Dynamics Laboratory

Kwangwook Cho

Kwangwook Cho

King's College London

Oliver James

Oliver James

University of Exeter

Pierre Kervella

Pierre Kervella

Université Paris Cité

Something went wrong. Please try again later.