S. Edelkamp

发表

Stefan Edelkamp, S. Edelkamp, 2007, Künstliche Intell..
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, ICAART.
Stefan Edelkamp, Christoph Greulich, Rajeshwari Chatterjee, 2016, 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops).
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm, 2003, PuK.
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, 2005 .
S. Edelkamp, Alberto Lluch-Lafuente, 2004 .
S. Edelkamp, J. Hoffmann, S. Edelkamp, 2005, J. Artif. Intell. Res..
Frank Reffel, Stefan Edelkamp, S. Edelkamp, 1998, KI.
Stefan Edelkamp, Jiirgen Eckerle, S. Edelkamp, 1997 .
Stefan Edelkamp, Peter Kissmann, Marco Bakera, 2009, MoChArt.
Stefan Edelkamp, Damian Sulewski, S. Edelkamp, 2010, SPIN.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2013, ICAPS.
Stefan Edelkamp, Peter Kissmann, Tim Federholzner, 2012, KI.
Arend Rensink, Stefan Edelkamp, S. Edelkamp, 2007 .
Stefan Edelkamp, S. Edelkamp, 2006, ICAPS.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2016, Comput. J..
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2009, IJCAI.
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2017, Artif. Intell..
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, SPIN.
S. Edelkamp, S. Jabbar, M. Nazih, 2006 .
S. Edelkamp, Frank Reffel, 1999 .
Stefan Edelkamp, S. Edelkamp, 2005, ICAPS.
Stefan Edelkamp, S. Edelkamp, 2002, AIPS.
Stefan Edelkamp, Shahid Jabbar, Stefan Schrödl, 2004, KI.
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, 2009, SPIN.
Gregory M. Provan, David W. Aha, Robert P. Goldman, 2010, AI Mag..
S. Edelkamp, 2004 .
Marvin R. G. Schiller, S. Edelkamp, Sascha Ossowski, 2015 .
Stefan Edelkamp, Stefan Leue, S. Edelkamp, 2001 .
S. Edelkamp, Alberto Lluch-Lafuente, 2019 .
S. Edelkamp, 2016 .
Stefan Edelkamp, Joscha Bach, S. Edelkamp, 2011, Lecture Notes in Computer Science.
S. Edelkamp, S. Jabbar, Damian Sulewski, 2006 .
S. Edelkamp, Damian Sulewski, 2010 .
Stefan Edelkamp, Willem Visser, Stefan Leue, 2007, Directed Model Checking.
Leah A. Chrestien, S. Edelkamp, A. Komenda, 2022, ArXiv.
S. Edelkamp, Alberto Lluch-Lafuente, 2004 .
S. Edelkamp, Á. Torralba, L. Chrpa, 2022, ICAPS.
Stefan Edelkamp, S. Edelkamp, 2016, Algorithm Engineering.
Blai Bonet, Stefan Edelkamp, Shahid Jabbar, 2007, ICAPS.
Stefan Edelkamp, Erion Plaku, Sara Rashidian, 2018, Comput. Animat. Virtual Worlds.
Stefan Edelkamp, Erion Plaku, Sara Rashidian, 2014, MIG.
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm, 2005, IEEE Transactions on Intelligent Transportation Systems.
Shahid Jabbar, Stefan Edelkamp, Thomas Willhalm, 2003, Proceedings of the 2003 IEEE International Conference on Intelligent Transportation Systems.
Thomas Wagner, Stefan Edelkamp, Peter Kissmann, 2009, ICAPS 2009.
Stefan Edelkamp, Hartmut Messerschmidt, Carsten Elfers, 2013, KI.
Stefan Edelkamp, David Zastrau, S. Edelkamp, 2012, KI.
Stefan Edelkamp, Martin Stommel, S. Edelkamp, 2012, ECML/PKDD.
Stefan Edelkamp, S. Edelkamp, 1998, ECAI.
Stefan Edelkamp, Zhihao Tang, S. Edelkamp, 2015, SOCS.
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2012 .
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2011 .
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2017, Theory of Computing Systems.
S. Edelkamp, R. Englert, J. Hoffmann, 2006, J. Artif. Intell. Res..
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, MoChArt@CONCUR/SPIN.
Stefan Edelkamp, Tilman Mehler, S. Edelkamp, 2005 .
Stefan Edelkamp, Roman Klinger, Tilman Mehler, 2005 .
Stefan Edelkamp, S. Edelkamp, 2003, SPIN.
Stefan Edelkamp, Peter Leven, S. Edelkamp, 2002, LPAR.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2014, ArXiv.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2013, IWOCA.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2011, IWOCA.
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel, 2010, SOCS.
Stefan Edelkamp, Jens Rasmussen, Jyrki Katajainen, 2010, SEA.
Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2009, FMICS.
Stefan Edelkamp, Tilman Mehler, S. Edelkamp, 2006, MoChArt@CONCUR/SPIN.
Stefan Edelkamp, S. Edelkamp, 2021, ArXiv.
Otthein Herzog, Stefan Edelkamp, Michael Lawo, 2016 .
Shahid Jabbar, Stefan Edelkamp, S. Edelkamp, 2007 .
Sebastian Wild, Stefan Edelkamp, Armin Weiss, 2018, ArXiv.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2013, J. Discrete Algorithms.
Stefan Edelkamp, S. Edelkamp, 2000, PuK.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2004, International Journal on Software Tools for Technology Transfer.
Stefan Leue, Stefan Edelkamp, Alberto Lluch-Lafuente, 2001, Workshop on Software Model Checking @ CAV.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2001, SPIN '01.
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2003, Computer Science in Perspective.
Stefan Edelkamp, Zhuowei Yu, S. Edelkamp, 2019, TAROS.
Julian Togelius, Stephan Schiffel, Michael Thielscher, 2015, Communications in Computer and Information Science.
Stefan Edelkamp, Shahid Jabbar, Maik Drozdzynski, 2007, 2007 IEEE Intelligent Transportation Systems Conference.
Stefan Edelkamp, Santiago Franco, Ionut Moraru, 2019, KI.
Stefan Edelkamp, S. Edelkamp, 2006 .
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2012, GRAPHITE.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2011, AAAI.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2011, AAAI.
Lubos Brim, Stefan Edelkamp, Jiri Barnat, 2011, Sci. Comput. Program..
Martin Dietzfelbinger, Stefan Edelkamp, S. Edelkamp, 2009, KI.
Stefan Edelkamp, Shahid Jabbar, Peter Kissmann, 2009, MoChArt.
Stefan Edelkamp, Damian Sulewski, S. Edelkamp, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2006, VMCAI.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2005 .
Stefan Leue, Stefan Edelkamp, Alberto Lluch-Lafuente, 2001 .
Stefan Edelkamp, S. Edelkamp, 2001 .
Frank Reffel, Stefan Edelkamp, S. Edelkamp, 1999, World Congress on Formal Methods.
Malte Helmert, Stefan Edelkamp, M. Helmert, 1999, ECP.
S. Edelkamp, Frank Reffel, 1999 .
R. Bruntrup, S. Edelkamp, S. Jabbar, 2005, Proceedings. 2005 IEEE Intelligent Transportation Systems, 2005..
Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, 2005, AAAI.
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 2000, AAAI/IAAI.
Richard E. Korf, Stefan Edelkamp, R. Korf, 1998, AAAI/IAAI.
Patrik Haslum, Blai Bonet, Stefan Edelkamp, 2009 .
Dragan Bosnacki, Anton Wijs, Stefan Edelkamp, 2010, International Journal on Software Tools for Technology Transfer.
Dragan Bosnacki, Viktor Schuppan, Anton Wijs, 2009, MoChArt.
Stefan Edelkamp, Lars Hildebrand, Kenneth Kahl, 2007, KI.
Robert P. Goldman, Mark S. Boddy, Stefan Edelkamp, 2010 .
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba, 2015, AAAI.
Stefan Edelkamp, S. Edelkamp, 2007, MoChArt.
S. Edelkamp, C. Greulich, 2018, International Journal on Software Tools for Technology Transfer (STTT).
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, SPIN.
Stefan Edelkamp, Christoph Greulich, S. Edelkamp, 2016, ICAART.
Dragan Bosnacki, Stefan Edelkamp, S. Edelkamp, 2010, International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2004, International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue, 2002, SPIN.
Stefan Edelkamp, Tristan Cazenave, S. Edelkamp, 2016, KI.
Stefan Edelkamp, Christoph Greulich, Niels Eicke, 2015, MATES.
Stefan Edelkamp, Björn Ulrich Borowsky, S. Edelkamp, 2007 .
Stefan Edelkamp, Stefan Schrödl, S. Edelkamp, 1999, KI.
Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, 2018, IEEE Robotics and Automation Letters.
Stefan Edelkamp, Peter Kissmann, S. Edelkamp, 2008, KI.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, J. Discrete Algorithms.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, IWOCA.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, CATS.
Stefan Edelkamp, Patrick Stiegeler, S. Edelkamp, 2002, JEAL.
Ingo Wegener, Stefan Edelkamp, S. Edelkamp, 2000, STACS.
Stefan Edelkamp, Armin Weiß, S. Edelkamp, 2019, ESA.
Stefan Edelkamp, Armin Weiss, S. Edelkamp, 2016, ArXiv.
Stefan Edelkamp, Fritz Jacob, S. Edelkamp, 2016, KI.
Stefan Edelkamp, Armin Weiss, S. Edelkamp, 2018, ALENEX.
Amr Elmasry, Stefan Edelkamp, Jyrki Katajainen, 2012, MFCS.
Peter Sanders, Stefan Edelkamp, Pavel Simecek, 2008, CAV.
Stefan Edelkamp, Shahid Jabbar, S. Edelkamp, 2007, MoChArt.
Stefan Edelkamp, Michael Lawo, Ashraf Abdo, 2016, 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops).
Otthein Herzog, Stefan Edelkamp, Max Gath, 2014, 2014 11th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT).
Otthein Herzog, Stefan Edelkamp, Max Gath, 2013, 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems (CIPLS).
Stefan Edelkamp, Max Gath, S. Edelkamp, 2013, ICAART.
Otthein Herzog, Stefan Edelkamp, Max Gath, 2013, J. Artif. Intell. Soft Comput. Res..
Stefan Edelkamp, Damian Sulewski, Mark Kellershoff, 2010, MoChArt.
D. Thuente, S. Edelkamp, Abdallah Saffidine, 2011 .
Stefan Edelkamp, S. Edelkamp, 2001 .
Malte Helmert, Stefan Edelkamp, M. Helmert, 2000 .
S. Edelkamp, A. Weiss, Sebastian Wild, 2019, Algorithmica.
S. Edelkamp, Jörg Hoffmann, 2005, J. Artif. Intell. Res..
Stefan Edelkamp, Björn Ulrich Borowsky, S. Edelkamp, 2008, AAAI.
Malte Helmert, Stefan Edelkamp, M. Helmert, 2001 .
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel, 2010, ICAPS.
Stefan Edelkamp, Hartmut Messerschmidt, Damian Sulewski, 2009 .
Stefan Edelkamp, Denis Golubev, Christoph Greulich, 2016, KI.
Sven Koenig, S. Edelkamp, Stefan Schrödl, 2011 .