[TZI]  [Faculty 3, Mathematics/Computer Science]  [University of Bremen] 


Publications

Books

  1. Stefan Edelkamp. Algorithmic Intelligence - A Key Revenue Driver. Springer, 2017.
  2. Tristan Cazenave, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Mark Winnands, and Julian Togelius (Eds.) Computer Games. Communications in Computer and Information Science. Springer, 2016.
  3. Amanda Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, and Scott Sanner (Eds). International Conference on Automated Planning and Scheduling. AAAI Press, 2016.
  4. Stefan Edelkamp and Roman Bartak (Eds.). Symposium on Combinatorial Search. AAAI Press, 2014.
  5. Fahiem Baccus, Carmel Domshlak, Stefan Edelkamp and Malte Helmert (Eds.). International Conference on Automated Planning and Scheduling. AAAI Press, 2011.
  6. Stefan Edelkamp and Stefan Schroedl. Heuristic Search: Theory and Practice. Morgan Kaufmann. 2012.
  7. Joscha Bach and Stefan Edelkamp (Eds.). KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on Artificial Intelligence (KI). Springer, Lecture Notes in Artificial Intelligence, 2011.
  8. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software (SPIN). Springer, Lecture Notes in Computer Science, volume 4595, 2007.
  9. Stefan Edelkamp and Alessio Lomuscio (Eds.). Model Checking and Artificial Intelligence (MOCHART). Springer, Lecture Notes in Artificial Intelligence, volume 4428, 2007.
  10. Stefan Edelkamp. Heuristic Search. Habilitation. Computer Science Department, University of Freiburg, 2003. [pdf, abstract, bib]
  11. Stefan Edelkamp, Data Structures and Learning Algorithms in State Space Search. Dissertation, University of Freiburg, 1999. [pdf, abstract, bib] AKA, DISKI, Volume 201, 1999.
  12. Stefan Edelkamp. Weak-Heapsort, a Fast Sorting Algorithm. Master. Computer Science Department, University of Dortmund, 1996. [pdf, abstract, bib]

Bookchapters

  1. Stefan Edelkamp. External-Memory State Space Search. In Peter Sanders, Lasse Kliemann (Eds.) Algorithm Engineering on the Horizon. Springer, 2016.
  2. Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Humann, Otthein Herzog, and Michael Lawo. Monte-Carlo Tree Search in Logistics. In Uwe Clausen, Hanno Friedrich, Carina Thaller, Christiane Geiger (Eds), Commercial Transport, Springer, 2015, 427-440.
  3. Max Gath, Otthein Herzog, and Stefan Edelkamp. Autonomous, Adaptive, and Self-Organized Multiagent Systems for the Optimization of Decentralized Industrial Processes. In Joanna Kolodziej, Luis Correia, and Jose Manuel Molina (Eds.), Intelligent Agents in Data Intensive Computing, Springer, 2015
  4. Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Human, and Tobias Warden. PLaSMA Multiagent Simulation Last-Mile Connectivity Bangalore. In Otthein Herzog, Ulrich Glotzbach (Eds.), acatech (Deutsche Akademie der Technikwissenschaften) Materialien German Indian Partnership for IT-Systems, München/Berlin 2014, 129-185.
  5. Stefan Edelkamp and Francisco C. Pereira. Collaborative Map Generation - Survey and Architecture Proposal. In Urbanism on Track. Michiel Smit (Ed.), Delft University of Technology, Department of Urbanism, 2008.
  6. Stefan Edelkamp. Symbolic Search. In Encyclopedia of Artificial Intelligence. Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.), Idea Group Reference, 1549-1554, 2009. [pdf, abstract, bib]
  7. Stefan Edelkamp and Shahid Jabbar. Disk-based Search. In Encyclopedia of Artificial Intelligence. Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.), Idea Group Reference, 501-506, 2009. [pdf, abstract, bib]
  8. Stefan Edelkamp and Stefan Schroedl. Route Planning and Map Inference with Global Positioning Traces. In Computer Science in Perspective, Rolf Klein, Hans-Werner Six, and Lutz Wegner (Eds.), Lecture Notes in Computer Science, Springer Volume 2598, pages 128-151, 2003. [pdf, abstract, bib]
  9. Stefan Edelkamp. Memory Limitation in Artificial Intelligence. In Memory Hierarchies. Peter Sanders, Ulrich Meyer, and Jop Sibeyn (Eds.), Lecture Notes in Computer Science, Springer Volume 2625, pages 233-250, 2003. [pdf, abstract, bib]
  10. Stefan Edelkamp. Contributor to Dictionary of Computer Science, Engineering and Technology. Phillip A. Laplante (Ed.), CRC Press, 2001.
  11. Stefan Edelkamp. New Exploration Avenues. In Informatik 2000, Kurt Mehlhorn and Georg Snelting (Eds.), Springer, pages 65-77, 2000.

Journal Articles

  1. Stefan Edelkamp, Mihai Pomarlan, Erion Plaku. Multi-Region Inspection by Combining Clustered Traveling Salesman Tours with Sampling-Based Motion Planning. Submitted.
  2. Alvaro Toralba, Vidal Alcazar, Peter Kissmann, and Stefan Edelkamp. Efficient Symbolic Search for Cost-Optimal Planning. Submitted.
  3. Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen. Heap Construction - 50 Years Later. Submitted.
  4. Alessandro Cimatti, Stefan Edelkamp and Daniele Magazzeni. Model Checking and Planning - A Neverending Liason. Submitted.
  5. Erion Plaku, Sarah Rashidian, Stefan Edelkamp. Multi-Group motion planning in virtual environments. Computer Animation and Virtual Worlds, 2016.
  6. Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Symbolic discrete-time planning with continuous numeric action parameters for agent-controlled processes. Mechatronics, 2015.
  7. Alberto Lluch-Lafuente, Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.) Proceedings Third Workshop on GRAPH Inspection and Traversal Engineering. EPTCS, 2015.
  8. Max Gath, Stefan Edelkamp, and Herzog Otthein. Agent-Based Dispatching in Groupage Traffic. Journal of Artificial Intelligence and Soft Computing Research. Volume 3, number 2, 2013.
  9. Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.) Proceedings Second Workshop on GRAPH Inspection and Traversal Engineering. EPTCS.
  10. Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen. Weak-heaps engineered. Journal of Discrete Algorithms, Volume 23, pages 83-97, 2013.
  11. Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.) Proceedings First Workshop on GRAPH Inspection and Traversal Engineering. EPTCS 99.
  12. Stefan Edelkamp, Peter Kissmann, and Alvaro Torralba Arias de Reyna. Lex-Partitioning: A New Option for BDD Search. Electronic Proceedings in Theoretical Computer Science, Volume 99, 2012.
  13. Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen. The weak-heap data structure: Variants and applications. Journal of Discrete Algorithms. Volume 16, pages 187-205, 2012.
  14. Stefan Edelkamp and Peter Kissmann. Gamer, a General Game Playing Agent. Künstliche Intelligenz. Volume 25, number 1, pages 49-52, 2011.
  15. Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, and Anton Wijs. Parallel probabilistic model checking on general purpose graphics processors). International Journal on Software Tools for Technology. Volume 13, number 1, pages 21-35, 2010.
  16. Dragan Bosnacki and Stefan Edelkamp. Model Checking Software - On New Waves and Some Evergreens. International Journal on Software Tools for Technology. Volume 12, number 2, pages 89-95. 2010.
  17. Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brimb and P. Simecek. Flash Memory Efficient LTL Model Checking. Science of Computer Programming. Volume 76, number 2, pages 136-157, 2011.
  18. Stefan Edelkamp, Shahid Jabbar and Damian Sulewski. Distributed Verification of Multi-threaded C++ Programs. Electronic Notes in Theoretical Computer Science (ENTS). Volume 198, number 1, pages 33-46, 2008.
  19. Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, and Damian Sulewski. External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intelligenz. Volume 2, pages 44-50, 2008.
  20. Stefan Edelkamp. From Blocksworld to Pipesworld. Künstliche Intelligenz. Volume 1, pages 23-25, 2007.
  21. Stefan Edelkamp. Automated Planning: Theory and Practice. Künstliche Intelligenz. Volume 1, pages 42-43, 2007.
  22. Joerg Hoffmann, Stefan Edelkamp, Roman Englert, Frederico Liporace, Sylvie Thiebaux, and Sebastian Trueg. Engineering Benchmarks for Planning: The Domains used in the Deterministic Part of IPC-4. Journal of Artificial Intelligence Research, Volume 26, pages 453-541, 2006.
  23. Joerg Hoffmann and Stefan Edelkamp. The Deterministic Part of IPC-4: An Overview. Journal of Artificial Intelligence Research. Volume 24, pages 519. 579, 2005.
  24. Tilman Mehler and Stefan Edelkamp. Dynamic Incremental Hashing in Program Model Checking. Electronic Notes in Theoretical Computer Science. Volume 149, number 2, pages 3-18, 2005.
  25. Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets. Electronic Notes in Theoretical Computer Science. Volume 149, number 2, pages 51-69, 2005.
  26. Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel Planning. IEEE Transactions on Intelligent Transportation Systems. Volume 6, Number 1, pages 5 - 16, 2005.
  27. Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Partial Order Reduction and Trail Improvement in Directed Model Checking. International Journal on Software Tools for Technology. Volume 6, Number 4, pages 277 - 301, 2004.
  28. Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed Explicit- State Model Checking in the Validation of Communication Protocols. International Journal on Software Tools for Technology. Volume 5, Number 2-3, pages 247 - 267, 2004.
  29. Stefan Edelkamp. Taming Numbers and Duration in the Model Checking Integrated Planning System. Journal of Artificial Intelligence Research. Volume 20, pages 195-238, 2003.
  30. Stefan Edelkamp and Patrick Stiegeler. Implementing HEAPSORT with n log n. 0.9n and QUICKSORT with n log n + 0.2n Comparisons. ACM Journal of Experimental Algorithmics. Volume 7, 2002.
  31. Richard E. Korf, Michael Reid, and Stefan Edelkamp. Time Complexity of Iterative-Deepening-A*. Journal of Artificial Intelligence. Volume 129, Number 1-2, pages 199-218, 2001.
  32. Stefan Edelkamp and Malte Helmert. The Model Checking Integrated Planning System. AI-Magazine, pages 67-71, 2001.
  33. Stefan Edelkamp. Data Structures and Learning Algorithms in State Space Search. Künstliche Intelligenz. Volume 3, pages 49-51, 1999.

Conference Papers


    2016
  1. Stefan Edelkamp. Deep or Wide? Learning Policy and Value Networks for Combinatorial Games. IJCAI-Workshop on Computers and Games (CGW), New York, 2016.
  2. Stefan Edelkamp and Fritz Jacob. Learning Event Time Series for the Automated Quality Control of Videos. German Conference on Artificial Intelligence (KI), Klagenfurt, 2016.
  3. Stefan Edelkamp, Christoph Greulich and Denis Golubev. Solving the Physical Vehicle Routing Problem for Improved Multi-Robot Freespace Navigation. German Conference on Artificial Intelligence (KI), Klagenfurt, 2016.
  4. Stefan Edelkamp and Tristan Cazenave. High Diversity Monte-Carlo Tree Search. German Conference on Artificial Intelligence (KI), Klagenfurt, 2016.
  5. Stefan Edelkamp and Armin Weiß. BlockQuicksort: Avoiding Branch Mispredictions in Quicksort. European Symposium on Algorithms (ESA), Aarhus, 2016.
  6. Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Symbolic discrete-time planning with continuous numeric action parameters for agent-controlled processes. Journal track. International Conference on Automated Planning and Scheduling (ICAPS), London, 2016.
  7. Stefan Edelkamp and Christoph Greulich. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. Model Checking of Software (SPIN), Eindhoven, 2016.
  8. Stefan Edelkamp and Christoph Greulich. Branch-and-Bound Optimization of a Multiagent System for Flow Production using Model Checking. International Conference on Agents and Artificial Intelligence (ICAART), Rome, 2016.
    2015
  9. Stefan Edelkamp, Christoph Greulich, Mihai Pomarlan, and Erion Plaku. Solving the Inspection Problem via Colored Traveling Salesman Tours. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Workshop on Task Planning for Intelligent Robots in Service and Manufacturing, Hamburg, 2015.
  10. Stefan Edelkamp and Paul Wichern. Packing Irregular-Shaped Objects via Sphere Trees for 3D Printing. German Conference on Artificial Intelligence (KI), Dresden, 2015.
  11. Christoph Greulich, Stefan Edelkamp, and Nils Eicke. Cyber-Physical Multiagent-Simulation in Production Logistics. German Conference on Multiagent System Technologies (MATES), Cottbus, pages 119-136, 2015.
  12. Kai-Oliver Detken, Stefan Edelkamp, Carsten Elfers, Malte Humann, Thomas Rix. Intelligent monitoring with background knowledge. IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS). Warsaw, 2015.
  13. Stefan Edelkamp, Max Gath, Christoph Greulich, Malte Humann, Otthein Herzog, Michael Lawo. Monte-Carlo Tree Search for Production and Logistics. International Conference on Production, Logistics and Traffic (ICPLT), Dortmund, 2015.
  14. Kai-Oliver Detken, Stefan Edelkamp, Carsten Elfers, Marcel Jahnke, and Malte Humann. Intelligentes Monitoring der IT - Sicherheit durch den Einsatz von SIEM. Conference on Security (DACH), Sankt Augustin, 2015.
  15. Stefan Edelkamp and Zhiaho Tang. Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem. Symposium on Combinatorial Search (SOCS), Ein Gedi, the Dead Sea, 2015.
  16. Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen. An In-Place Priority Queue with O(1) Time for Push and lg n + O(1) Comparisons for Pop. International Computer Science Symposium (CSR), Lake Balkal, 2015.
  17. Stefan Edelkamp, Peter Kissmann und Alvaro Torralba. BDDs Strike Back (in AI Planning). National Conference on Artificial Intelligence (AAAI). Austin Texas, 2015.
    2014
  18. Sara Rashidian, Erion Plaku and Stefan Edelkamp. Motion Planning with Rigid-Body Dynamics for Generalized Traveling Salesman Tours. 7th International ACM/SIGGRAPH Conference on Motion in Games (MIG), Los Angeles, 2014.
  19. Max Gath, Otthein Herzog, and Stefan Edelkamp. Autonomous and Flexible Multiagent Systems Enhance Transport Logistics. International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT), Melville (NY), 2014.
  20. Stefan Edelkamp, Max Gath, and Moritz Rohde. Monte-Carlo Tree Search for 3D Packing with Object Orientation. German Conference on Artificial Intelligence (KI), Stuttgart, 2014.
  21. Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Planning with Numeric Key Performance Indicators over Dynamic Organizations of Intelligent Agents. German Conference on Multiagent System Technologies (MATES), Stuttgart, 2014. [Best Paper]
  22. Stefan Edelkamp and Erion Plaku. Multi-Goal Motion Planning with Physics-based Game Engines. IEEE Conference on Computational Intelligence in Games (CIG), Dortmund, 2014.
  23. Stefan Edelkamp and Christoph Greulich. Solving Physical Traveling Salesman Problems with Policy Adaptation. IEEE Conference on Computational Intelligence in Games (CIG), Dortmund, 2014.
  24. Florian Pantke, Stefan Edelkamp, and Otthein Herzog. Combinatorial Planning with Numerical Parameter Optimization for Local Control in Multi-Agent Systems. Conference on System-Integrated Intelligence (SYSINT), Bremen, 2014.
  25. Stefan Edelkamp and Armin Weiss. QuickXsort: Efficient Sorting with n log n - 1.399n + o(n) Comparisons on Average. International Computer Science Symposium (CSR), Moscow, 2014.
  26. Stefan Edelkamp, Peter Kissmann, and Martha Rohte. Symbolic and Explicit Search Hybrid through Perfect Hash Functions - A Case Study in Connect Four. International Conference on Automated Planning and Scheduling (ICAPS), Portsmouth, New Hampshire, USA, 2014.
  27. Stefan Edelkamp and Max Gath. Solving Single-Vehicle Pickup-and-Delivery Problems with Time Windows and Capacity Constraints using Nested Monte-Carlo Search. International Conference on Agents and Artificial Intelligence (ICAART), Angers (Loire Valley), 2014. [Best Student Paper]
    2013
  28. Max Gath, Otthein Herzog, and Stefan Edelkamp. Agent-based Planning and Control for Groupage Traffic. International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT), Melville (NY), 2013.
  29. Martin Stommel, Stefan Edelkamp, Thiemo Wiedemeyer, and Michael Beetz. Fractal Approximate Nearest Neighbour Search in Log-Log Time. British Machine Vision Conference (BMVC). Bristol, 2013.
  30. Christoph Greulich, Stefan Edelkamp, and Max Gath. Agent-based Multimodal Transport Planning in Dynamic Environments. German Conference on Artificial Intelligence (KI). Konstanz, 2013.
  31. Carsten Elfers, Stefan Edelkamp, and Hartmut Messerschmidt. Conditional Random Fields and Background Knowledge for Improved Cyber Security. German Conference on Artificial Intelligence (KI). Konstanz, 2013.
  32. Stefan Edelkamp. Planning with Pattern Databases. European Conference on Planning (ECP), Toledo. 2001. [Influential Paper Award ICAPS-12, Reprint by AAAI Press, 2014]
  33. Stefan Bosse, Florian Pantke, and Stefan Edelkamp. Robot Manipulator with emergent Behaviour supported by a Smart Sensorial Material and Agent Systems. Smart Systems Integration - European Conference and Exhibition on Integration Issues of Miniaturized Systems (SSI), Amsterdam, 2013.
  34. Alvaro Torralba Arias de Reyna, Stefan Edelkamp, and Peter Kissmann, Transition Trees for Cost-Optimal Symbolic Planning. Conference on Automated Planning and Scheduling (ICAPS), Rome, 2013.
  35. Stefan Edelkamp, Max Gath, Tristan Cazenave, and Fabien Teytaud. Algorithm and Knowledge Engineering for the TSPTW Problem. IEEE Symposium Series on Computational Intelligence (SSCI), Singapore, 2013.
  36. Max Gath, Stefan Edelkamp, and Herzog Otthein. Agent-Based Dispatching in Groupage Traffic. IEEE Symposium Series on Computational Intelligence (SSCI) Singapore, 2013.
  37. Stefan Edelkamp, Christoph Greulich, Max Gath, Malte Human, Tobias Warden, TG Sitharam, and Otthein Herzog. Enhanced Shortest Path Computation for Multiagent-based Intermodal Transportation Planning in Dynamic Environments. International Conference on Agents and Artificial Intelligence (ICAART). Barcelona, pages 324-329, 2013.
  38. Stefan Edelkamp and Max Gath. Optimal Decision Making in Agent-based Autonomous Groupage Traffic. International Conference on Agents and Artificial Intelligence (ICAART). Barcelona, pages 248-254, 2013.
    2012
  39. Stefan Edelkamp, Tim Federnholzer, and Peter Kissmann. Searching with Belief State Subsets in General Games with Incomplete Information. German Conference on Artificial Intelligence (KI). Saarbrücken, pages 25-36, 2012.
  40. David Zastrau and Stefan Edelkamp. Stochastic Gradient Descent with GPGPU. German Conference on Artificial Intelligence (KI). Saarbrücken, pages 193-204, 2012.
  41. Stefan Edelkamp and Martin Stommel. The Bitvector Machine: A Fast and Robust Machine Learning Algorithm for Non-Linear, Multi-Clustered Problems. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD). Bristol, pages 175-190, 2012.
  42. Jingsen Chen, Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen. In-Place Heap Construction with Optimized Comparisons, Moves, and Cache Misses. International Symposium on Mathematical Foundations of Computer Science (MFCS). Bratislava, pages 259-270, 2012.
  43. Stefan Edelkamp, Peter Kissmann, Alvaro Torralba Arias de Reyna. Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction. European Conference on Artificial Intelligence (ECAI). Montpellier, pages 306-311, 2012.
  44. Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen. A Catalogue of Algorithms for Building Weak Heaps. International Workshop on Combinatorial Algorithms (IWOCA). Tamil Nadu, India, 2012.
  45. Carsten Elfers, Stefan Edelkamp, and Otthein Herzog. Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic. International Conference on Agents and Artificial Intelligence (ICAART). Vilamoura, pages 256-261, 2012.
  46. Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen. Weak-Heap Family of Priority Queues in Theory and Praxis. Computing: the Australasian Theory Symposium (CATS). Melburne, pages 103-112, 2012.
  47. Stefan Edelkamp, Amr Elmasry, and Jyrki Katajainen. Two Constant-Factor-Optimal Realizations of Adaptive Heapsort. International Workshop on Combinatorial Algorithms (IWOCA). Victoria, pages 195-208, 2011.
    2011
  48. Peter Kissmann and Stefan Edelkamp. Improving Cost-Optimal Domain-Independent Symbolic Planning. National Conference on Artificial Intelligence (AAAI). San Francisco, pages 992-997, 2011.
  49. Stefan Edelkamp and Peter Kissmann. On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. National Conference on Artificial Intelligence (AAAI). San Francisco, pages 18-23, 2011.
  50. Damian Sulewski, Stefan Edelkamp and Peter Kissmann. Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. International Conference on Automated Planning and Scheduling (ICAPS), Freiburg, pages 242-249, 2011.
    2010
  51. Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski and Anton Wijs. PRISM for General Purpose Graphics Processing Units. Parallel and Distributed Methods in Verification (PDMC). Twente-Enschede, 2010.
  52. Peter Kissmann and Stefan Edelkamp. Instantiating General Games using Prolog or Dependency Graphs. German Conference on Artificial Intelligence (KI). Karlsruhe, pages 255-262, 2010.
  53. Stefan Edelkamp and Hartmut Messerschmidt. Strongly Solving Fox-and-Geese on Multi-Core CPU. German Conference on Artificial Intelligence (KI). Karlsruhe, pages 291-298, 2010.
  54. Stefan Edelkamp and Damian Sulewski Efficient Explicit-State Model Checking on General Purpose Graphics Processors. Model Checking Software (SPIN), Enschede, pages 106-123, 2010.
  55. Peter Kissmann and Stefan Edelkamp. Layer-Abstraction for Symbolically Solving General Two-Player Games. Symposium on Combinatorial Search (SOCS). Stone Mountain, pages 63-70, 2010.
  56. Stefan Edelkamp, Damian Sulewski and Cengizhan Yucel. GPU Exploration of Two-Player Games with Perfect Hash Functions. Symposium on Combinatorial Search (SOCS). Stone Mountain, pages 23-30, 2010.
  57. Stefan Edelkamp and Damian Sulewski. External Memory BFS with Delayed Duplicate Detection on the GPU. Model Checking and Artificial Intelligence (MOCHART). Atlanta, pages 12-32, 2010.
  58. Stefan Edelkamp, Mark Kellershoff and Damian Sulewski. Action Planning for Automated Program Verification. Model Checking and Artificial Intelligence (MOCHART). Atlanta, pages 33-51, 2010.
  59. Asger Bruun, Stefan Edelkamp, Jyrki Katajainen and Jens Rasmussen. Policy-Based Benchmarking of Weak Heaps and Their Relatives. Symposium on Experimental Algorithms (SEA). Ischia Island, pages 424-435, 2010.
  60. Stefan Edelkamp, Damian Sulewski and Cengizhan Yucel. Perfect Hashing for State Space Exploration on the GPU. International Conference on Automated Planning and Scheduling (ICAPS). Toronto, pages 57-64, 2010. [Nominated to AI Journal Submission.]
  61. Jürgen Sauer, Stefan Edelkamp, and Bernd Schattenberg 24. PuK-Workshop. Multikonferenz Wirtschaftsinformatik. Göttingen, pages 477-478. 2010.
  62. Stefan Edelkamp, Peter Kissmann, Damian Sulewski and Hartmut Messerschmidt. Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. Multikonferenz Wirtschaftsinformatik. Göttingen, pages 253-255. 2010.
    2009
  63. Martin Dietzfelbinger and Stefan Edelkamp. Perfect Hashing for State Spaces in BDD Representation. German Conference on Artificial Intelligence (KI). Paderborn, pages 33-40, 2009.
  64. Stefan Edelkamp and Damian Sulewski. Parallel State Space Search on the GPU. Symposium on Combinatorial Search, Pasadena, 2009.
  65. Peter Kissmann and Stefan Edelkamp. Solving Fully-Observable Non-Deterministic Planning Problems via Translation into a General Game. German Conference on Artificial Intelligence (KI). Paderborn, pages 1-8, 2009.
  66. Dragan Bosnacki, Stefan Edelkamp and Damian Sulewski. Efficient Probabilistic Model Checking on General Purpose Graphics Processors. Model Checking Software (SPIN). Grenoble, pages 32-49, 2009.
  67. Stefan Edelkamp and Peter Kissmann. Optimal Symbolic Planning with Action Costs and Preferences. International Joint Conference on Articial Intelligence (IJCAI), Pasadena, pages 1690-1695, 2009.
    2008
  68. Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, and Husain Aljazzar. Survey on Directed Model Checking. Model Checking and Articial Intelligence (MOCHART), pages 65-89, 2008.
  69. Stefan Edelkamp and Damian Sulewski. Flash-Efficient LTL Model Checking with Minimal Counterexamples. Software Engineering and Formal Methods (SEFM). Cape Town, pages 73-82, 2008
  70. Jiri Barnat, Lubos Brim, Stefan Edelkamp, Pavel Simecek and Damian Sulewski. Can Flash Memory Help in Model Checking? Formal Methods for Industrial Critical Systems (FMICS). l'Aquila. pages 150-165, 2008.
  71. Stefan Edelkamp and Peter Kissmann. Limits and Possibilities of BDDs in State Space Search. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 46-53, 2008. [pdf, abstract, bib]
  72. Stefan Edelkamp and Peter Kissmann. Partial Symbolic Pattern Databases for Optimal Sequential Planning. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 193-200, 2008. [pdf, abstract, bib]
  73. Stefan Edelkamp and Peter Kissmann. Symbolic Classification of General Two-Player Games. German Conference on Artificial Intelligence (KI). Kaiserslautern, pages 185-192, 2008. [Outstanding Paper Award] [pdf, abstract, bib]
  74. Stefan Edelkamp and Peter Kissmann. Symbolic Classification of General Multi-Player Games. European Conference on Artificial Intelligence (ECAI). Patras, pages 905-906, 2008. [pdf, abstract, bib]
  75. Stefan Edelkamp, Peter Sanders, and Pavel Simecek. Semi-External LTL Model Checking. Conference on Computer Aided Verification (CAV). Princeton, pages 530-542, 2008. [pdf, abstract, bib]
  76. Björn Borowsky and Stefan Edelkamp. Optimal Metric Planning with State Sets in Automata Representation. National Conference on Artificial Intelligence (AAAI). Chicago, pages 874-879 2008. [pdf, abstract, bib]
  77. Stefan Edelkamp and Peter Kissmann. Limits and Possibilities of BDDs in State Space Search. National Conference on Artificial Intelligence (AAAI). Chicago, pages 1452-1453, 2008. [pdf, abstract, bib]
  78. Marco Bakera, Stefan Edelkamp, Peter Kissmann, and Clemens D. Renner. Solving mu-calculus Parity Games by Symbolic Planning. Model Checking and Artificial Intelligence (MOCHART). Patras, pages 15-33, 2008/2009.
  79. Stefan Edelkamp, Shahid Jabbar, and Peter Kissmann. Scaling Search with Symbolic Pattern Databases. Model Checking and Artificial Intelligence (MOCHART). Patras, pages 49-65, 2008/2009.
    2007
  80. Maik Drodzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, and Miguel Liebe. On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. International IEEE Conference on Intelligent Transportation Systems (ITSC). Seattle, pages 678-683, 2007. [pdf, abstract, bib]
  81. Stefan Edelkamp, Shahid Jabbar, and Damian Sulewski. Distributed Verification of Multi-threaded C++ Programs. Parallel and Distributed Methods in Verification (PDMC). Berlin, pages 33-48, 2007.
  82. Stefan Edelkamp, Shahid Jabbar, and Blai Bonet. External Memory Value Iteration. International Conference on Automated Planning and Scheduling (ICAPS). Providence, pages 128-135, 2007.
  83. Kenneth Kahl, Stefan Edelkamp, and Lars Hildebrand. Learning how to Play Hex. German Conference on Artificial Intelligence (KI). Osnabrueck, LNCS 4467, pages 382-396, 2007. [pdf, abstract, bib]
  84. Stefan Edelkamp and Peter Kissmann. Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. German Conference on Artificial Intelligence (KI). Osnabrueck, LNCS 4467, pages 444-447, 2007. [pdf, abstract, bib]
  85. Stefan Edelkamp and Shahid Jabbar. Real-Time Model Checking on Secondary Storage. Model Checking and Artificial Intelligence (MOCHART). Riva Del Garda, LNCS 4428, pages 68-84, 2007.
  86. Stefan Edelkamp. Automated Creation of Pattern Database Search Heuristics. Model Checking and Artificial Intelligence (MOCHART). Riva Del Garda, LNCS 4428, pages 36-51, 2007.
    2006
  87. Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Heuristic Search for the Analysis of Graph Transition Systems. International Conference on Graph Transformation (ICGT). Natal, LNCS 4178, pages 414-429, 2006.
  88. Stefan Edelkamp and Shahid Jabbar. Cost-Optimal External Planning. National Conference on Artificial Intelligence (AAAI). Boston, AAAI Press, pages 821-826, 2006. [pdf, abstract, bib]
  89. Stefan Edelkamp. Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. European Conference on Artificial Intelligence (ECAI). Riva Del Garda, IOS Press, pages 841-842, 2006.
  90. Stefan Edelkamp. On the Compilation of Plan Constraints and Preferences. International Conference on Automated Planning and Scheduling (ICAPS). The English Lake District, AAAI Press, pages 374-377, 2006.
  91. Stefan Edelkamp and Shahid Jabbar. Large-Scale Directed Model Checking LTL. Model Checking Software (SPIN). Vienna, LNCS 3925, pages 1.18, 2006.
  92. Shahid Jabbar and Stefan Edelkamp. Parallel External Directed Model Checking With Linear I/O. Verification, Model Checking and Abstract Interpretation (VMCAI). Charleston, LNCS 2855, pages 237-251, 2006.
    2005
  93. Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Cost-Algebraic Heuristic Search. National Conference on Artificial Intelligence (AAAI). Pittsburgh, AAAI Press, pages 1362-1367, 2005. [pdf, abstract, bib]
  94. Rene Bruentrup, Stefan Edelkamp, Shahid Jabbar, and Bjoern Scholz. Incremental Map Generation with GPS Traces. International IEEE Conference on Intelligent Transportation Systems (ITSC). Vienna, IEEE, 2005.
  95. Stefan Edelkamp. External Symbolic Heuristic Search with Pattern Databases. International Conference on Automated Planning and Scheduling (ICAPS). Monterey, AAAI Press, pages 51-60, 2005.
  96. Stefan Edelkamp and Tilman Mehler. Incremental Hashing for Pattern Databases. International Conference on Automated Planning and Scheduling (ICAPS). Monterey, AAAI Press, pages 17-20, 2005.
  97. Tilman Mehler and Stefan Edelkamp. Dynamic Incremental Hashing in Program Model Checking. Model Checking and Artificial Intelligence (MOCHART). San Francisco, 2005.
  98. Stefan Edelkamp and Shahid Jabbar. Directed Model Checking Petri Nets. Model Checking and Artificial Intelligence (MOCHART). San Francisco, 2005.
  99. Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente. Action Planning for Graph Transition Systems. Verification and Validation of Model-Based Planning and Scheduling Systems (VVPS). Monterey, AAAI Press, pages 58-66, 2005.
  100. Shahid Jabbar and Stefan Edelkamp. I/O Efficient Directed Model Checking. Verification, Model Checking and Abstract Interpretation (VMCAI). Paris, pages 313-329, 2005.
    2004
  101. Peter Leven, Tilman Mehler, and Stefan Edelkamp. Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. Model Checking Software (SPIN). Barcelona, pages 39-56, 2004.
  102. Stefan Edelkamp, Shahid Jabbar, and Stefan Schroedl. External A*. German Conference on Artificial Intelligence (KI). Ulm, pages 226-240, 2004. [pdf, abstract, bib]
  103. Stefan Edelkamp Generalizing the Relaxed Planning Heuristic to Non-Linear Tasks. German Conference on Artificial Intelligence (KI). Ulm, pages 198-212, 2004. [pdf, abstract, bib]
  104. Tilman Mehler and Stefan Edelkamp. Planning in Concurrent Multiagent Systems with the Assembly Model Checker StEAM. German Conference on Artificial Intelligence (KI). Ulm, pages 16-30, 2004. [pdf, abstract, bib]
    2003
  105. Stefan Edelkamp. Promela Planning. Model Checking Software (SPIN). Portland, pages 197-212, 2003.
  106. Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel Planning. International IEEE Conference on Intelligent Transportation Systems (ITSC). Shanghai, Volume 2, pages 12-15, 2003.
  107. Stefan Edelkamp and Tilman Mehler. Byte Code Distance Heuristics and Trail Direction for Model Checking Java Programs. Model Checking and Artificial Intelligence (MOCHART). Acapulco, pages 69-76, 2003.
    2002
  108. Alberto Lluch Lafuente, Stefan Edelkamp, and Stefan Leue. Partial Order Reduction in Directed Model Checking. Model Checking Software (SPIN). Grenoble, pages 112-127, 2002.
  109. Stefan Edelkamp. Symbolic Pattern Databases in Heuristic Search Planning. International Conference on AI Planning and Scheduling (AIPS). Toulouse, pages 274-293, 2002.
  110. Stefan Edelkamp and Peter Leven. Directed Automated Theorem Proving. Logic for Programming Artificial Intelligence and Reasoning (LPAR). Tbilissi, pages 145-159, 2002.
    2001
  111. Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue. Trail-Directed Model Checking. Software Model Checking (SoftMC). Paris. 2001.
  112. Stefan Edelkamp, Alberto Lluch-Lafuente, and Stefan Leue. Directed Explicit Model Checking with HSF-SPIN. Model Checking Software (SPIN). Toronto, pages 57-79, 2001.
  113. Stefan Edelkamp. Prediction of Regular Search Tree Growth by Spectral Analysis. German Conference on Artificial Intelligence (KI). Vienna, pages 154-168, 2001. [pdf, abstract, bib]
  114. Stefan Edelkamp and Ulrich Meyer. Theory and Practice of Time-Space Trade- Offs in Memory Limited Search. German Conference on Artificial Intelligence (KI). Vienna, pages 169-184, 2001. [pdf, abstract, bib]
  115. Falk Hueffner, Stefan Edelkamp, Henning Fernau, and Rolf Niedermeier. Finding Optimal Solutions to Atomix. German Conference on Artificial Intelligence (KI). Vienna, pages 229-243, 2001. [pdf, abstract, bib]
    2000
  116. Stefan Edelkamp and Ingo Wegener. On the Performance of Weak-Heapsort. Symposium on Theoretical Aspects of Computer Science (STACS). Lille, pages 254-265, 2000.
  117. Stefan Edelkamp and Stefan Schroedl. Localizing A*. National Conference on Artificial Intelligence (AAAI). Austin, Texas, pages 885-890, 2000. [pdf, abstract, bib]
    1999
  118. Stefan Edelkamp and Patrick Stiegeler. Pushing the Limits in Sequential Sorting. Algorithm Engineering (WAE). Saarbruecken, pages 39-50, 2000. Stefan Edelkamp and Malte Helmert. Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length. European Conference on Planning (ECP). Durham, pages 135-147, 1999.
  119. Frank Reffel and Stefan Edelkamp. Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods (FM). Toulouse, pages 195-211, 1999.
  120. Stefan Schroedl and Stefan Edelkamp. Inferring Flow of Control in Program Synthesis by Example. German Conference on Artificial Intelligence (KI). Bonn, pages 171-182, 1999. [pdf, abstract, bib]
  121. Stefan Edelkamp and Frank Reffel. Deterministic State Space Planning with BDDs. European Conference on Planning (ECP). Durham, pages 381-382, 1999.
    1998
  122. Stefan Edelkamp and Frank Reffel. OBDDs in Heuristic Search. German Conference on Artificial Intelligence (KI). Bremen, pages 81-92, 1998. [pdf, abstract, bib]
  123. Stefan Edelkamp. Updating Shortest Paths. European Conference on Artificial Intelligence (ECAI). Brighton, pages 655-659, 1998.
  124. Stefan Edelkamp and Richard E. Korf. The Branching Factor of Regular Search Spaces. National Conference on Artificial Intelligence (AAAI). Madison, pages 299-304, 1998. [pdf, abstract, bib]
    1997
  125. Stefan Edelkamp. Suffix Tree Automata in State Space Search. German Conference on Artificial Intelligence (KI). Freiburg, pages 381-385, 1997. [pdf, abstract, bib]
Publications