Stefan Edelkamp Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Optimal Symbolic Planning with Action Costs and Preferences. IJCAI 2009: 1690-1695
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kissmann, Stefan Edelkamp: Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game. KI 2009: 1-8
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Dietzfelbinger, Stefan Edelkamp: Perfect Hashing for State Spaces in BDD Representation. KI 2009: 33-40
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
2008
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Limits and Possibilities of BDDs in State Space Search. AAAI 2008: 1452-1453
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Ulrich Borowsky, Stefan Edelkamp: Optimal Metric Planning with State Sets in Automata Representation. AAAI 2008: 874-879
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Sanders, Pavel Simecek: Semi-external LTL Model Checking. CAV 2008: 530-542
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Kissmann, Stefan Edelkamp: Symbolic Classification of General Multi-Player Games. ECAI 2008: 905-906
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Symbolic Classification of General Two-Player Games. KI 2008: 185-192
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Partial Symbolic Pattern Databases for Optimal Sequential Planning. KI 2008: 193-200
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Limits and Possibilities of BDDs in State Space Search. KI 2008: 46-53
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Peter Kissmann: Scaling Search with Pattern Databases. MoChArt 2008: 49-64
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski: External Memory Search for Verification of Multi-threaded C++ Programs. KI 22(2): 44-50 (2008)
2007
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: Directed Model Checking, 26.04. - 29.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Alessio Lomuscio: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers Springer 2007
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDragan Bosnacki, Stefan Edelkamp: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings Springer 2007
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Blai Bonet: External Memory Value Iteration. ICAPS 2007: 128-135
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth Kahl, Stefan Edelkamp, Lars Hildebrand: Learning How to Play Hex. KI 2007: 382-396
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Kissmann: Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. KI 2007: 444-447
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Von Blocksworld bis zur Pipesworld. KI 21(1): 23-25 (2007)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Sauer, Stefan Edelkamp: 20 Jahre PuK. KI 21(1): 4 (2007)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Automated Planning: Theory and Practice. KI 21(1): 42-43 (2007)
2006
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar: Cost-Optimal External Planning. AAAI 2006
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. ECAI 2006: 841-842
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: On the Compilation of Plan Constraints and Preferences. ICAPS 2006: 374-377
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Automated Creation of Pattern Database Search Heuristics. MoChArt 2006: 35-50
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar: Real-Time Model Checking on Secondary Storage. MoChArt 2006: 67-83
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar: Large-Scale Directed Model Checking LTL. SPIN 2006: 1-18
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahid Jabbar, Stefan Edelkamp: Parallel External Directed Model Checking with Linear I/O. VMCAI 2006: 237-251
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar: Action Planning for Directed Model Checking of Petri Nets. Electr. Notes Theor. Comput. Sci. 149(2): 3-18 (2006)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg: Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. J. Artif. Intell. Res. (JAIR) 26: 453-541 (2006)
2005
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: External Symbolic Heuristic Search with Pattern Databases. ICAPS 2005: 51-60
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahid Jabbar, Stefan Edelkamp: I/O Efficient Directed Model Checking. VMCAI 2005: 313-329
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Geometric travel planning. IEEE Transactions on Intelligent Transportation Systems 6(1): 5-16 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Stefan Edelkamp: The Deterministic Part of IPC-4: An Overview. J. Artif. Intell. Res. (JAIR) 24: 519-579 (2005)
2004
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. KI 2004: 198-212
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Stefan Schrödl: External A*. KI 2004: 226-240
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
2003
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Schrödl: Route Planning and Map Inference with Global Positioning Traces. Computer Science in Perspective 2003: 128-151
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Accelerating Heuristic Search in Spatial Domains. PuK 2003
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Promela Planning. SPIN 2003: 197-212
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System. J. Artif. Intell. Res. (JAIR) 20: 195-238 (2003)
2002
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Symbolic Pattern Databases in Heuristic Search Planning. AIPS 2002: 274-283
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. AIPS Workshop on Planning for Temporal Domains 2002: 47-55
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Memory Limitations in Artificial Intelligence. Algorithms for Memory Hierarchies 2002: 233-250
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Peter Leven: Directed Automated Theorem Proving. LPAR 2002: 145-159
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System. PuK 2002
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Patrick Stiegeler: Implementing HEAPSORT with (n logn - 0.9n) and QUICKSORT with (n logn + 0.2n) Comparisons. ACM Journal of Experimental Algorithmics 7: 5 (2002)
2001
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Prediction of Regular Search Tree Growth by Spectral Analysis. KI/ÖGAI 2001: 154-168
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Ulrich Meyer: Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. KI/ÖGAI 2001: 169-184
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier: Finding Optimal Solutions to Atomix. KI/ÖGAI 2001: 229-243
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Malte Helmert: MIPS: The Model-Checking Integrated Planning System. AI Magazine 22(3): 67-72 (2001)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard E. Korf, Michael Reid, Stefan Edelkamp: Time complexity of iterative-deepening-A*. Artif. Intell. 129(1-2): 199-218 (2001)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
2000
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Stefan Schrödl: Localizing A*. AAAI/IAAI 2000: 885-890
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Patrick Stiegeler: Pushing the Limits in Sequential Sorting. Algorithm Engineering 2000: 39-50
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Heuristic Search Planning with BDDs. PuK 2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Ingo Wegener: On the Performance of WEAK-HEAPSORT. STACS 2000: 254-266
1999
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Malte Helmert: Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length. ECP 1999: 135-147
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Schrödl, Stefan Edelkamp: Inferring Flow of Control in Program Synthesis by Example. KI 1999: 171-182
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Reffel, Stefan Edelkamp: Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods 1999: 195-211
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Ingo Wegener: On the performance of WEAK-HEAPSORT Electronic Colloquium on Computational Complexity (ECCC) 6(28): (1999)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Datenstrukturen und Lernverfahren in der Zustandsraumsuche. KI 13(3): 49-51 (1999)
1998
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Richard E. Korf: The Branching Factor of Regular Search Spaces. AAAI/IAAI 1998: 299-304
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Updating Shortest Paths. ECAI 1998: 655-559
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp, Frank Reffel: OBDDs in Heuristic Search. KI 1998: 81-92
1997
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Edelkamp: Suffix Tree Automata in State Space Search. KI 1997: 381-384

Coauthor Index

1Husain Aljazzar [67]
2Marco Bakera [69]
3Jiri Barnat [73]
4Blai Bonet [60]
5Björn Ulrich Borowsky [76]
6Dragan Bosnacki [61] [67] [78]
7Lubos Brim [73]
8Martin Dietzfelbinger [79]
9Roman Englert [42]
10Ansgar Fehnker [67]
11Henning Fernau [18]
12Malte Helmert [9] [16]
13Lars Hildebrand [59]
14Jörg Hoffmann [37] [42]
15Falk Hüffner [18]
16Shahid Jabbar [30] [35] [38] [39] [41] [44] [45] [46] [47] [49] [54] [60] [64] [65] [68]
17Kenneth Kahl [59]
18Peter Kissmann [58] [68] [69] [70] [71] [72] [74] [77] [80] [81]
19Richard E. Korf [4] [15]
20Stefan Leue [14] [17] [22] [32] [33] [52] [53] [63]
21Peter Leven [24] [34]
22Frederico dos S. Liporace [42]
23Alberto Lluch-Lafuente [14] [17] [22] [32] [33] [41] [49]
24Alessio Lomuscio [62]
25Tilman Mehler [34] [43]
26Ulrich Meyer [19]
27Dino Midzic [64]
28Rolf Niedermeier [18]
29Frank Reffel [2] [7]
30Michael Reid [15]
31Clemens D. Renner [69]
32Daniel Rikowski [64]
33Peter Sanders [75]
34Jürgen Sauer [56]
35Stefan Schrödl [8] [13] [31] [35]
36Viktor Schuppan [67]
37Pavel Simecek [73] [75]
38Patrick Stiegeler [12] [21]
39Damian Sulewski [64] [65] [66] [73] [78]
40Sylvie Thiébaux [42]
41Sebastian Trüg [42]
42Willem Visser [52] [53] [63]
43Ingo Wegener [6] [10]
44Anton Wijs [67]
45Thomas Willhalm [30] [38]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)