Stefan Edelkamp

	2012
109		Stefan Edelkamp, Stefan Schrödl: Heuristic Search - Theory and Applications. Academic Press 2012: I_XXIV, 1-836
108		Carsten Elfers, Stefan Edelkamp, Otthein Herzog: Efficient Tolerant Pattern Matching with Constraint Abstractions in Description Logic. ICAART (1) 2012: 256-261
	2011
107		Fahiem Bacchus, Carmel Domshlak, Stefan Edelkamp, Malte Helmert: Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011 AAAI 2011
106		Joscha Bach, Stefan Edelkamp: KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings Springer 2011
105		Peter Kissmann, Stefan Edelkamp: Improving Cost-Optimal Domain-Independent Symbolic Planning. AAAI 2011
104		Stefan Edelkamp, Peter Kissmann: On the Complexity of BDDs for State Space Search: A Case Study in Connect Four. AAAI 2011
103		Damian Sulewski, Stefan Edelkamp, Peter Kissmann: Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. ICAPS 2011
102		Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen: Two Constant-Factor-Optimal Realizations of Adaptive Heapsort. IWOCA 2011: 195-208
101		Stefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System CoRR abs/1107.0025: (2011)
100		Stefan Edelkamp, Jörg Hoffmann: The Deterministic Part of IPC-4: An Overview CoRR abs/1109.5663: (2011)
99		Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg: Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4 CoRR abs/1110.1016: (2011)
98		Peter Kissmann, Stefan Edelkamp: Gamer, a General Game Playing Agent. KI 25(1): 49-52 (2011)
97		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011)
96		Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)
	2010
95		Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: Perfect Hashing for State Space Exploration on the GPU. ICAPS 2010: 57-64
94		Peter Kissmann, Stefan Edelkamp: Instantiating General Games Using Prolog or Dependency Graphs. KI 2010: 255-262
93		Stefan Edelkamp, Hartmut Messerschmidt: Strongly Solving Fox-and-Geese on Multi-core CPU. KI 2010: 291-298
92		Stefan Edelkamp, Damian Sulewski: External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt 2010: 12-31
91		Stefan Edelkamp, Mark Kellershoff, Damian Sulewski: Program Model Checking via Action Planning. MoChArt 2010: 32-51
90		Asger Bruun, Stefan Edelkamp, Jyrki Katajainen, Jens Rasmussen: Policy-Based Benchmarking of Weak Heaps and Their Relatives, . SEA 2010: 424-435
89		Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: GPU Exploration of Two-Player Games with Perfect Hash Functions. SOCS 2010
88		Peter Kissmann, Stefan Edelkamp: Layer-Abstraction for Symbolically Solving General Two-Player Games. SOCS 2010
87		Stefan Edelkamp, Damian Sulewski: Efficient Explicit-State Model Checking on General Purpose Graphics Processors. SPIN 2010: 106-123
86		David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)
85		Dragan Bosnacki, Stefan Edelkamp: Model checking software: on some new waves and some evergreens. STTT 12(2): 89-95 (2010)
	2009
84		Stefan Edelkamp, Peter Kissmann: Optimal Symbolic Planning with Action Costs and Preferences. IJCAI 2009: 1690-1695
83		Peter Kissmann, Stefan Edelkamp: Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game. KI 2009: 1-8
82		Martin Dietzfelbinger, Stefan Edelkamp: Perfect Hashing for State Spaces in BDD Representation. KI 2009: 33-40
81		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
80		Stefan Edelkamp: Symbolic Search. Encyclopedia of Artificial Intelligence 2009: 1549-1554
79		Stefan Edelkamp, Shahid Jabbar: Disk-Based Search. Encyclopedia of Artificial Intelligence 2009: 501-506
	2008
78		Stefan Edelkamp, Peter Kissmann: Limits and Possibilities of BDDs in State Space Search. AAAI 2008: 1452-1453
77		Björn Ulrich Borowsky, Stefan Edelkamp: Optimal Metric Planning with State Sets in Automata Representation. AAAI 2008: 874-879
76		Stefan Edelkamp, Peter Sanders, Pavel Simecek: Semi-external LTL Model Checking. CAV 2008: 530-542
75		Peter Kissmann, Stefan Edelkamp: Symbolic Classification of General Multi-Player Games. ECAI 2008: 905-906
74		Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
73		Stefan Edelkamp, Peter Kissmann: Symbolic Classification of General Two-Player Games. KI 2008: 185-192
72		Stefan Edelkamp, Peter Kissmann: Partial Symbolic Pattern Databases for Optimal Sequential Planning. KI 2008: 193-200
71		Stefan Edelkamp, Peter Kissmann: Limits and Possibilities of BDDs in State Space Search. KI 2008: 46-53
70		Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner: Solving µ-Calculus Parity Games by Symbolic Planning. MoChArt 2008: 15-33
69		Stefan Edelkamp, Shahid Jabbar, Peter Kissmann: Scaling Search with Pattern Databases. MoChArt 2008: 49-64
68		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
67		Stefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82
66		Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008)
65		Stefan 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
64		Stefan Edelkamp, Stefan Leue, Willem Visser: Directed Model Checking, 26.04. - 29.04.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
63		Stefan 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
62		Dragan Bosnacki, Stefan Edelkamp: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings Springer 2007
61		Stefan Edelkamp, Shahid Jabbar, Blai Bonet: External Memory Value Iteration. ICAPS 2007: 128-135
60		Kenneth Kahl, Stefan Edelkamp, Lars Hildebrand: Learning How to Play Hex. KI 2007: 382-396
59		Stefan Edelkamp, Peter Kissmann: Externalizing the Multiple Sequence Alignment Problem with Affine Gap Costs. KI 2007: 444-447
58		Stefan Edelkamp: Von Blocksworld bis zur Pipesworld. KI 21(1): 23-25 (2007)
57		Jürgen Sauer, Stefan Edelkamp: 20 Jahre PuK. KI 21(1): 4 (2007)
56		Stefan Edelkamp: Automated Planning: Theory and Practice. KI 21(1): 42-43 (2007)
	2006
55		Stefan Edelkamp, Shahid Jabbar: Cost-Optimal External Planning. AAAI 2006: 821-826
54		Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking 2006
53		Stefan Edelkamp, Stefan Leue, Willem Visser: 06172 Executive Summary -- Directed Model Checking. Directed Model Checking 2006
52		Stefan Edelkamp: Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. ECAI 2006: 841-842
51		Stefan Edelkamp: On the Compilation of Plan Constraints and Preferences. ICAPS 2006: 374-377
50		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Heuristic Search for the Analysis of Graph Transition Systems. ICGT 2006: 414-429
49		Stefan Edelkamp: Automated Creation of Pattern Database Search Heuristics. MoChArt 2006: 35-50
48		Stefan Edelkamp, Shahid Jabbar: Real-Time Model Checking on Secondary Storage. MoChArt 2006: 67-83
47		Stefan Edelkamp, Shahid Jabbar: Large-Scale Directed Model Checking LTL. SPIN 2006: 1-18
46		Shahid Jabbar, Stefan Edelkamp: Parallel External Directed Model Checking with Linear I/O. VMCAI 2006: 237-251
45		Stefan Edelkamp, Shahid Jabbar: Action Planning for Directed Model Checking of Petri Nets. Electr. Notes Theor. Comput. Sci. 149(2): 3-18 (2006)
44		Tilman Mehler, Stefan Edelkamp: Dynamic Incremental Hashing in Program Model Checking. Electr. Notes Theor. Comput. Sci. 149(2): 51-69 (2006)
43		Jö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
42		Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente: Cost-Algebraic Heuristic Search. AAAI 2005: 1362-1367
41		Stefan Edelkamp: External Symbolic Heuristic Search with Pattern Databases. ICAPS 2005: 51-60
40		Shahid Jabbar, Stefan Edelkamp: I/O Efficient Directed Model Checking. VMCAI 2005: 313-329
39		Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Geometric travel planning. IEEE Transactions on Intelligent Transportation Systems 6(1): 5-16 (2005)
38		Jörg Hoffmann, Stefan Edelkamp: The Deterministic Part of IPC-4: An Overview. J. Artif. Intell. Res. (JAIR) 24: 519-579 (2005)
	2004
37		Stefan Edelkamp: Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. KI 2004: 198-212
36		Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl: External A*. KI 2004: 226-240
35		Peter Leven, Tilman Mehler, Stefan Edelkamp: Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. SPIN 2004: 39-56
34		Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed explicit-state model checking in the validation of communication protocols. STTT 5(2-3): 247-267 (2004)
33		Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial-order reduction and trail improvement in directed model checking. STTT 6(4): 277-301 (2004)
	2003
32		Stefan Edelkamp, Stefan Schrödl: Route Planning and Map Inference with Global Positioning Traces. Computer Science in Perspective 2003: 128-151
31		Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm: Accelerating Heuristic Search in Spatial Domains. PuK 2003
30		Stefan Edelkamp: Promela Planning. SPIN 2003: 197-212
29		Stefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System. J. Artif. Intell. Res. (JAIR) 20: 195-238 (2003)
	2002
28		Stefan Edelkamp: Symbolic Pattern Databases in Heuristic Search Planning. AIPS 2002: 274-283
27		Stefan Edelkamp: Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. AIPS Workshop on Planning for Temporal Domains 2002: 47-55
26		Stefan Edelkamp: Memory Limitations in Artificial Intelligence. Algorithms for Memory Hierarchies 2002: 233-250
25		Stefan Edelkamp, Peter Leven: Directed Automated Theorem Proving. LPAR 2002: 145-159
24		Stefan Edelkamp: Taming Numbers and Durations in the Model Checking Integrated Planning System. PuK 2002
23		Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking. SPIN 2002: 112-127
22		Stefan 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
21		Stefan Edelkamp: Prediction of Regular Search Tree Growth by Spectral Analysis. KI/ÖGAI 2001: 154-168
20		Stefan Edelkamp, Ulrich Meyer: Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. KI/ÖGAI 2001: 169-184
19		Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier: Finding Optimal Solutions to Atomix. KI/ÖGAI 2001: 229-243
18		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN. SPIN 2001: 57-79
17		Stefan Edelkamp, Malte Helmert: MIPS: The Model-Checking Integrated Planning System. AI Magazine 22(3): 67-72 (2001)
16		Richard E. Korf, Michael Reid, Stefan Edelkamp: Time complexity of iterative-deepening-A*. Artif. Intell. 129(1-2): 199-218 (2001)
15		Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. Electr. Notes Theor. Comput. Sci. 55(3): 343-356 (2001)
	2000
14		Stefan Edelkamp, Stefan Schrödl: Localizing A*. AAAI/IAAI 2000: 885-890
13		Stefan Edelkamp, Patrick Stiegeler: Pushing the Limits in Sequential Sorting. Algorithm Engineering 2000: 39-50
12		Stefan Edelkamp: Heuristic Search Planning with BDDs. PuK 2000
11		Stefan Edelkamp, Ingo Wegener: On the Performance of WEAK-HEAPSORT. STACS 2000: 254-266
	1999
10		Stefan Edelkamp: Datenstrukturen und Lernverfahren in der Zustandsraumsuche. Infix 1999: I-VIII, 1-192
9		Stefan Edelkamp, Malte Helmert: Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length. ECP 1999: 135-147
8		Stefan Schrödl, Stefan Edelkamp: Inferring Flow of Control in Program Synthesis by Example. KI 1999: 171-182
7		Frank Reffel, Stefan Edelkamp: Error Detection with Directed Symbolic Model Checking. World Congress on Formal Methods 1999: 195-211
6		Stefan Edelkamp, Ingo Wegener: On the performance of WEAK-HEAPSORT Electronic Colloquium on Computational Complexity (ECCC) 6(28): (1999)
5		Stefan Edelkamp: Datenstrukturen und Lernverfahren in der Zustandsraumsuche. KI 13(3): 49-51 (1999)
	1998
4		Stefan Edelkamp, Richard E. Korf: The Branching Factor of Regular Search Spaces. AAAI/IAAI 1998: 299-304
3		Stefan Edelkamp: Updating Shortest Paths. ECAI 1998: 655-559
2		Stefan Edelkamp, Frank Reffel: OBDDs in Heuristic Search. KI 1998: 81-92
	1997
1		Stefan Edelkamp: Suffix Tree Automata in State Space Search. KI 1997: 381-384

Coauthor Index

1	David W. Aha	[86]
2	Husain Aljazzar	[68]
3	Fahiem Bacchus	[107]
4	Joscha Bach	[106]
5	Marco Bakera	[70]
6	Jiri Barnat	[74] [96]
7	Mark S. Boddy	[86]
8	Blai Bonet	[61]
9	Björn Ulrich Borowsky	[77]
10	Dragan Bosnacki	[62] [68] [81] [85] [97]
11	Lubos Brim	[74] [96]
12	Asger Bruun	[90]
13	Vadim Bulitko	[86]
14	Martin Dietzfelbinger	[82]
15	Carmel Domshlak	[107]
16	Prashant Doshi	[86]
17	Carsten Elfers	[108]
18	Amr Elmasry	[102]
19	Roman Englert	[43] [99]
20	Ansgar Fehnker	[68]
21	Henning Fernau	[19]
22	Artur S. d'Avila Garcez	[86]
23	Christopher W. Geib	[86]
24	Piotr J. Gmytrasiewicz	[86]
25	Robert P. Goldman	[86]
26	Alon Y. Halevy (Alon Y. Levy)	[86]
27	Malte Helmert	[9] [17] [107]
28	Otthein Herzog	[108]
29	Lars Hildebrand	[60]
30	Pascal Hitzler	[86]
31	Jörg Hoffmann	[38] [43] [99] [100]
32	Falk Hüffner	[19]
33	Charles Lee Isbell Jr. (Charles L. Isbell)	[86]
34	Shahid Jabbar	[31] [36] [39] [40] [42] [45] [46] [47] [48] [50] [55] [61] [65] [66] [69] [79]
35	Darsana P. Josyula	[86]
36	Leslie Pack Kaelbling	[86]
37	Kenneth Kahl	[60]
38	Jyrki Katajainen	[90] [102]
39	Mark Kellershoff	[91]
40	Kristian Kersting	[86]
41	Peter Kissmann	[59] [69] [70] [71] [72] [73] [75] [78] [83] [84] [88] [94] [98] [103] [104] [105]
42	Richard E. Korf	[4] [16]
43	Maithilee Kunda	[86]
44	Luís C. Lamb (Luís da Cunha Lamb)	[86]
45	Stefan Leue	[15] [18] [23] [33] [34] [53] [54] [64]
46	Peter Leven	[25] [35]
47	Frederico dos S. Liporace	[43] [99]
48	Alberto Lluch-Lafuente	[15] [18] [23] [33] [34] [42] [50]
49	Alessio Lomuscio	[63]
50	Bhaskara Marthi	[86]
51	Keith McGreggor	[86]
52	Tilman Mehler	[35] [44]
53	Hartmut Messerschmidt	[93]
54	Ron van der Meyden	[86]
55	Ulrich Meyer	[20]
56	Dino Midzic	[65]
57	Lilyana Mihalkova	[86]
58	Vivi Nastase	[86]
59	Sriraam Natarajan	[86]
60	Rolf Niedermeier	[19]
61	Gregory Provan	[86]
62	Anita Raja	[86]
63	Ashwin Ram	[86]
64	Jens Rasmussen	[90]
65	Frank Reffel	[2] [7]
66	Michael Reid	[16]
67	Clemens D. Renner	[70]
68	Mark O. Riedl (Mark Riedl)	[86]
69	Daniel Rikowski	[65]
70	Stuart J. Russell	[86]
71	Ashish Sabharwal	[86]
72	Peter Sanders	[76]
73	Jürgen Sauer	[57]
74	Stefan Schrödl	[8] [14] [32] [36] [109]
75	Viktor Schuppan	[68]
76	Pavel Simecek	[74] [76] [96]
77	Jan-Georg Smaus	[86]
78	Patrick Stiegeler	[13] [22]
79	Gita Reese Sukthankar (Gita Sukthankar)	[86]
80	Damian Sulewski	[65] [66] [67] [74] [81] [87] [89] [91] [92] [95] [96] [97] [103]
81	Sylvie Thiébaux	[43] [99]
82	Sebastian Trüg	[43] [99]
83	Karl Tuyls	[86]
84	Willem Visser	[53] [54] [64]
85	Ingo Wegener	[6] [11]
86	Anton Wijs	[68] [97]
87	Thomas Willhalm	[31] [39]
88	Cengizhan Yücel	[89] [95]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page