Stefan Edelkamp

发表

Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, 2018, IEEE Robotics and Automation Letters.
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, 2005 .
Stefan Edelkamp, 2009, Encyclopedia of Artificial Intelligence.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2012, ECAI.
Stefan Edelkamp, Shahid Jabbar, Peter Kissmann, 2009, MoChArt.
Stefan Edelkamp, Denis Golubev, Christoph Greulich, 2016, KI.
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, ICAART.
Stefan Edelkamp, Erion Plaku, Baris Can Secim, 2017, TAROS.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2012, GRAPHITE.
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, 2005, AAAI.
Stefan Edelkamp, Willem Visser, Stefan Leue, 2006, Directed Model Checking.
Otthein Herzog, Stefan Edelkamp, Max Gath, 2013, 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems (CIPLS).
Stefan Edelkamp, Peter Kissmann, 2008, ECAI.
Patrik Haslum, Blai Bonet, Stefan Edelkamp, 2009 .
Stefan Edelkamp, Christoph Greulich, 2018, International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp, Zhuowei Yu, S. Edelkamp, 2019, TAROS.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2004, International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp, Peter Kissmann, 2010, KI - Künstliche Intelligenz.
Dragan Bosnacki, Stefan Edelkamp, S. Edelkamp, 2010, International Journal on Software Tools for Technology Transfer.
Sebastian Wild, Stefan Edelkamp, Armin Weiss, 2018, ArXiv.
Stefan Edelkamp, Shahid Jabbar, Dino Midzic, 2008, Künstliche Intell..
Stefan Edelkamp, 2019, SOCS.
Stefan Edelkamp, S. Edelkamp, 2000, PuK.
Dragan Bosnacki, Viktor Schuppan, Anton Wijs, 2009, MoChArt.
Stefan Edelkamp, Max Gath, S. Edelkamp, 2013, ICAART.
Stefan Edelkamp, 2007 .
Stefan Edelkamp, Shahid Jabbar, 2009, Encyclopedia of Artificial Intelligence.
Frank Reffel, Stefan Edelkamp, S. Edelkamp, 1999, World Congress on Formal Methods.
Stefan Edelkamp, Armin Weiss, 2016, ESA.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2015, AAAI.
Stefan Edelkamp, S. Edelkamp, 2007, Künstliche Intell..
Dragan Bosnacki, Anton Wijs, Stefan Edelkamp, 2010, 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.
Rolf Niedermeier, Henning Fernau, Falk Hüffner, 2001, KI/ÖGAI.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2013, J. Discrete Algorithms.
Arend Rensink, Stefan Edelkamp, S. Edelkamp, 2007 .
Malte Helmert, Stefan Edelkamp, M. Helmert, 1999, ECP.
Stefan Edelkamp, 2000, GI Jahrestagung.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2011, IWOCA.
Stefan Edelkamp, Alberto Lluch-Lafuente, 2004 .
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2011 .
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 1999, KI.
Stefan Edelkamp, Hartmut Messerschmidt, 2010, KI.
Stefan Edelkamp, Michael Lawo, Ashraf Abdo, 2016, 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops).
Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl, 2004, KI.
Stefan Edelkamp, S. Edelkamp, 2001 .
Stefan Edelkamp, S. Edelkamp, 2005, ICAPS.
Richard E. Korf, Stefan Edelkamp, Michael Reid, 2001, Artif. Intell..
Stefan Edelkamp, Björn Ulrich Borowsky, S. Edelkamp, 2008, AAAI.
Stefan Edelkamp, S. Edelkamp, 2002, AIPS.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, SPIN.
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, ICAART.
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm, 2005, IEEE Transactions on Intelligent Transportation Systems.
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, 2009, SPIN.
Stefan Edelkamp, Fabien Teytaud, Tristan Cazenave, 2013, 2013 IEEE Symposium on Computational Intelligence in Scheduling (CISched).
Jürgen Sauer, Stefan Edelkamp, 2007, Künstliche Intell..
Stefan Edelkamp, Damian Sulewski, S. Edelkamp, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Stefan Edelkamp, Kai-Oliver Detken, Carsten Elfers, 2015, 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2014, ArXiv.
Stefan Edelkamp, Shahid Jabbar, 2005, VMCAI.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2001, SPIN '01.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2016, Comput. J..
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2017, Theory of Computing Systems.
Roman Barták, Stefan Edelkamp, 2014, SOCS.
Martin Dietzfelbinger, Stefan Edelkamp, S. Edelkamp, 2009, KI.
Stefan Edelkamp, Damian Sulewski, S. Edelkamp, 2010, SPIN.
Stefan Edelkamp, Max Gath, Christoph Greulich, 2013, KI.
Stefan Edelkamp, S. Edelkamp, 2001 .
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2011, AAAI.
Blai Bonet, Stefan Edelkamp, Shahid Jabbar, 2007, ICAPS.
Stefan Edelkamp, Willem Visser, Stefan Leue, 2006, Directed Model Checking.
Stefan Edelkamp, Patrick Stiegeler, 2000, Algorithm Engineering.
Stefan Edelkamp, Armin Weiß, S. Edelkamp, 2019, ESA.
Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente, 2016, Sci. Comput. Program..
Stefan Leue, Stefan Edelkamp, Alberto Lluch-Lafuente, 2001 .
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel, 2010, ICAPS.
Stefan Edelkamp, Peter Kissmann, Hartmut Messerschmidt, 2010, MKWI.
Stefan Leue, Stefan Edelkamp, Alberto Lluch-Lafuente, 2001, Workshop on Software Model Checking @ CAV.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, SPIN.
Richard E. Korf, Stefan Edelkamp, R. Korf, 1998, AAAI/IAAI.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, CATS.
Stefan Edelkamp, Erion Plaku, Sara Rashidian, 2014, MIG.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, MoChArt@CONCUR/SPIN.
Stefan Edelkamp, Peter Kissmann, Tim Federholzner, 2012, KI.
Stefan Edelkamp, S. Edelkamp, 1998, ECAI.
Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2011, Sci. Comput. Program..
Stefan Edelkamp, S. Edelkamp, 2003, SPIN.
Ingo Wegener, Stefan Edelkamp, S. Edelkamp, 2000, STACS.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, VMCAI.
Stefan Edelkamp, Erion Plaku, Mihai Pomarlan, 2017, IEEE Robotics and Automation Letters.
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2000, AAAI/IAAI.
Peter Sanders, Stefan Edelkamp, Pavel Simecek, 2008, CAV.
Thomas Wagner, Stefan Edelkamp, Peter Kissmann, 2009, ICAPS 2009.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2013, ICAPS.
Stefan Edelkamp, Peter Kissmann, Marco Bakera, 2009, MoChArt.
Maria Fox, Stefan Edelkamp, Daniele Magazzeni, 2014, Dagstuhl Reports.
Lubos Brim, Peter Sanders, Stefan Edelkamp, 2009, Graph Search Engineering.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Joscha Bach, S. Edelkamp, 2011, Lecture Notes in Computer Science.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Jens Rasmussen, Jyrki Katajainen, 2010, SEA.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, J. Discrete Algorithms.
Sebastian Kühl, Stefan Edelkamp, Sabine Kuske, 2017, SOCS.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, MFCS.
Stefan Edelkamp, Peter Leven, S. Edelkamp, 2002, LPAR.
Stefan Edelkamp, Martin Stommel, S. Edelkamp, 2012, ECML/PKDD.
Stefan Edelkamp, Zhihao Tang, S. Edelkamp, 2015, SOCS.
Stefan Edelkamp, 2002, Algorithms for Memory Hierarchies.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2008, KI.
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski, 2008, Electron. Notes Theor. Comput. Sci..
Stefan Edelkamp, Christoph Greulich, Rajeshwari Chatterjee, 2016, 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops).
Stefan Edelkamp, Christoph Greulich, Niels Eicke, 2015, MATES.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Fritz Jacob, S. Edelkamp, 2016, KI.
Otthein Herzog, Stefan Edelkamp, Max Gath, 2013, 2013 10th International Conference and Expo on Emerging Technologies for a Smarter World (CEWIT).
Stefan Edelkamp, Max Gath, Moritz Rohde, 2014, KI.
Stefan Edelkamp, Roman Klinger, Tilman Mehler, 2005 .
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, IWOCA.
Stefan Edelkamp, Santiago Franco, Ionut Moraru, 2019, KI.
Otthein Herzog, Stefan Edelkamp, Max Gath, 2014, 2014 11th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT).
Stefan Edelkamp, S. Edelkamp, 2007, MoChArt.
Stefan Edelkamp, Tristan Cazenave, S. Edelkamp, 2016, KI.
Gregory M. Provan, David W. Aha, Robert P. Goldman, 2010, AI Mag..
Malte Helmert, Stefan Edelkamp, M. Helmert, 2001 .
Stefan Edelkamp, Shahid Jabbar, Maik Drozdzynski, 2007, 2007 IEEE Intelligent Transportation Systems Conference.
Stefan Edelkamp, 1999, Künstliche Intell..
Stefan Edelkamp, Peter Kissmann, 2008, AAAI.
Stefan Edelkamp, Lars Hildebrand, Kenneth Kahl, 2007, KI.
Stefan Edelkamp, Bernd Schattenberg, Jürgen Sauer, 2010, MKWI.
Stefan Edelkamp, Hartmut Messerschmidt, Carsten Elfers, 2013, KI.
Stefan Edelkamp, David Zastrau, S. Edelkamp, 2012, KI.
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, 2006, ICGT.
Stefan Edelkamp, Erion Plaku, Sara Rashidian, 2014, MIG.
Stefan Edelkamp, Armin Weiss, S. Edelkamp, 2016, ArXiv.
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel, 2010, SOCS.
Malte Helmert, Stefan Edelkamp, M. Helmert, 2000 .
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2007, MoChArt.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2002, SPIN.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2004, International Journal on Software Tools for Technology Transfer.
Otthein Herzog, Stefan Edelkamp, Carsten Elfers, 2012, ICAART.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2011, AAAI.
Stefan Edelkamp, 2002, AIPS Workshop on Planning for Temporal Domains.
Jürgen Sauer, Stefan Edelkamp, Bernd Schattenberg, 2013 .
Malte Helmert, Stefan Edelkamp, 2001, AI Mag..
Stefan Edelkamp, Damian Sulewski, Mark Kellershoff, 2010, MoChArt.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2009, IJCAI.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2017, Artif. Intell..
Stefan Edelkamp, Christoph Greulich, 2014, 2014 IEEE Conference on Computational Intelligence and Games.
Stefan Edelkamp, S. Edelkamp, 2016, Algorithm Engineering.
Frank Reffel, Stefan Edelkamp, S. Edelkamp, 1998, KI.
Stefan Edelkamp, Shahid Jabbar, 2006, AAAI.
Stefan Edelkamp, Peter Kissmann, 2010, KI.
Stefan Edelkamp, Erion Plaku, 2014, 2014 IEEE Conference on Computational Intelligence and Games.
Stefan Edelkamp, Willem Visser, Stefan Leue, 2007, Directed Model Checking.
Stefan Edelkamp, Tilman Mehler, S. Edelkamp, 2006, MoChArt@CONCUR/SPIN.
Stefan Edelkamp, Paul Wichern, 2015, KI.
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm, 2003, PuK.
Stefan Edelkamp, Jiirgen Eckerle, S. Edelkamp, 1997 .
Anton Wijs, Stefan Edelkamp, Dragan Bovsnavcki, 2012 .
Stefan Edelkamp, Patrick Stiegeler, S. Edelkamp, 2002, JEAL.
Michael Beetz, Stefan Edelkamp, Thiemo Wiedemeyer, 2013, BMVC.
Derek Long, Stefan Edelkamp, Daniele Magazzeni, 2018 .
Stefan Edelkamp, Armin Weiss, S. Edelkamp, 2018, ALENEX.
Stefan Edelkamp, Peter Leven, Tilman Mehler, 2004, SPIN.
Stefan Edelkamp, Erion Plaku, Sara Rashidian, 2018, Comput. Animat. Virtual Worlds.
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2003, Computer Science in Perspective.
Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2009, FMICS.
Julian Togelius, Stephan Schiffel, Michael Thielscher, 2015, Communications in Computer and Information Science.
Stefan Edelkamp, 2007, Künstliche Intell..
Stefan Edelkamp, S. Edelkamp, 2006, ICAPS.
Dragan Bosnacki, Anton Wijs, Stefan Edelkamp, 2010, International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp, S. Edelkamp, 2021, ArXiv.
Stefan Edelkamp, 2021, 2021 IEEE Conference on Games (CoG).
Lukás Chrpa, Stefan Edelkamp, Rostislav Horcík, 2021, SOCS.
Stefan Edelkamp, Stefan Schrödl, 2012 .
Karsten Sohr, Mirko Horstmann, Stefan Edelkamp, 2009 .
Stefan Edelkamp, Tilman Mehler, S. Edelkamp, 2005 .
Stefan Edelkamp, S. Edelkamp, 2006 .
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2012 .
Stefan Edelkamp, Tilman Mehler, 2004 .
Stefan Edelkamp, Stefan Leue, S. Edelkamp, 2001 .
Stefan Edelkamp, Hartmut Messerschmidt, Damian Sulewski, 2009 .
Stefan Edelkamp, Damian Sulewski, Francisco C. Pereira, 2008 .
Stefan Edelkamp, Tilman Mehler, 2002 .
Stefan Edelkamp, 2007 .
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2005 .
Stefan Edelkamp, Stefan Schrödl, 2012 .
Stefan Edelkamp, Willem Visser, Stefan Leue, 2007 .