Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Edelkamp
@book{DBLP:books/sp/Edelkamp23,
author = {Stefan Edelkamp},
title = {Algorithmic Intelligence - Towards an Algorithmic Foundation for Artificial
Intelligence},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-319-65596-3},
doi = {10.1007/978-3-319-65596-3},
isbn = {978-3-319-65595-6},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Edelkamp23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/WarsameE23,
author = {Yazz Warsame and
Stefan Edelkamp},
title = {Electric Vehicle Location-Routing Task-Motion Planning},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260622},
doi = {10.1109/CASE56687.2023.10260622},
timestamp = {Thu, 05 Oct 2023 18:00:33 +0200},
biburl = {https://dblp.org/rec/conf/case/WarsameE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/ChrestienPEK23,
author = {Leah Chrestien and
Tom{\'{a}}s Pevn{\'{y}} and
Stefan Edelkamp and
Anton{\'{\i}}n Komenda},
editor = {Nuno Moniz and
Zita Vale and
Jos{\'{e}} Cascalho and
Catarina Silva and
Raquel Sebasti{\~{a}}o},
title = {Heuristic Search Optimisation Using Planning and Curriculum Learning
Techniques},
booktitle = {Progress in Artificial Intelligence - 22nd {EPIA} Conference on Artificial
Intelligence, {EPIA} 2023, Faial Island, Azores, September 5-8, 2023,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14115},
pages = {495--507},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49008-8\_39},
doi = {10.1007/978-3-031-49008-8\_39},
timestamp = {Thu, 04 Jan 2024 08:13:44 +0100},
biburl = {https://dblp.org/rec/conf/epia/ChrestienPEK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/HutherSBRE23,
author = {Lorenz H{\"{u}}ther and
Karsten Sohr and
Bernhard J. Berger and
Hendrik Rothe and
Stefan Edelkamp},
editor = {Gene Tsudik and
Mauro Conti and
Kaitai Liang and
Georgios Smaragdakis},
title = {Machine Learning for {SAST:} {A} Lightweight and Adaptable Approach},
booktitle = {Computer Security - {ESORICS} 2023 - 28th European Symposium on Research
in Computer Security, The Hague, The Netherlands, September 25-29,
2023, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {14347},
pages = {85--104},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51482-1\_5},
doi = {10.1007/978-3-031-51482-1\_5},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/HutherSBRE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icar/WarsameE23,
author = {Yazz Warsame and
Stefan Edelkamp},
title = {Capacitated Multi-Robot Task Allocation with Time Windows Using Location-Routing
Task-Motion Planning},
booktitle = {21st International Conference on Advanced Robotics, {ICAR} 2023, Abu
Dhabi, United Arab Emirates, December 5-8, 2023},
pages = {42--48},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAR58858.2023.10406618},
doi = {10.1109/ICAR58858.2023.10406618},
timestamp = {Fri, 23 Feb 2024 16:04:54 +0100},
biburl = {https://dblp.org/rec/conf/icar/WarsameE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ChrestienEKP23,
author = {Leah Chrestien and
Stefan Edelkamp and
Anton{\'{\i}}n Komenda and
Tom{\'{a}}s Pevn{\'{y}}},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Optimize Planning Heuristics to Rank, not to Estimate Cost-to-Goal},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/50ea4dbd1cff6bd3daef939eff10c092-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/ChrestienEKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19463,
author = {Leah Chrestien and
Tom{\'{a}}s Pevn{\'{y}} and
Stefan Edelkamp and
Anton{\'{\i}}n Komenda},
title = {Optimize Planning Heuristics to Rank, not to Estimate Cost-to-Goal},
journal = {CoRR},
volume = {abs/2310.19463},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19463},
doi = {10.48550/ARXIV.2310.19463},
eprinttype = {arXiv},
eprint = {2310.19463},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03485,
author = {Xuzhe Dang and
Stefan Edelkamp and
Nicolas Ribault},
title = {CLIP-Motion: Learning Reward Functions for Robotic Actions Using Consecutive
Observations},
journal = {CoRR},
volume = {abs/2311.03485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03485},
doi = {10.48550/ARXIV.2311.03485},
eprinttype = {arXiv},
eprint = {2311.03485},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChrpaRHE22,
author = {Luk{\'{a}}s Chrpa and
Pavel Ryt{\'{\i}}r and
Rostislav Horc{\'{\i}}k and
Stefan Edelkamp},
title = {Competing for Resources: Estimating Adversary Strategy for Effective
Plan Generation},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {9707--9715},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21205},
doi = {10.1609/AAAI.V36I9.21205},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChrpaRHE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HorcikTRCE22,
author = {Rostislav Horc{\'{\i}}k and
{\'{A}}lvaro Torralba and
Pavel Ryt{\'{\i}}r and
Luk{\'{a}}s Chrpa and
Stefan Edelkamp},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Optimal Mixed Strategies for Cost-Adversarial Planning Games},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {160--168},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19797},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/HorcikTRCE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cg/Edelkamp22,
author = {Stefan Edelkamp},
editor = {Cameron Browne and
Akihiro Kishimoto and
Jonathan Schaeffer},
title = {Improving Computer Play in Skat with Hope Cards},
booktitle = {Computers and Games - International Conference, {CG} 2022, Virtual
Event, November 22-24, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13865},
pages = {133--145},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-34017-8\_12},
doi = {10.1007/978-3-031-34017-8\_12},
timestamp = {Wed, 31 May 2023 14:56:54 +0200},
biburl = {https://dblp.org/rec/conf/cg/Edelkamp22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ChrpaRNHE22,
author = {Luk{\'{a}}s Chrpa and
Pavel Ryt{\'{\i}}r and
Andrii Nyporko and
Rostislav Horc{\'{\i}}k and
Stefan Edelkamp},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Effective Planning in Resource-Competition Problems by Task Decomposition},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {47--55},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21751},
doi = {10.1609/SOCS.V15I1.21751},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/ChrpaRNHE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/DangCE22,
author = {Xuzhe Dang and
Luk{\'{a}}s Chrpa and
Stefan Edelkamp},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Deep {RRT}},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {333--335},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21803},
doi = {10.1609/SOCS.V15I1.21803},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/DangCE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-05206,
author = {Leah Chrestien and
Tom{\'{a}}s Pevn{\'{y}} and
Anton{\'{\i}}n Komenda and
Stefan Edelkamp},
title = {A Differentiable Loss Function for Learning Heuristics in {A}},
journal = {CoRR},
volume = {abs/2209.05206},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.05206},
doi = {10.48550/ARXIV.2209.05206},
eprinttype = {arXiv},
eprint = {2209.05206},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-05206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/Edelkamp21,
author = {Stefan Edelkamp},
title = {Knowledge-Based Paranoia Search},
booktitle = {2021 {IEEE} Conference on Games (CoG), Copenhagen, Denmark, August
17-20, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CoG52621.2021.9619073},
doi = {10.1109/COG52621.2021.9619073},
timestamp = {Fri, 10 Dec 2021 10:04:09 +0100},
biburl = {https://dblp.org/rec/conf/cig/Edelkamp21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/ChrpaRHCLE21,
author = {Luk{\'{a}}s Chrpa and
Pavel Ryt{\'{\i}}r and
Rostislav Horc{\'{\i}}k and
Jan Cuhel and
Anastasiia Livochka and
Stefan Edelkamp},
editor = {Hang Ma and
Ivan Serina},
title = {Adversary Strategy Sampling for Effective Plan Generation},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {164--166},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18571},
doi = {10.1609/SOCS.V12I1.18571},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/ChrpaRHCLE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2021,
editor = {Stefan Edelkamp and
Ralf M{\"{o}}ller and
Elmar Rueckert},
title = {{KI} 2021: Advances in Artificial Intelligence - 44th German Conference
on AI, Virtual Event, September 27 - October 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12873},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87626-5},
doi = {10.1007/978-3-030-87626-5},
isbn = {978-3-030-87625-8},
timestamp = {Fri, 01 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-02997,
author = {Stefan Edelkamp},
title = {On the Power of Refined Skat Selection},
journal = {CoRR},
volume = {abs/2104.02997},
year = {2021},
url = {https://arxiv.org/abs/2104.02997},
eprinttype = {arXiv},
eprint = {2104.02997},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-02997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-05422,
author = {Stefan Edelkamp},
title = {{ELO} System for Skat and Other Games of Chance},
journal = {CoRR},
volume = {abs/2104.05422},
year = {2021},
url = {https://arxiv.org/abs/2104.05422},
eprinttype = {arXiv},
eprint = {2104.05422},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-05422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-05423,
author = {Stefan Edelkamp},
title = {Knowledge-Based Paranoia Search in Trick-Taking},
journal = {CoRR},
volume = {abs/2104.05423},
year = {2021},
url = {https://arxiv.org/abs/2104.05423},
eprinttype = {arXiv},
eprint = {2104.05423},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-05423.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-01918,
author = {Leah Chrestien and
Tom{\'{a}}s Pevn{\'{y}} and
Anton{\'{\i}}n Komenda and
Stefan Edelkamp},
title = {Heuristic Search Planning with Deep Neural Networks using Imitation,
Attention and Curriculum Learning},
journal = {CoRR},
volume = {abs/2112.01918},
year = {2021},
url = {https://arxiv.org/abs/2112.01918},
eprinttype = {arXiv},
eprint = {2112.01918},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-01918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/EdelkampWW20,
author = {Stefan Edelkamp and
Armin Wei{\ss} and
Sebastian Wild},
title = {QuickXsort: {A} Fast Sorting Scheme in Theory and Practice},
journal = {Algorithmica},
volume = {82},
number = {3},
pages = {509--588},
year = {2020},
url = {https://doi.org/10.1007/s00453-019-00634-0},
doi = {10.1007/S00453-019-00634-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/EdelkampWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/WarsameEP20,
author = {Yazz Warsame and
Stefan Edelkamp and
Erion Plaku},
title = {Energy-Aware Multi-Goal Motion Planning Guided by Monte Carlo Search},
booktitle = {16th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2020, Hong Kong, August 20-21, 2020},
pages = {335--342},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CASE48305.2020.9217008},
doi = {10.1109/CASE48305.2020.9217008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/WarsameEP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Edelkamp20,
author = {Stefan Edelkamp},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Representing and Reducing Uncertainty for Enumerating the Belief Space
to Improve Endgame Play in Skat},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {395--402},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200118},
doi = {10.3233/FAIA200118},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Edelkamp20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp20,
author = {Stefan Edelkamp},
editor = {Ute Schmid and
Franziska Kl{\"{u}}gl and
Diedrich Wolter},
title = {Dynamic Play via Suit Factorization Search in Skat},
booktitle = {{KI} 2020: Advances in Artificial Intelligence - 43rd German Conference
on AI, Bamberg, Germany, September 21-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12325},
pages = {18--32},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58285-2\_2},
doi = {10.1007/978-3-030-58285-2\_2},
timestamp = {Thu, 10 Sep 2020 17:48:53 +0200},
biburl = {https://dblp.org/rec/conf/ki/Edelkamp20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/Edelkamp20,
author = {Stefan Edelkamp},
editor = {Simone Faro and
Domenico Cantone},
title = {Algorithm Engineering for Sorting and Searching, and All That (Invited
Talk)},
booktitle = {18th International Symposium on Experimental Algorithms, {SEA} 2020,
June 16-18, 2020, Catania, Italy},
series = {LIPIcs},
volume = {160},
pages = {2:1--2:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.SEA.2020.2},
doi = {10.4230/LIPICS.SEA.2020.2},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wea/Edelkamp20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/EdelkampW19,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
title = {BlockQuicksort: Avoiding Branch Mispredictions in Quicksort},
journal = {{ACM} J. Exp. Algorithmics},
volume = {24},
number = {1},
pages = {1.4:1--1.4:22},
year = {2019},
url = {https://doi.org/10.1145/3274660},
doi = {10.1145/3274660},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jea/EdelkampW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alenex/EdelkampW19,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
editor = {Stephen G. Kobourov and
Henning Meyerhenke},
title = {Worst-Case Efficient Sorting with QuickMergesort},
booktitle = {Proceedings of the Twenty-First Workshop on Algorithm Engineering
and Experiments, {ALENEX} 2019, San Diego, CA, USA, January 7-8, 2019},
pages = {1--14},
publisher = {{SIAM}},
year = {2019},
url = {https://doi.org/10.1137/1.9781611975499.1},
doi = {10.1137/1.9781611975499.1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alenex/EdelkampW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampPW19,
author = {Stefan Edelkamp and
Erion Plaku and
Yassin Warsame},
editor = {Christoph Benzm{\"{u}}ller and
Heiner Stuckenschmidt},
title = {Monte-Carlo Search for Prize-Collecting Robot Motion Planning with
Time Windows, Capacities, Pickups, and Deliveries},
booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference
on AI, Kassel, Germany, September 23-26, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11793},
pages = {154--167},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30179-8\_13},
doi = {10.1007/978-3-030-30179-8\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MoraruEFM19,
author = {Ionut Moraru and
Stefan Edelkamp and
Santiago Franco and
Mois{\'{e}}s Mart{\'{\i}}nez},
editor = {Christoph Benzm{\"{u}}ller and
Heiner Stuckenschmidt},
title = {Simplifying Automated Pattern Selection for Planning with Symbolic
Pattern Databases},
booktitle = {{KI} 2019: Advances in Artificial Intelligence - 42nd German Conference
on AI, Kassel, Germany, September 23-26, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11793},
pages = {249--263},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30179-8\_21},
doi = {10.1007/978-3-030-30179-8\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MoraruEFM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/Edelkamp19,
author = {Stefan Edelkamp},
editor = {Pavel Surynek and
William Yeoh},
title = {Challenging Human Supremacy in Skat},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
pages = {52--60},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/socs.v10i1.18502},
doi = {10.1609/SOCS.V10I1.18502},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/Edelkamp19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/EdelkampY19,
author = {Stefan Edelkamp and
Zhuowei Yu},
editor = {Kaspar Althoefer and
Jelizaveta Konstantinova and
Ketao Zhang},
title = {Watchman Routes for Robot Inspection},
booktitle = {Towards Autonomous Robotic Systems - 20th Annual Conference, {TAROS}
2019, London, UK, July 3-5, 2019, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11650},
pages = {179--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25332-5\_16},
doi = {10.1007/978-3-030-25332-5\_16},
timestamp = {Wed, 17 Jul 2019 11:15:18 +0200},
biburl = {https://dblp.org/rec/conf/taros/EdelkampY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/EdelkampL19,
author = {Stefan Edelkamp and
Junho Lee},
editor = {Kaspar Althoefer and
Jelizaveta Konstantinova and
Ketao Zhang},
title = {Multi-robot Multi-goal Motion Planning with Time and Resources},
booktitle = {Towards Autonomous Robotic Systems - 20th Annual Conference, {TAROS}
2019, London, UK, July 3-5, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11649},
pages = {288--299},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23807-0\_24},
doi = {10.1007/978-3-030-23807-0\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taros/EdelkampL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvca/PlakuRE18,
author = {Erion Plaku and
Sara Rashidian and
Stefan Edelkamp},
title = {Multi-group motion planning in virtual environments},
journal = {Comput. Animat. Virtual Worlds},
volume = {29},
number = {6},
year = {2018},
url = {https://doi.org/10.1002/cav.1688},
doi = {10.1002/CAV.1688},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvca/PlakuRE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/EdelkampLMP18,
author = {Stefan Edelkamp and
Morteza Lahijanian and
Daniele Magazzeni and
Erion Plaku},
title = {Integrating Temporal Reasoning and Sampling-Based Motion Planning
for Multigoal Problems With Dynamics and Time Windows},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {3},
number = {4},
pages = {3473--3480},
year = {2018},
url = {https://doi.org/10.1109/LRA.2018.2853642},
doi = {10.1109/LRA.2018.2853642},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/EdelkampLMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampG18,
author = {Stefan Edelkamp and
Christoph Greulich},
title = {A case study of planning for smart factories - Model checking and
Monte Carlo search for the rescue},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {5},
pages = {515--528},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0498-1},
doi = {10.1007/S10009-018-0498-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10062,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
title = {QuickMergesort: Practically Efficient Constant-Factor Optimal Sorting},
journal = {CoRR},
volume = {abs/1804.10062},
year = {2018},
url = {http://arxiv.org/abs/1804.10062},
eprinttype = {arXiv},
eprint = {1804.10062},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-00833,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
title = {Worst-Case Efficient Sorting with QuickMergesort},
journal = {CoRR},
volume = {abs/1811.00833},
year = {2018},
url = {http://arxiv.org/abs/1811.00833},
eprinttype = {arXiv},
eprint = {1811.00833},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-00833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-01259,
author = {Stefan Edelkamp and
Armin Wei{\ss} and
Sebastian Wild},
title = {QuickXsort - {A} Fast Sorting Scheme in Theory and Practice},
journal = {CoRR},
volume = {abs/1811.01259},
year = {2018},
url = {http://arxiv.org/abs/1811.01259},
eprinttype = {arXiv},
eprint = {1811.01259},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-01259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TorralbaAKE17,
author = {{\'{A}}lvaro Torralba and
Vidal Alc{\'{a}}zar and
Peter Kissmann and
Stefan Edelkamp},
title = {Efficient symbolic search for cost-optimal planning},
journal = {Artif. Intell.},
volume = {242},
pages = {52--79},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2016.10.001},
doi = {10.1016/J.ARTINT.2016.10.001},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/TorralbaAKE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/EdelkampEK17,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
title = {Heap Construction - 50 Years Later},
journal = {Comput. J.},
volume = {60},
number = {5},
pages = {657--674},
year = {2017},
url = {https://doi.org/10.1093/comjnl/bxw085},
doi = {10.1093/COMJNL/BXW085},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/EdelkampEK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/EdelkampEK17,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
title = {Optimizing Binary Heaps},
journal = {Theory Comput. Syst.},
volume = {61},
number = {2},
pages = {606--636},
year = {2017},
url = {https://doi.org/10.1007/s00224-017-9760-2},
doi = {10.1007/S00224-017-9760-2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/EdelkampEK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/EdelkampPP17,
author = {Stefan Edelkamp and
Mihai Pomarlan and
Erion Plaku},
title = {Multiregion Inspection by Combining Clustered Traveling Salesman Tours
With Sampling-Based Motion Planning},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {2},
number = {2},
pages = {428--435},
year = {2017},
url = {https://doi.org/10.1109/LRA.2016.2635107},
doi = {10.1109/LRA.2016.2635107},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/EdelkampPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/EdelkampG17,
author = {Stefan Edelkamp and
Christoph Greulich},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Joaquim Filipe},
title = {Nested Rollout Policy Adaptation for Multiagent System Optimization
in Manufacturing},
booktitle = {Proceedings of the 9th International Conference on Agents and Artificial
Intelligence, {ICAART} 2017, Volume 1, Porto, Portugal, February 24-26,
2017},
pages = {284--290},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006204502840290},
doi = {10.5220/0006204502840290},
timestamp = {Wed, 14 Jun 2017 14:14:15 +0200},
biburl = {https://dblp.org/rec/conf/icaart/EdelkampG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp17,
author = {Stefan Edelkamp},
editor = {Gabriele Kern{-}Isberner and
Johannes F{\"{u}}rnkranz and
Matthias Thimm},
title = {Improving the Cache-Efficiency of Shortest Path Search},
booktitle = {{KI} 2017: Advances in Artificial Intelligence - 40th Annual German
Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10505},
pages = {99--113},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67190-1\_8},
doi = {10.1007/978-3-319-67190-1\_8},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/Edelkamp17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/EdelkampEKK17,
author = {Stefan Edelkamp and
Eike Externest and
Sebastian K{\"{u}}hl and
Sabine Kuske},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {Solving Graph Optimization Problems in a Framework for Monte-Carlo
Search},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {163--164},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18419},
doi = {10.1609/SOCS.V8I1.18419},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/EdelkampEKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/EdelkampSP17,
author = {Stefan Edelkamp and
Baris Can Secim and
Erion Plaku},
editor = {Yang Gao and
Saber Fallah and
Yaochu Jin and
Constantina Lekakou},
title = {Surface Inspection via Hitting Sets and Multi-goal Motion Planning},
booktitle = {Towards Autonomous Robotic Systems - 18th Annual Conference, {TAROS}
2017, Guildford, UK, July 19-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10454},
pages = {134--149},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64107-2\_12},
doi = {10.1007/978-3-319-64107-2\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taros/EdelkampSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016cgw,
editor = {Tristan Cazenave and
Mark H. M. Winands and
Stefan Edelkamp and
Stephan Schiffel and
Michael Thielscher and
Julian Togelius},
title = {Computer Games - 5th Workshop on Computer Games, {CGW} 2016, and 5th
Workshop on General Intelligence in Game-Playing Agents, {GIGA} 2016,
Held in Conjunction with the 25th International Conference on Artificial
Intelligence, {IJCAI} 2016, New York City, NY, USA, July 9-10, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {705},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57969-6},
doi = {10.1007/978-3-319-57969-6},
isbn = {978-3-319-57968-9},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2016cgw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BosnackiELW16,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Special section on Graph Inspection and Traversal Engineering {(GRAPHITE}
2014)},
journal = {Sci. Comput. Program.},
volume = {130},
pages = {1},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.06.007},
doi = {10.1016/J.SCICO.2016.06.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BosnackiELW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/EdelkampW16,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
editor = {Piotr Sankowski and
Christos D. Zaroliagis},
title = {BlockQuicksort: Avoiding Branch Mispredictions in Quicksort},
booktitle = {24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24,
2016, Aarhus, Denmark},
series = {LIPIcs},
volume = {57},
pages = {38:1--38:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ESA.2016.38},
doi = {10.4230/LIPICS.ESA.2016.38},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/EdelkampW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/GreulichE16,
author = {Christoph Greulich and
Stefan Edelkamp},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Two Model Checking Approaches to Branch-and-Bound Optimization of
a Flow Production System},
booktitle = {Agents and Artificial Intelligence - 8th International Conference,
{ICAART} 2016, Rome, Italy, February 24-26, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10162},
pages = {19--36},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-53354-4\_2},
doi = {10.1007/978-3-319-53354-4\_2},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/GreulichE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/EdelkampG16,
author = {Stefan Edelkamp and
Christoph Greulich},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Branch-and-Bound Optimization of a Multiagent System for Flow Production
using Model Checking},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 1, Rome, Italy, February 24-26,
2016},
pages = {27--37},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005705100270037},
doi = {10.5220/0005705100270037},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/EdelkampG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Edelkamp16,
author = {Stefan Edelkamp},
editor = {Tristan Cazenave and
Mark H. M. Winands and
Stefan Edelkamp and
Stephan Schiffel and
Michael Thielscher and
Julian Togelius},
title = {Deep or Wide? Learning Policy and Value Neural Networks for Combinatorial
Games},
booktitle = {Computer Games - 5th Workshop on Computer Games, {CGW} 2016, and 5th
Workshop on General Intelligence in Game-Playing Agents, {GIGA} 2016,
Held in Conjunction with the 25th International Conference on Artificial
Intelligence, {IJCAI} 2016, New York City, NY, USA, July 9-10, 2016,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {705},
pages = {19--33},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57969-6\_2},
doi = {10.1007/978-3-319-57969-6\_2},
timestamp = {Wed, 10 Jul 2019 14:56:57 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Edelkamp16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampC16,
author = {Stefan Edelkamp and
Tristan Cazenave},
editor = {Gerhard Friedrich and
Malte Helmert and
Franz Wotawa},
title = {Improved Diversity in Nested Rollout Policy Adaptation},
booktitle = {{KI} 2016: Advances in Artificial Intelligence - 39th Annual German
Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9904},
pages = {43--55},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46073-4\_4},
doi = {10.1007/978-3-319-46073-4\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampJ16,
author = {Stefan Edelkamp and
Fritz Jacob},
editor = {Gerhard Friedrich and
Malte Helmert and
Franz Wotawa},
title = {Learning Event Time Series for the Automated Quality Control of Videos},
booktitle = {{KI} 2016: Advances in Artificial Intelligence - 39th Annual German
Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9904},
pages = {148--154},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46073-4\_13},
doi = {10.1007/978-3-319-46073-4\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampGG16,
author = {Stefan Edelkamp and
Denis Golubev and
Christoph Greulich},
editor = {Gerhard Friedrich and
Malte Helmert and
Franz Wotawa},
title = {Solving the Physical Vehicle Routing Problem for Improved Multi-robot
Freespace Navigation},
booktitle = {{KI} 2016: Advances in Artificial Intelligence - 39th Annual German
Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9904},
pages = {155--161},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46073-4\_14},
doi = {10.1007/978-3-319-46073-4\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/ChatterjeeGE16,
author = {Rajeshwari Chatterjee and
Christoph Greulich and
Stefan Edelkamp},
title = {Optimizing Last Mile Delivery Using Public Transport with Multi-Agent
Based Control},
booktitle = {41st {IEEE} Conference on Local Computer Networks Workshops, {LCN}
Workshops 2016, Dubai, United Arab Emirates, November 7-10, 2016},
pages = {205--212},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LCN.2016.049},
doi = {10.1109/LCN.2016.049},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/ChatterjeeGE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/AbdoEL16,
author = {Ashraf Abdo and
Stefan Edelkamp and
Michael Lawo},
title = {Nested Rollout Policy Adaptation for Optimizing Vehicle Selection
in Complex VRPs},
booktitle = {41st {IEEE} Conference on Local Computer Networks Workshops, {LCN}
Workshops 2016, Dubai, United Arab Emirates, November 7-10, 2016},
pages = {213--221},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/LCN.2016.050},
doi = {10.1109/LCN.2016.050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/AbdoEL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampG16,
author = {Stefan Edelkamp and
Christoph Greulich},
editor = {Dragan Bosnacki and
Anton Wijs},
title = {Using {SPIN} for the Optimized Scheduling of Discrete Event Systems
in Manufacturing},
booktitle = {Model Checking Software - 23rd International Symposium, {SPIN} 2016,
Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9641},
pages = {57--77},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-32582-8\_4},
doi = {10.1007/978-3-319-32582-8\_4},
timestamp = {Tue, 12 Sep 2023 07:57:22 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Edelkamp16,
author = {Stefan Edelkamp},
editor = {Lasse Kliemann and
Peter Sanders},
title = {External-Memory State Space Search},
booktitle = {Algorithm Engineering - Selected Results and Surveys},
series = {Lecture Notes in Computer Science},
volume = {9220},
pages = {185--225},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49487-6\_6},
doi = {10.1007/978-3-319-49487-6\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Edelkamp16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2016,
editor = {Amanda Jane Coles and
Andrew Coles and
Stefan Edelkamp and
Daniele Magazzeni and
Scott Sanner},
title = {Proceedings of the Twenty-Sixth International Conference on Automated
Planning and Scheduling, {ICAPS} 2016, London, UK, June 12-17, 2016},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/Library/ICAPS/icaps16contents.php},
isbn = {978-1-57735-757-5},
timestamp = {Wed, 08 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015cgw,
editor = {Tristan Cazenave and
Mark H. M. Winands and
Stefan Edelkamp and
Stephan Schiffel and
Michael Thielscher and
Julian Togelius},
title = {Computer Games - Fourth Workshop on Computer Games, {CGW} 2015, and
the Fourth Workshop on General Intelligence in Game-Playing Agents,
{GIGA} 2015, Held in Conjunction with the 24th International Conference
on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina,
July 26-27, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {614},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39402-2},
doi = {10.1007/978-3-319-39402-2},
isbn = {978-3-319-39401-5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2015cgw.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EdelkampW16,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
title = {BlockQuicksort: How Branch Mispredictions don't affect Quicksort},
journal = {CoRR},
volume = {abs/1604.06697},
year = {2016},
url = {http://arxiv.org/abs/1604.06697},
eprinttype = {arXiv},
eprint = {1604.06697},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EdelkampW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampKT15,
author = {Stefan Edelkamp and
Peter Kissmann and
{\'{A}}lvaro Torralba},
editor = {Blai Bonet and
Sven Koenig},
title = {BDDs Strike Back (in {AI} Planning)},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {4320--4321},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9349},
doi = {10.1609/AAAI.V29I1.9349},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/EdelkampEK15,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
editor = {Lev D. Beklemishev and
Daniil V. Musatov},
title = {An In-Place Priority Queue with {O(1)} Time for Push and lg n + {O}
{(} 1 {)} Comparisons for Pop},
booktitle = {Computer Science - Theory and Applications - 10th International Computer
Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9139},
pages = {204--218},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20297-6\_14},
doi = {10.1007/978-3-319-20297-6\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/EdelkampEK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idaacs/DetkenEEHR15,
author = {Kai{-}Oliver Detken and
Stefan Edelkamp and
Carsten Elfers and
Malte Humann and
Thomas Rix},
title = {Intelligent monitoring with background knowledge},
booktitle = {{IEEE} 8th International Conference on Intelligent Data Acquisition
and Advanced Computing Systems: Technology and Applications, {IDAACS}
2015, Warsaw, Poland, September 24-26, 2015},
pages = {165--170},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IDAACS.2015.7340722},
doi = {10.1109/IDAACS.2015.7340722},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/idaacs/DetkenEEHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampW15,
author = {Stefan Edelkamp and
Paul Wichern},
editor = {Steffen H{\"{o}}lldobler and
Markus Kr{\"{o}}tzsch and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {Packing Irregular-Shaped Objects for 3D Printing},
booktitle = {{KI} 2015: Advances in Artificial Intelligence - 38th Annual German
Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9324},
pages = {45--58},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24489-1\_4},
doi = {10.1007/978-3-319-24489-1\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/GreulichEE15,
author = {Christoph Greulich and
Stefan Edelkamp and
Niels Eicke},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Wolf Ketter and
Gal A. Kaminka and
Gerd Wagner and
Nils Bulling},
title = {Cyber-Physical Multiagent-Simulation in Production Logistics},
booktitle = {Multiagent System Technologies - 13th German Conference, {MATES} 2015,
Cottbus, Germany, September 28-30, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9433},
pages = {119--136},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27343-3\_7},
doi = {10.1007/978-3-319-27343-3\_7},
timestamp = {Fri, 27 Mar 2020 08:46:43 +0100},
biburl = {https://dblp.org/rec/conf/mates/GreulichEE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/EdelkampT15,
author = {Stefan Edelkamp and
Zhihao Tang},
editor = {Levi Lelis and
Roni Stern},
title = {Monte-Carlo Tree Search for the Multiple Sequence Alignment Problem},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {9--17},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18359},
doi = {10.1609/SOCS.V6I1.18359},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/EdelkampT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampKR14,
author = {Stefan Edelkamp and
Peter Kissmann and
Martha Rohte},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Symbolic and Explicit Search Hybrid through Perfect Hash Functions
- {A} Case Study in Connect Four},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7921},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/EdelkampKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/EdelkampG14,
author = {Stefan Edelkamp and
Christoph Greulich},
title = {Solving Physical Traveling Salesman Problems with policy adaptation},
booktitle = {2014 {IEEE} Conference on Computational Intelligence and Games, {CIG}
2014, Dortmund, Germany, August 26-29, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CIG.2014.6932882},
doi = {10.1109/CIG.2014.6932882},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cig/EdelkampG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cig/EdelkampP14,
author = {Stefan Edelkamp and
Erion Plaku},
title = {Multi-goal motion planning with physics-based game engines},
booktitle = {2014 {IEEE} Conference on Computational Intelligence and Games, {CIG}
2014, Dortmund, Germany, August 26-29, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CIG.2014.6932874},
doi = {10.1109/CIG.2014.6932874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cig/EdelkampP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/EdelkampW14,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
editor = {Edward A. Hirsch and
Sergei O. Kuznetsov and
Jean{-}{\'{E}}ric Pin and
Nikolay K. Vereshchagin},
title = {QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons
on Average},
booktitle = {Computer Science - Theory and Applications - 9th International Computer
Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8476},
pages = {139--152},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06686-8\_11},
doi = {10.1007/978-3-319-06686-8\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/csr/EdelkampW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/EdelkampG14,
author = {Stefan Edelkamp and
Max Gath},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Solving Single Vehicle Pickup and Delivery Problems with Time Windows
and Capacity Constraints using Nested Monte-Carlo Search},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {22--33},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004722300220033},
doi = {10.5220/0004722300220033},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/EdelkampG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampGR14,
author = {Stefan Edelkamp and
Max Gath and
Moritz Rohde},
editor = {Carsten Lutz and
Michael Thielscher},
title = {Monte-Carlo Tree Search for 3D Packing with Object Orientation},
booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {285--296},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0\_28},
doi = {10.1007/978-3-319-11206-0\_28},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/PantkeEH14,
author = {Florian Pantke and
Stefan Edelkamp and
Otthein Herzog},
editor = {J{\"{o}}rg P. M{\"{u}}ller and
Michael Weyrich and
Ana L. C. Bazzan},
title = {Planning with Numeric Key Performance Indicators over Dynamic Organizations
of Intelligent Agents},
booktitle = {Multiagent System Technologies - 12th German Conference, {MATES} 2014,
Stuttgart, Germany, September 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8732},
pages = {138--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11584-9\_10},
doi = {10.1007/978-3-319-11584-9\_10},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/PantkeEH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mig/RashidianPE14,
author = {Sara Rashidian and
Erion Plaku and
Stefan Edelkamp},
editor = {Ari Shapiro and
Nancy M. Amato and
Jessica K. Hodgins},
title = {Motion planning with rigid-body dynamics for generalized traveling
salesman tours},
booktitle = {Proceedings of the Seventh International Conference on Motion in Games,
Playa Vista, CA, USA, November 06 - 08, 2014},
pages = {87--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2668064.2668090},
doi = {10.1145/2668064.2668090},
timestamp = {Wed, 28 Nov 2018 12:57:16 +0100},
biburl = {https://dblp.org/rec/conf/mig/RashidianPE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2014,
editor = {Stefan Edelkamp and
Roman Bart{\'{a}}k},
title = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
{SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {https://ojs.aaai.org/index.php/SOCS/issue/view/434},
isbn = {978-1-57735-676-9},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BosnackiELW14,
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159},
doi = {10.4204/EPTCS.159},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BosnackiELW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EdelkampKE14,
author = {Stefan Edelkamp and
Jyrki Katajainen and
Amr Elmasry},
title = {Strengthened Lazy Heaps: Surpassing the Lower Bounds for Binary Heaps},
journal = {CoRR},
volume = {abs/1407.3377},
year = {2014},
url = {http://arxiv.org/abs/1407.3377},
eprinttype = {arXiv},
eprint = {1407.3377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EdelkampKE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CimattiEFMP14,
author = {Alessandro Cimatti and
Stefan Edelkamp and
Maria Fox and
Daniele Magazzeni and
Erion Plaku},
title = {Automated Planning and Model Checking (Dagstuhl Seminar 14482)},
journal = {Dagstuhl Reports},
volume = {4},
number = {11},
pages = {227--245},
year = {2014},
url = {https://doi.org/10.4230/DagRep.4.11.227},
doi = {10.4230/DAGREP.4.11.227},
timestamp = {Tue, 02 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CimattiEFMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaiscr/GathEH13,
author = {Max Gath and
Stefan Edelkamp and
Otthein Herzog},
title = {Agent-Based Dispatching Enables Autonomous Groupage Traffic},
journal = {J. Artif. Intell. Soft Comput. Res.},
volume = {3},
number = {1},
pages = {27},
year = {2013},
url = {https://doi.org/10.2478/jaiscr-2014-0003},
doi = {10.2478/JAISCR-2014-0003},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaiscr/GathEH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/EdelkampEK13,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
title = {Weak heaps engineered},
journal = {J. Discrete Algorithms},
volume = {23},
pages = {83--97},
year = {2013},
url = {https://doi.org/10.1016/j.jda.2013.07.002},
doi = {10.1016/J.JDA.2013.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jda/EdelkampEK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/TorralbaEK13,
author = {{\'{A}}lvaro Torralba and
Stefan Edelkamp and
Peter Kissmann},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Transition Trees for Cost-Optimal Symbolic Planning},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6027},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/TorralbaEK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmvc/StommelEWB13,
author = {Martin Stommel and
Stefan Edelkamp and
Thiemo Wiedemeyer and
Michael Beetz},
editor = {Tilo Burghardt and
Dima Damen and
Walterio W. Mayol{-}Cuevas and
Majid Mirmehdi},
title = {Fractal Approximate Nearest Neighbour Search in Log-Log Time},
booktitle = {British Machine Vision Conference, {BMVC} 2013, Bristol, UK, September
9-13, 2013},
publisher = {{BMVA} Press},
year = {2013},
url = {https://doi.org/10.5244/C.27.18},
doi = {10.5244/C.27.18},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmvc/StommelEWB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cipls/GathEH13,
author = {Max Gath and
Stefan Edelkamp and
Otthein Herzog},
title = {Agent-based dispatching in groupage traffic},
booktitle = {{IEEE} Symposium on Computational Intelligence In Production And Logistics
Systems, {CIPLS} 2013, Singapore, April 16-19, 2013},
pages = {54--60},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CIPLS.2013.6595200},
doi = {10.1109/CIPLS.2013.6595200},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cipls/GathEH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisched/EdelkampGCT13,
author = {Stefan Edelkamp and
Max Gath and
Tristan Cazenave and
Fabien Teytaud},
title = {Algorithm and knowledge engineering for the {TSPTW} problem},
booktitle = {2013 {IEEE} Symposium on Computational Intelligence in Scheduling,
CISched 2013, Singapore, Singapore, April 16-19, 2013},
pages = {44--51},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SCIS.2013.6613251},
doi = {10.1109/SCIS.2013.6613251},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cisched/EdelkampGCT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/EdelkampG13,
author = {Stefan Edelkamp and
Max Gath},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Optimal Decision Making in Agent-based Autonomous Groupage Traffic},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 1, Barcelona, Spain, 15-18
February, 2013},
pages = {248--254},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 01 Oct 2013 15:40:25 +0200},
biburl = {https://dblp.org/rec/conf/icaart/EdelkampG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/GreulichEGWHHS13,
author = {Christoph Greulich and
Stefan Edelkamp and
Max Gath and
Tobias Warden and
Malte Humann and
Otthein Herzog and
T. G. Sitharam},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Enhanced Shortest Path Computation for Multiagent-based Intermodal
Transport Planning in Dynamic Environments},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18
February, 2013},
pages = {324--329},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 01 Oct 2013 15:40:12 +0200},
biburl = {https://dblp.org/rec/conf/icaart/GreulichEGWHHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwoca/EdelkampEKW13,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen and
Armin Wei{\ss}},
editor = {Thierry Lecroq and
Laurent Mouchard},
title = {Weak Heaps and Friends: Recent Developments},
booktitle = {Combinatorial Algorithms - 24th International Workshop, {IWOCA} 2013,
Rouen, France, July 10-12, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8288},
pages = {1--6},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45278-9\_1},
doi = {10.1007/978-3-642-45278-9\_1},
timestamp = {Wed, 25 Sep 2019 18:08:04 +0200},
biburl = {https://dblp.org/rec/conf/iwoca/EdelkampEKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GreulichEG13,
author = {Christoph Greulich and
Stefan Edelkamp and
Max Gath},
editor = {Ingo J. Timm and
Matthias Thimm},
title = {Agent-Based Multimodal Transport Planning in Dynamic Environments},
booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8077},
pages = {74--85},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40942-4\_7},
doi = {10.1007/978-3-642-40942-4\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/GreulichEG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/ElfersEM13,
author = {Carsten Elfers and
Stefan Edelkamp and
Hartmut Messerschmidt},
editor = {Ingo J. Timm and
Matthias Thimm},
title = {Combining Conditional Random Fields and Background Knowledge for Improved
Cyber Security},
booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8077},
pages = {284--287},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40942-4\_25},
doi = {10.1007/978-3-642-40942-4\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/ElfersEM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/WijsBE13,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings 2nd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2013, Rome, Italy, March 24, 2013},
series = {{EPTCS}},
volume = {138},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.138},
doi = {10.4204/EPTCS.138},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WijsBE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EdelkampW13,
author = {Stefan Edelkamp and
Armin Wei{\ss}},
title = {QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons
on Average},
journal = {CoRR},
volume = {abs/1307.3033},
year = {2013},
url = {http://arxiv.org/abs/1307.3033},
eprinttype = {arXiv},
eprint = {1307.3033},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EdelkampW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0027983,
author = {Stefan Edelkamp and
Stefan Schr{\"{o}}dl},
title = {Heuristic Search - Theory and Applications},
publisher = {Academic Press},
year = {2012},
url = {http://www.elsevierdirect.com/product.jsp?isbn=9780123725127},
isbn = {978-0-12-372512-7},
timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0027983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jda/EdelkampEK12,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
title = {The weak-heap data structure: Variants and applications},
journal = {J. Discrete Algorithms},
volume = {16},
pages = {187--205},
year = {2012},
url = {https://doi.org/10.1016/j.jda.2012.04.010},
doi = {10.1016/J.JDA.2012.04.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jda/EdelkampEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/EdelkampEK12,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
editor = {Juli{\'{a}}n Mestre},
title = {The Weak-Heap Family of Priority Queues in Theory and Praxis},
booktitle = {Eighteenth Computing: The Australasian Theory Symposium, {CATS} 2012,
Melbourne, Australia, January 2012},
series = {{CRPIT}},
volume = {128},
pages = {103--112},
publisher = {Australian Computer Society},
year = {2012},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV128Edelkamp.html},
timestamp = {Mon, 08 Feb 2021 13:26:47 +0100},
biburl = {https://dblp.org/rec/conf/cats/EdelkampEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EdelkampKT12,
author = {Stefan Edelkamp and
Peter Kissmann and
{\'{A}}lvaro Torralba},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Symbolic A\({}^{\mbox{*}}\) Search with Pattern Databases and the
Merge-and-Shrink Abstraction},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {306--311},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-306},
doi = {10.3233/978-1-61499-098-7-306},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EdelkampKT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/ElfersEH12,
author = {Carsten Elfers and
Stefan Edelkamp and
Otthein Herzog},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Efficient Tolerant Pattern Matching with Constraint Abstractions in
Description Logic},
booktitle = {{ICAART} 2012 - Proceedings of the 4th International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Vilamoura, Algarve, Portugal, 6-8 February, 2012},
pages = {256--261},
publisher = {SciTePress},
year = {2012},
timestamp = {Thu, 03 May 2012 17:45:15 +0200},
biburl = {https://dblp.org/rec/conf/icaart/ElfersEH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwoca/EdelkampEK12,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
editor = {S. Arumugam and
W. F. Smyth},
title = {A Catalogue of Algorithms for Building Weak Heaps},
booktitle = {Combinatorial Algorithms, 23rd International Workshop, {IWOCA} 2012,
Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7643},
pages = {249--262},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35926-2\_27},
doi = {10.1007/978-3-642-35926-2\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwoca/EdelkampEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampFK12,
author = {Stefan Edelkamp and
Tim Federholzner and
Peter Kissmann},
editor = {Birte Glimm and
Antonio Kr{\"{u}}ger},
title = {Searching with Partial Belief States in General Games with Incomplete
Information},
booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German
Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7526},
pages = {25--36},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33347-7\_3},
doi = {10.1007/978-3-642-33347-7\_3},
timestamp = {Sat, 30 Sep 2023 09:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/ZastrauE12,
author = {David Zastrau and
Stefan Edelkamp},
editor = {Birte Glimm and
Antonio Kr{\"{u}}ger},
title = {Stochastic Gradient Descent with {GPGPU}},
booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German
Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7526},
pages = {193--204},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33347-7\_17},
doi = {10.1007/978-3-642-33347-7\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/ZastrauE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ChenEEK12,
author = {Jingsen Chen and
Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
editor = {Branislav Rovan and
Vladimiro Sassone and
Peter Widmayer},
title = {In-place Heap Construction with Optimized Comparisons, Moves, and
Cache Misses},
booktitle = {Mathematical Foundations of Computer Science 2012 - 37th International
Symposium, {MFCS} 2012, Bratislava, Slovakia, August 27-31, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7464},
pages = {259--270},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32589-2\_25},
doi = {10.1007/978-3-642-32589-2\_25},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ChenEEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/EdelkampS12,
author = {Stefan Edelkamp and
Martin Stommel},
editor = {Peter A. Flach and
Tijl De Bie and
Nello Cristianini},
title = {The Bitvector Machine: {A} Fast and Robust Machine Learning Algorithm
for Non-linear Problems},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2012, Bristol, UK, September 24-28, 2012. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7523},
pages = {175--190},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33460-3\_17},
doi = {10.1007/978-3-642-33460-3\_17},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/EdelkampS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6415,
author = {Stefan Edelkamp and
Peter Kissmann and
{\'{A}}lvaro Torralba},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Lex-Partitioning: {A} New Option for {BDD} Search},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {66--82},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.8},
doi = {10.4204/EPTCS.99.8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-6118,
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99},
doi = {10.4204/EPTCS.99},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/KissmannE11,
author = {Peter Kissmann and
Stefan Edelkamp},
title = {Gamer, a General Game Playing Agent},
journal = {K{\"{u}}nstliche Intell.},
volume = {25},
number = {1},
pages = {49--52},
year = {2011},
url = {https://doi.org/10.1007/s13218-010-0078-3},
doi = {10.1007/S13218-010-0078-3},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/KissmannE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdelkampSBBS11,
author = {Stefan Edelkamp and
Damian Sulewski and
Jiri Barnat and
Lubos Brim and
Pavel Simecek},
title = {Flash memory efficient {LTL} model checking},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {136--157},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.005},
doi = {10.1016/J.SCICO.2010.03.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/EdelkampSBBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiESW11,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Damian Sulewski and
Anton Wijs},
title = {Parallel probabilistic model checking on general purpose graphics
processors},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {1},
pages = {21--35},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0176-4},
doi = {10.1007/S10009-010-0176-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiESW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampK11,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Wolfram Burgard and
Dan Roth},
title = {On the Complexity of BDDs for State Space Search: {A} Case Study in
Connect Four},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {18--23},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7821},
doi = {10.1609/AAAI.V25I1.7821},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KissmannE11,
author = {Peter Kissmann and
Stefan Edelkamp},
editor = {Wolfram Burgard and
Dan Roth},
title = {Improving Cost-Optimal Domain-Independent Symbolic Planning},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {992--997},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.8009},
doi = {10.1609/AAAI.V25I1.8009},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KissmannE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SulewskiEK11,
author = {Damian Sulewski and
Stefan Edelkamp and
Peter Kissmann},
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Exploiting the Computational Power of the Graphics Card: Optimal State
Space Planning on the {GPU}},
booktitle = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2699},
timestamp = {Tue, 28 Jun 2011 14:20:04 +0200},
biburl = {https://dblp.org/rec/conf/aips/SulewskiEK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwoca/EdelkampEK11,
author = {Stefan Edelkamp and
Amr Elmasry and
Jyrki Katajainen},
editor = {Costas S. Iliopoulos and
William F. Smyth},
title = {Two Constant-Factor-Optimal Realizations of Adaptive Heapsort},
booktitle = {Combinatorial Algorithms - 22nd International Workshop, {IWOCA} 2011,
Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7056},
pages = {195--208},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25011-8\_16},
doi = {10.1007/978-3-642-25011-8\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwoca/EdelkampEK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aips/2011,
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
timestamp = {Tue, 28 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2011,
editor = {Joscha Bach and
Stefan Edelkamp},
title = {{KI} 2011: Advances in Artificial Intelligence, 34th Annual German
Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7006},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24455-1},
doi = {10.1007/978-3-642-24455-1},
isbn = {978-3-642-24454-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0025,
author = {Stefan Edelkamp},
title = {Taming Numbers and Durations in the Model Checking Integrated Planning
System},
journal = {CoRR},
volume = {abs/1107.0025},
year = {2011},
url = {http://arxiv.org/abs/1107.0025},
eprinttype = {arXiv},
eprint = {1107.0025},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5663,
author = {Stefan Edelkamp and
J{\"{o}}rg Hoffmann},
title = {The Deterministic Part of {IPC-4:} An Overview},
journal = {CoRR},
volume = {abs/1109.5663},
year = {2011},
url = {http://arxiv.org/abs/1109.5663},
eprinttype = {arXiv},
eprint = {1109.5663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5663.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1016,
author = {Stefan Edelkamp and
Roman Englert and
J{\"{o}}rg Hoffmann and
Frederico dos S. Liporace and
Sylvie Thi{\'{e}}baux and
Sebastian Tr{\"{u}}g},
title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic
Part of {IPC-4}},
journal = {CoRR},
volume = {abs/1110.1016},
year = {2011},
url = {http://arxiv.org/abs/1110.1016},
eprinttype = {arXiv},
eprint = {1110.1016},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-1016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10,
author = {David W. Aha and
Mark S. Boddy and
Vadim Bulitko and
Artur S. d'Avila Garcez and
Prashant Doshi and
Stefan Edelkamp and
Christopher W. Geib and
Piotr J. Gmytrasiewicz and
Robert P. Goldman and
Pascal Hitzler and
Charles L. Isbell Jr. and
Darsana P. Josyula and
Leslie Pack Kaelbling and
Kristian Kersting and
Maithilee Kunda and
Lu{\'{\i}}s C. Lamb and
Bhaskara Marthi and
Keith McGreggor and
Vivi Nastase and
Gregory M. Provan and
Anita Raja and
Ashwin Ram and
Mark O. Riedl and
Stuart Russell and
Ashish Sabharwal and
Jan{-}Georg Smaus and
Gita Sukthankar and
Karl Tuyls and
Ron van der Meyden and
Alon Y. Halevy and
Lilyana Mihalkova and
Sriraam Natarajan},
title = {Reports of the {AAAI} 2010 Conference Workshops},
journal = {{AI} Mag.},
volume = {31},
number = {4},
pages = {95--108},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i4.2318},
doi = {10.1609/AIMAG.V31I4.2318},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiE10,
author = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model checking software: on some new waves and some evergreens},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {2},
pages = {89--95},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0155-9},
doi = {10.1007/S10009-010-0155-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampSY10,
author = {Stefan Edelkamp and
Damian Sulewski and
Cengizhan Y{\"{u}}cel},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {Perfect Hashing for State Space Exploration on the {GPU}},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {57--64},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1439},
timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
biburl = {https://dblp.org/rec/conf/aips/EdelkampSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KissmannE10,
author = {Peter Kissmann and
Stefan Edelkamp},
editor = {R{\"{u}}diger Dillmann and
J{\"{u}}rgen Beyerer and
Uwe D. Hanebeck and
Tanja Schultz},
title = {Instantiating General Games Using Prolog or Dependency Graphs},
booktitle = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6359},
pages = {255--262},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16111-7\_29},
doi = {10.1007/978-3-642-16111-7\_29},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KissmannE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampM10,
author = {Stefan Edelkamp and
Hartmut Messerschmidt},
editor = {R{\"{u}}diger Dillmann and
J{\"{u}}rgen Beyerer and
Uwe D. Hanebeck and
Tanja Schultz},
title = {Strongly Solving Fox-and-Geese on Multi-core {CPU}},
booktitle = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6359},
pages = {291--298},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16111-7\_33},
doi = {10.1007/978-3-642-16111-7\_33},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkwi/SauerES10,
author = {J{\"{u}}rgen Sauer and
Stefan Edelkamp and
Bernd Schattenberg},
editor = {Matthias Schumann and
Lutz M. Kolbe and
Michael H. Breitner and
Arne Frerichs},
title = {Vorwort},
booktitle = {Multikonferenz Wirtschaftsinformatik, {MKWI} 2010, G{\"{o}}ttingen,
Deutschland, 23.-25.2.2010, Proceedings},
pages = {2231--2232},
publisher = {Universit{\"{a}}tsverlag G{\"{o}}ttingen},
year = {2010},
url = {http://webdoc.sub.gwdg.de/univerlag/2010/mkwi/03\_anwendungen/planen\_scheduling/00\_vorwort.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkwi/SauerES10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkwi/EdelkampKSM10,
author = {Stefan Edelkamp and
Peter Kissmann and
Damian Sulewski and
Hartmut Messerschmidt},
editor = {Matthias Schumann and
Lutz M. Kolbe and
Michael H. Breitner and
Arne Frerichs},
title = {Finding the Needle in the Haystack with Heuristically Guided Swarm
Tree Search},
booktitle = {Multikonferenz Wirtschaftsinformatik, {MKWI} 2010, G{\"{o}}ttingen,
Deutschland, 23.-25.2.2010, Proceedings},
pages = {2295--2308},
publisher = {Universit{\"{a}}tsverlag G{\"{o}}ttingen},
year = {2010},
url = {http://webdoc.sub.gwdg.de/univerlag/2010/mkwi/03\_anwendungen/planen\_scheduling/05\_finding\_the\_needle\_in\_the\_haystack.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkwi/EdelkampKSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampS10,
author = {Stefan Edelkamp and
Damian Sulewski},
editor = {Ron van der Meyden and
Jan{-}Georg Smaus},
title = {External Memory Breadth-First Search with Delayed Duplicate Detection
on the {GPU}},
booktitle = {Model Checking and Artificial Intelligence - 6th International Workshop,
MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6572},
pages = {12--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20674-0\_2},
doi = {10.1007/978-3-642-20674-0\_2},
timestamp = {Thu, 14 Oct 2021 10:40:12 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampKS10,
author = {Stefan Edelkamp and
Mark Kellershoff and
Damian Sulewski},
editor = {Ron van der Meyden and
Jan{-}Georg Smaus},
title = {Program Model Checking via Action Planning},
booktitle = {Model Checking and Artificial Intelligence - 6th International Workshop,
MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6572},
pages = {32--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20674-0\_3},
doi = {10.1007/978-3-642-20674-0\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/EdelkampSY10,
author = {Stefan Edelkamp and
Damian Sulewski and
Cengizhan Y{\"{u}}cel},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {{GPU} Exploration of Two-Player Games with Perfect Hash Functions},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {23--30},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18167},
doi = {10.1609/SOCS.V1I1.18167},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/EdelkampSY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/KissmannE10,
author = {Peter Kissmann and
Stefan Edelkamp},
editor = {Ariel Felner and
Nathan R. Sturtevant},
title = {Layer-Abstraction for Symbolically Solving General Two-Player Games},
booktitle = {Proceedings of the Third Annual Symposium on Combinatorial Search,
{SOCS} 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010},
pages = {63--70},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/socs.v1i1.18170},
doi = {10.1609/SOCS.V1I1.18170},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/KissmannE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampS10,
author = {Stefan Edelkamp and
Damian Sulewski},
editor = {Jaco van de Pol and
Michael Weber},
title = {Efficient Explicit-State Model Checking on General Purpose Graphics
Processors},
booktitle = {Model Checking Software - 17th International {SPIN} Workshop, Enschede,
The Netherlands, September 27-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6349},
pages = {106--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16164-3\_8},
doi = {10.1007/978-3-642-16164-3\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/BruunEKR10,
author = {Asger Bruun and
Stefan Edelkamp and
Jyrki Katajainen and
Jens Rasmussen},
editor = {Paola Festa},
title = {Policy-Based Benchmarking of Weak Heaps and Their Relatives,},
booktitle = {Experimental Algorithms, 9th International Symposium, {SEA} 2010,
Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6049},
pages = {424--435},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13193-6\_36},
doi = {10.1007/978-3-642-13193-6\_36},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/wea/BruunEKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EdelkampK09,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Craig Boutilier},
title = {Optimal Symbolic Planning with Action Costs and Preferences},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {1690--1695},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/282.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EdelkampK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KissmannE09,
author = {Peter Kissmann and
Stefan Edelkamp},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Solving Fully-Observable Non-deterministic Planning Problems via Translation
into a General Game},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {1--8},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_1},
doi = {10.1007/978-3-642-04617-9\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KissmannE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/DietzfelbingerE09,
author = {Martin Dietzfelbinger and
Stefan Edelkamp},
editor = {B{\"{a}}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {Perfect Hashing for State Spaces in {BDD} Representation},
booktitle = {{KI} 2009: Advances in Artificial Intelligence, 32nd Annual German
Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5803},
pages = {33--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04617-9\_5},
doi = {10.1007/978-3-642-04617-9\_5},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/DietzfelbingerE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiES09,
author = {Dragan Bosnacki and
Stefan Edelkamp and
Damian Sulewski},
editor = {Corina S. Pasareanu},
title = {Efficient Probabilistic Model Checking on General Purpose Graphics
Processors},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {32--49},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_7},
doi = {10.1007/978-3-642-02652-2\_7},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiES09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9491,
editor = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
title = {Graph Search Engineering, 29.11. - 04.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09491},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09491/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ai/EdelkampJ09,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Disk-Based Search},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {501--506},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10293},
timestamp = {Mon, 22 May 2023 11:26:05 +0200},
biburl = {https://dblp.org/rec/reference/ai/EdelkampJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ai/Edelkamp09,
author = {Stefan Edelkamp},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Symbolic Search},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {1549--1554},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10444},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/ai/Edelkamp09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BrimEHS09,
author = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
editor = {Lubos Brim and
Stefan Edelkamp and
Eric A. Hansen and
Peter Sanders},
title = {09491 Abstracts Collection - Graph Search Engineering},
booktitle = {Graph Search Engineering, 29.11. - 04.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09491},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2431/},
timestamp = {Thu, 10 Jun 2021 13:02:03 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BrimEHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/EdelkampJMRS08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Dino Midzic and
Daniel Rikowski and
Damian Sulewski},
title = {External Memory Search for Verification of Multi-threaded {C++} Programs},
journal = {K{\"{u}}nstliche Intell.},
volume = {22},
number = {2},
pages = {44--50},
year = {2008},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/pdf/ki2008-02\_page44\_web\_teaser.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/EdelkampJMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BorowskyE08,
author = {Bj{\"{o}}rn Ulrich Borowsky and
Stefan Edelkamp},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Optimal Metric Planning with State Sets in Automata Representation},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {874--879},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-139.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BorowskyE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampK08,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Limits and Possibilities of BDDs in State Space Search},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1452--1453},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-233.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EdelkampSS08,
author = {Stefan Edelkamp and
Peter Sanders and
Pavel Simecek},
editor = {Aarti Gupta and
Sharad Malik},
title = {Semi-external {LTL} Model Checking},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {530--542},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_50},
doi = {10.1007/978-3-540-70545-1\_50},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/EdelkampSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KissmannE08,
author = {Peter Kissmann and
Stefan Edelkamp},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Symbolic Classification of General Multi-Player Games},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {905--906},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-905},
doi = {10.3233/978-1-58603-891-5-905},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/KissmannE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BarnatBESS08,
author = {Jiri Barnat and
Lubos Brim and
Stefan Edelkamp and
Damian Sulewski and
Pavel Simecek},
editor = {Darren D. Cofer and
Alessandro Fantechi},
title = {Can Flash Memory Help in Model Checking?},
booktitle = {Formal Methods for Industrial Critical Systems, 13th International
Workshop, {FMICS} 2008, L'Aquila, Italy, September 15-16, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {150--165},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-03240-0\_14},
doi = {10.1007/978-3-642-03240-0\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BarnatBESS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampK08,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Limits and Possibilities of BDDs in State Space Search},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {46--53},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_6},
doi = {10.1007/978-3-540-85845-4\_6},
timestamp = {Fri, 13 Sep 2019 15:47:19 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampK08a,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Symbolic Classification of General Two-Player Games},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {185--192},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_23},
doi = {10.1007/978-3-540-85845-4\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampK08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampK08b,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Andreas Dengel and
Karsten Berns and
Thomas M. Breuel and
Frank Bomarius and
Thomas Roth{-}Berghofer},
title = {Partial Symbolic Pattern Databases for Optimal Sequential Planning},
booktitle = {{KI} 2008: Advances in Artificial Intelligence, 31st Annual German
Conference on AI, {KI} 2008, Kaiserslautern, Germany, September 23-26,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5243},
pages = {193--200},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85845-4\_24},
doi = {10.1007/978-3-540-85845-4\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampK08b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/BakeraEKR08,
author = {Marco Bakera and
Stefan Edelkamp and
Peter Kissmann and
Clemens D. Renner},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Solving {\(\mathrm{\mu}\)}-Calculus Parity Games by Symbolic Planning},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {15--33},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_2},
doi = {10.1007/978-3-642-00431-5\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/BakeraEKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJK08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Peter Kissmann},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Scaling Search with Pattern Databases},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {49--64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_4},
doi = {10.1007/978-3-642-00431-5\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampJK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampSBWFA08,
author = {Stefan Edelkamp and
Viktor Schuppan and
Dragan Bosnacki and
Anton Wijs and
Ansgar Fehnker and
Husain Aljazzar},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Survey on Directed Model Checking},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {65--89},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_5},
doi = {10.1007/978-3-642-00431-5\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampSBWFA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/EdelkampS08,
author = {Stefan Edelkamp and
Damian Sulewski},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Flash-Efficient {LTL} Model Checking with Minimal Counterexamples},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {73--82},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.34},
doi = {10.1109/SEFM.2008.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/EdelkampS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SauerE07,
author = {J{\"{u}}rgen Sauer and
Stefan Edelkamp},
title = {20 Jahre PuK},
journal = {K{\"{u}}nstliche Intell.},
volume = {21},
number = {1},
pages = {4},
year = {2007},
url = {http://www.kuenstliche-intelligenz.de/fileadmin/template/main/archiv/2007\_1/gasteditorial-2007-01-web.pdf},
timestamp = {Fri, 27 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/SauerE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Edelkamp07,
author = {Stefan Edelkamp},
title = {Von Blocksworld bis zur Pipesworld},
journal = {K{\"{u}}nstliche Intell.},
volume = {21},
number = {1},
pages = {23--25},
year = {2007},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7754\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1249\&\#38;cHash=d8c508237b},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Edelkamp07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Edelkamp07a,
author = {Stefan Edelkamp},
title = {Automated Planning: Theory and Practice},
journal = {K{\"{u}}nstliche Intell.},
volume = {21},
number = {1},
pages = {42--43},
year = {2007},
url = {http://www.kuenstliche-intelligenz.de/index.php?id=7754\&\#38;tx\_ki\_pi1\%5BshowUid\%5D=1255\&\#38;cHash=9f84814017},
timestamp = {Thu, 09 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Edelkamp07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/EdelkampJB07,
author = {Stefan Edelkamp and
Shahid Jabbar and
Blai Bonet},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {External Memory Value Iteration},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {128--135},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-017.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/EdelkampJB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/DrozdzynskiEGJL07,
author = {Maik Drozdzynski and
Stefan Edelkamp and
Andreas Gaubatz and
Shahid Jabbar and
Miguel Liebe},
title = {On Constructing a Base Map for Collaborative Map Generation and its
Application in Urban Mobility Planning},
booktitle = {{IEEE} Intelligent Transportation Systems Conference, {ITSC} 2007,
Seattle, WA, USA, 30 September-3 October 2007},
pages = {678--683},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ITSC.2007.4357785},
doi = {10.1109/ITSC.2007.4357785},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/DrozdzynskiEGJL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/KahlEH07,
author = {Kenneth Kahl and
Stefan Edelkamp and
Lars Hildebrand},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Learning How to Play Hex},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {382--396},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_29},
doi = {10.1007/978-3-540-74565-5\_29},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/KahlEH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampK07,
author = {Stefan Edelkamp and
Peter Kissmann},
editor = {Joachim Hertzberg and
Michael Beetz and
Roman Englert},
title = {Externalizing the Multiple Sequence Alignment Problem with Affine
Gap Costs},
booktitle = {{KI} 2007: Advances in Artificial Intelligence, 30th Annual German
Conference on AI, {KI} 2007, Osnabr{\"{u}}ck, Germany, September
10-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4667},
pages = {444--447},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74565-5\_36},
doi = {10.1007/978-3-540-74565-5\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampJS08,
author = {Stefan Edelkamp and
Shahid Jabbar and
Damian Sulewski},
editor = {Ivana Cern{\'{a}} and
Boudewijn R. Haverkort},
title = {Distributed Verification of Multi-threaded {C++} Programs},
booktitle = {Proceedings of the 6th International Workshop on Parallel and Distributed
Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {198},
number = {1},
pages = {33--46},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.10.019},
doi = {10.1016/J.ENTCS.2007.10.019},
timestamp = {Mon, 13 Feb 2023 09:23:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6172,
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06172/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mochart/2006,
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74128-2},
doi = {10.1007/978-3-540-74128-2},
isbn = {978-3-540-74127-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2007,
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6},
doi = {10.1007/978-3-540-73370-6},
isbn = {978-3-540-73369-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannETELT06,
author = {J{\"{o}}rg Hoffmann and
Stefan Edelkamp and
Sylvie Thi{\'{e}}baux and
Roman Englert and
Frederico dos S. Liporace and
Sebastian Tr{\"{u}}g},
title = {Engineering Benchmarks for Planning: the Domains Used in the Deterministic
Part of {IPC-4}},
journal = {J. Artif. Intell. Res.},
volume = {26},
pages = {453--541},
year = {2006},
url = {https://doi.org/10.1613/jair.1982},
doi = {10.1613/JAIR.1982},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannETELT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
title = {Cost-Optimal External Planning},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {821--826},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-130.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Edelkamp06,
author = {Stefan Edelkamp},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {On the Compilation of Plan Constraints and Preferences},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {374--377},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-044.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Edelkamp06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Edelkamp06,
author = {Stefan Edelkamp},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Cost-Optimal Symbolic Planning with State Trajectory and Preference
Constraints},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {841--842},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Edelkamp06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EdelkampJL06,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Heuristic Search for the Analysis of Graph Transition Systems},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {414--429},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_29},
doi = {10.1007/11841883\_29},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/EdelkampJL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/Edelkamp06,
author = {Stefan Edelkamp},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Automated Creation of Pattern Database Search Heuristics},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {35--50},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_3},
doi = {10.1007/978-3-540-74128-2\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/Edelkamp06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Real-Time Model Checking on Secondary Storage},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {67--83},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_5},
doi = {10.1007/978-3-540-74128-2\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mochart/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Antti Valmari},
title = {Large-Scale Directed Model Checking {LTL}},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {1--18},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_1},
doi = {10.1007/11691617\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE06,
author = {Shahid Jabbar and
Stefan Edelkamp},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Parallel External Directed Model Checking with Linear {I/O}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {237--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_16},
doi = {10.1007/11609773\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JabbarE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdelkampLV06,
author = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {06172 Executive Summary -- Directed Model Checking},
booktitle = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/944},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdelkampLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdelkampLV06a,
author = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {06172 Abstracts Collection -- Directed Model Checking},
booktitle = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/946},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdelkampLV06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoffmannE05,
author = {J{\"{o}}rg Hoffmann and
Stefan Edelkamp},
title = {The Deterministic Part of {IPC-4:} An Overview},
journal = {J. Artif. Intell. Res.},
volume = {24},
pages = {519--579},
year = {2005},
url = {https://doi.org/10.1613/jair.1677},
doi = {10.1613/JAIR.1677},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoffmannE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/EdelkampJW05,
author = {Stefan Edelkamp and
Shahid Jabbar and
Thomas Willhalm},
title = {Geometric travel planning},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {6},
number = {1},
pages = {5--16},
year = {2005},
url = {https://doi.org/10.1109/TITS.2004.838182},
doi = {10.1109/TITS.2004.838182},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/EdelkampJW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampJL05,
author = {Stefan Edelkamp and
Shahid Jabbar and
Alberto Lluch{-}Lafuente},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Cost-Algebraic Heuristic Search},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {1362--1367},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-216.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Edelkamp05,
author = {Stefan Edelkamp},
editor = {Susanne Biundo and
Karen L. Myers and
Kanna Rajan},
title = {External Symbolic Heuristic Search with Pattern Databases},
booktitle = {Proceedings of the Fifteenth International Conference on Automated
Planning and Scheduling {(ICAPS} 2005), June 5-10 2005, Monterey,
California, {USA}},
pages = {51--60},
publisher = {{AAAI}},
year = {2005},
url = {http://www.aaai.org/Library/ICAPS/2005/icaps05-006.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Edelkamp05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JabbarE05,
author = {Shahid Jabbar and
Stefan Edelkamp},
editor = {Radhia Cousot},
title = {{I/O} Efficient Directed Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {313--329},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_21},
doi = {10.1007/978-3-540-30579-8\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/JabbarE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampJ06,
author = {Stefan Edelkamp and
Shahid Jabbar},
editor = {Charles Pecheur and
Brian Williams},
title = {Action Planning for Directed Model Checking of Petri Nets},
booktitle = {Proceedings of the Third Workshop on Model Checking and Artificial
Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August
27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {2},
pages = {3--18},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.023},
doi = {10.1016/J.ENTCS.2005.07.023},
timestamp = {Thu, 15 Dec 2022 15:43:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MehlerE06,
author = {Tilman Mehler and
Stefan Edelkamp},
editor = {Charles Pecheur and
Brian Williams},
title = {Dynamic Incremental Hashing in Program Model Checking},
booktitle = {Proceedings of the Third Workshop on Model Checking and Artificial
Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August
27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {2},
pages = {51--69},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.07.026},
doi = {10.1016/J.ENTCS.2005.07.026},
timestamp = {Thu, 15 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MehlerE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Directed explicit-state model checking in the validation of communication
protocols},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {247--267},
year = {2004},
url = {https://doi.org/10.1007/s10009-002-0104-3},
doi = {10.1007/S10009-002-0104-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04a,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction and trail improvement in directed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {277--301},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0151-z},
doi = {10.1007/S10009-004-0151-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp04,
author = {Stefan Edelkamp},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {Generalizing the Relaxed Planning Heuristic to Non-linear Tasks},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {198--212},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_16},
doi = {10.1007/978-3-540-30221-6\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Edelkamp04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampJS04,
author = {Stefan Edelkamp and
Shahid Jabbar and
Stefan Schr{\"{o}}dl},
editor = {Susanne Biundo and
Thom W. Fr{\"{u}}hwirth and
G{\"{u}}nther Palm},
title = {External A*},
booktitle = {{KI} 2004: Advances in Artificial Intelligence, 27th Annual German
Conference on AI, {KI} 2004, Ulm, Germany, September 20-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3238},
pages = {226--240},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30221-6\_18},
doi = {10.1007/978-3-540-30221-6\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampJS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LevenME04,
author = {Peter Leven and
Tilman Mehler and
Stefan Edelkamp},
editor = {Susanne Graf and
Laurent Mounier},
title = {Directed Error Detection in {C++} with the Assembly-Level Model Checker
StEAM},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {39--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_4},
doi = {10.1007/978-3-540-24732-6\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LevenME04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Edelkamp03,
author = {Stefan Edelkamp},
title = {Taming Numbers and Durations in the Model Checking Integrated Planning
System},
journal = {J. Artif. Intell. Res.},
volume = {20},
pages = {195--238},
year = {2003},
url = {https://doi.org/10.1613/jair.1302},
doi = {10.1613/JAIR.1302},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Edelkamp03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EdelkampS03,
author = {Stefan Edelkamp and
Stefan Schr{\"{o}}dl},
editor = {Rolf Klein and
Hans{-}Werner Six and
Lutz M. Wegner},
title = {Route Planning and Map Inference with Global Positioning Traces},
booktitle = {Computer Science in Perspective, Essays Dedicated to Thomas Ottmann},
series = {Lecture Notes in Computer Science},
volume = {2598},
pages = {128--151},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36477-3\_10},
doi = {10.1007/3-540-36477-3\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EdelkampS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/EdelkampJW03,
author = {Stefan Edelkamp and
Shahid Jabbar and
Thomas Willhalm},
editor = {Lothar Hotz and
Thorsten Krebs},
title = {Accelerating Heuristic Search in Spatial Domains},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2003), Jahrestagung
K{\"{u}}nstliche Intelligenz 2003 {(KI-2003)} Hamburg, 15.-18.
September 2003},
year = {2003},
url = {http://www.puk-workshop.de/puk2003/paper/edelkamp\_puk2003.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/puk/EdelkampJW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Edelkamp03,
author = {Stefan Edelkamp},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {Promela Planning},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {197--212},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_13},
doi = {10.1007/3-540-44829-2\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Edelkamp03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/EdelkampS02,
author = {Stefan Edelkamp and
Patrick Stiegeler},
title = {Implementing {HEAPSORT} with (n logn - 0.9n) and {QUICKSORT} with
(n logn + 0.2n) Comparisons},
journal = {{ACM} J. Exp. Algorithmics},
volume = {7},
pages = {5},
year = {2002},
url = {https://doi.org/10.1145/944618.944623},
doi = {10.1145/944618.944623},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jea/EdelkampS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Edelkamp02a,
author = {Stefan Edelkamp},
editor = {Maria Fox and
Alexandra M. Coddington},
title = {Mixed Propositional and Numeric Planning in the Model Checking Integrated
Planning System},
booktitle = {{AIPS} 2002 Workshop on Planning for Temporal Domains, Toulous, France,
April 24, 2002},
pages = {47--55},
year = {2002},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/aips/Edelkamp02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Edelkamp02,
author = {Stefan Edelkamp},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Symbolic Pattern Databases in Heuristic Search Planning},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {274--283},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-028.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Edelkamp02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Edelkamp02,
author = {Stefan Edelkamp},
editor = {Ulrich Meyer and
Peter Sanders and
Jop F. Sibeyn},
title = {Memory Limitations in Artificial Intelligence},
booktitle = {Algorithms for Memory Hierarchies, Advanced Lectures [Dagstuhl Research
Seminar, March 10-14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2625},
pages = {233--250},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36574-5\_11},
doi = {10.1007/3-540-36574-5\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Edelkamp02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EdelkampL02,
author = {Stefan Edelkamp and
Peter Leven},
editor = {Matthias Baaz and
Andrei Voronkov},
title = {Directed Automated Theorem Proving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2514},
pages = {145--159},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36078-6\_10},
doi = {10.1007/3-540-36078-6\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EdelkampL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Edelkamp02,
author = {Stefan Edelkamp},
editor = {J{\"{u}}rgen Sauer},
title = {Taming Numbers and Durations in the Model Checking Integrated Planning
System},
booktitle = {Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg,
10./ 11.10.2002},
year = {2002},
url = {http://www.puk-workshop.de/puk2002/papers/edelkamp.pdf},
timestamp = {Fri, 27 Nov 2020 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/puk/Edelkamp02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Lluch-LafuenteEL02,
author = {Alberto Lluch{-}Lafuente and
Stefan Edelkamp and
Stefan Leue},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Partial Order Reduction in Directed Model Checking},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {112--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_10},
doi = {10.1007/3-540-46017-9\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Lluch-LafuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KorfRE01,
author = {Richard E. Korf and
Michael Reid and
Stefan Edelkamp},
title = {Time complexity of iterative-deepening-A\({}^{\mbox{*}}\)},
journal = {Artif. Intell.},
volume = {129},
number = {1-2},
pages = {199--218},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(01)00094-7},
doi = {10.1016/S0004-3702(01)00094-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KorfRE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/EdelkampH01,
author = {Stefan Edelkamp and
Malte Helmert},
title = {{MIPS:} The Model-Checking Integrated Planning System},
journal = {{AI} Mag.},
volume = {22},
number = {3},
pages = {67--72},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i3.1574},
doi = {10.1609/AIMAG.V22I3.1574},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/EdelkampH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp01,
author = {Stefan Edelkamp},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Prediction of Regular Search Tree Growth by Spectral Analysis},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {154--168},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_12},
doi = {10.1007/3-540-45422-5\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Edelkamp01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampM01,
author = {Stefan Edelkamp and
Ulrich Meyer},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Theory and Practice of Time-Space Trade-Offs in Memory Limited Search},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {169--184},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_13},
doi = {10.1007/3-540-45422-5\_13},
timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HuffnerEFN01,
author = {Falk H{\"{u}}ffner and
Stefan Edelkamp and
Henning Fernau and
Rolf Niedermeier},
editor = {Franz Baader and
Gerhard Brewka and
Thomas Eiter},
title = {Finding Optimal Solutions to Atomix},
booktitle = {{KI} 2001: Advances in Artificial Intelligence, Joint German/Austrian
Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2174},
pages = {229--243},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45422-5\_17},
doi = {10.1007/3-540-45422-5\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ki/HuffnerEFN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Matthew B. Dwyer},
title = {Directed Explicit Model Checking with {HSF-SPIN}},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {57--79},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_5},
doi = {10.1007/3-540-45139-0\_5},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Scott D. Stoller and
Willem Visser},
title = {Trail-directed model checking},
booktitle = {Workshop on Software Model Checking 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {3},
pages = {343--356},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00261-0},
doi = {10.1016/S1571-0661(04)00261-0},
timestamp = {Mon, 05 Dec 2022 12:31:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampS00,
author = {Stefan Edelkamp and
Stefan Schr{\"{o}}dl},
editor = {Henry A. Kautz and
Bruce W. Porter},
title = {Localizing A\({}^{\mbox{*}}\)},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
and Twelfth Conference on on Innovative Applications of Artificial
Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
pages = {885--890},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2000},
url = {http://www.aaai.org/Library/AAAI/2000/aaai00-136.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Edelkamp00,
author = {Stefan Edelkamp},
editor = {Kurt Mehlhorn and
Gregor Snelting},
title = {Neue Wege in der Exploration},
booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
2000},
series = {Informatik aktuell},
pages = {65--77},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-642-58322-3\_8},
doi = {10.1007/978-3-642-58322-3\_8},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/Edelkamp00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/puk/Edelkamp00,
author = {Stefan Edelkamp},
title = {Heuristic Search Planning with BDDs},
booktitle = {Proceedings of the 14th Workshop "New Results in Planning, Scheduling
and Design" (PuK2000), Berlin, 21-22 August 2000},
year = {2000},
url = {http://www.puk-workshop.de/puk2000/papers/edelkamp.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/puk/Edelkamp00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EdelkampW00,
author = {Stefan Edelkamp and
Ingo Wegener},
editor = {Horst Reichel and
Sophie Tison},
title = {On the Performance of {WEAK-HEAPSORT}},
booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer
Science, Lille, France, February 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1770},
pages = {254--266},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46541-3\_21},
doi = {10.1007/3-540-46541-3\_21},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EdelkampW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wae/EdelkampS00,
author = {Stefan Edelkamp and
Patrick Stiegeler},
editor = {Stefan N{\"{a}}her and
Dorothea Wagner},
title = {Pushing the Limits in Sequential Sorting},
booktitle = {Algorithm Engineering, 4th International Workshop, {WAE} 2000, Saarbr{\"{u}}cken,
Germany, September 5-8, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1982},
pages = {39--50},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44691-5\_4},
doi = {10.1007/3-540-44691-5\_4},
timestamp = {Fri, 07 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wae/EdelkampS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0097312,
author = {Stefan Edelkamp},
title = {Datenstrukturen und Lernverfahren in der Zustandsraumsuche},
school = {University of Freiburg, Freiburg im Breisgau, Germany},
year = {1999},
url = {https://d-nb.info/956341403},
isbn = {978-3-89601-201-2},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0097312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Edelkamp99,
author = {Stefan Edelkamp},
title = {Datenstrukturen und Lernverfahren in der Zustandsraumsuche},
journal = {K{\"{u}}nstliche Intell.},
volume = {13},
number = {3},
pages = {49--51},
year = {1999},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Edelkamp99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecp/EdelkampH99,
author = {Stefan Edelkamp and
Malte Helmert},
editor = {Susanne Biundo and
Maria Fox},
title = {Exhibiting Knowledge in Planning Problems to Minimize State Encoding
Length},
booktitle = {Recent Advances in {AI} Planning, 5th European Conference on Planning,
ECP'99, Durham, UK, September 8-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1809},
pages = {135--147},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720246\_11},
doi = {10.1007/10720246\_11},
timestamp = {Tue, 02 Nov 2021 15:59:06 +0100},
biburl = {https://dblp.org/rec/conf/ecp/EdelkampH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ReffelE99,
author = {Frank Reffel and
Stefan Edelkamp},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Error Detection with Directed Symbolic Model Checking},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {195--211},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_13},
doi = {10.1007/3-540-48119-2\_13},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ReffelE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/SchrodlE99,
author = {Stefan Schr{\"{o}}dl and
Stefan Edelkamp},
editor = {Wolfram Burgard and
Thomas Christaller and
Armin B. Cremers},
title = {Inferring Flow of Control in Program Synthesis by Example},
booktitle = {{KI-99:} Advances in Artificial Intelligence, 23rd Annual German Conference
on Artificial Intelligence, Bonn, Germany, September 13-15, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1701},
pages = {171--182},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48238-5\_14},
doi = {10.1007/3-540-48238-5\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/SchrodlE99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR99-028,
author = {Stefan Edelkamp and
Ingo Wegener},
title = {On the performance of {WEAK-HEAPSORT}},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR99-028}},
year = {1999},
url = {https://eccc.weizmann.ac.il/eccc-reports/1999/TR99-028/index.html},
eprinttype = {ECCC},
eprint = {TR99-028},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/ECCC-TR99-028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EdelkampK98,
author = {Stefan Edelkamp and
Richard E. Korf},
editor = {Jack Mostow and
Chuck Rich},
title = {The Branching Factor of Regular Search Spaces},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {299--304},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-042.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EdelkampK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Edelkamp98,
author = {Stefan Edelkamp},
editor = {Henri Prade},
title = {Updating Shortest Paths},
booktitle = {13th European Conference on Artificial Intelligence, Brighton, UK,
August 23-28 1998, Proceedings.},
pages = {655--559},
publisher = {John Wiley and Sons},
year = {1998},
timestamp = {Wed, 31 Jul 2019 08:45:03 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Edelkamp98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/EdelkampR98,
author = {Stefan Edelkamp and
Frank Reffel},
editor = {Otthein Herzog and
Andreas G{\"{u}}nter},
title = {OBDDs in Heuristic Search},
booktitle = {{KI-98:} Advances in Artificial Intelligence, 22nd Annual German Conference
on Artificial Intelligence, Bremen, Germany, September 15-17, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1504},
pages = {81--92},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095430},
doi = {10.1007/BFB0095430},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/EdelkampR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Edelkamp97,
author = {Stefan Edelkamp},
editor = {Gerhard Brewka and
Christopher Habel and
Bernhard Nebel},
title = {Suffix Tree Automata in State Space Search},
booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference
on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1303},
pages = {381--384},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3540634932\_32},
doi = {10.1007/3540634932\_32},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Edelkamp97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
