Quicklinks

Portrait of Person: Jörg Hoffmann

Jörg Hoffmann (Professor)
 
 Campus E1 1 | 66123 Saarbrücken | 3.18

Publications:

Title Date Date
 2015
ICAPS
2015
 Daniel Gnad, Jörg Hoffmann
 Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.
 2017
IJCAI
2017
 Daniel Gnad, Valerie Poser, Jörg Hoffmann
 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
 2017
ICAPS
2017
 Patrick Speicher, Marcel Steinmetz, Daniel Gnad, Jörg Hoffmann, Alfonso Gerevini
 Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
 2017
ICAPS
2017
 Maximilian Fickert, Jörg Hoffmann
 Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
 2011
IJCAI
2011
 Raz Nissim, Jörg Hoffmann, Malte Helmert
 IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011
 2017
ICAPS
2017
 Marcel Steinmetz, Jörg Hoffmann
 Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
 2016
IJCAI
2016
 Daniel Gnad, Martin Wehrle, Jörg Hoffmann
 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
 2014
ECAI
2014
 Jörg Hoffmann, Peter Kissmann, Àlvaro Torralba
 ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014)
 2011
2011
 Jörg Hoffmann
 KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
 2015
ICAPS
2015
 Jörg Hoffmann, Maximilian Fickert
 Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.
 2018
IEEE EuroS&P
2018
 Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
 2018 IEEE European Symposium on Security and Privacy, EuroS&P 2018, London, United Kingdom, April 24-26, 2018
 2018
2018
 Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
 Extended Version of EuroS&P 2018 Paper
 2015
2015
 Daniel Gnad, Jörg Hoffmann, Carmel Domshlak
 Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel.
 2016
COLING
2016
 Maximilian Schwenger, Àlvaro Torralba, Jörg Hoffmann, David M. Howcroft, Vera Demberg
 COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan
 2016
2016
 Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
 J. Artif. Intell. Res. (JAIR)
 2012
ICAPS
2012
 Michael Katz, Jörg Hoffmann, Malte Helmert
 Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012
 2014
ICAPS
2014
 Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown
 Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014)
 2015
ICAPS
2015
 Jörg Hoffmann, Alan Fern
 Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.
 2014
ECAI
2014
 Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern
 Proc. of the 21st European Conference on Artificial Intelligence (ECAI 2014)
 2016
IJCAI
2016
 Àlvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016
 2014
ICAPS
2014
 Carlos Areces, Facundo Bustos, Martín Ariel Dominguez, Jörg Hoffmann
 Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2014)
 2012
AAAI
2012
 Carlos Sarraute, Olivier Buffet, Jörg Hoffmann
 Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.
 2016
2016
 Daniel Gnad, Marcel Steinmetz, Mathäus Jany, Jörg Hoffmann, Ivan Serina, Alfonso Gerevini
 Proceedings of the 9th Annual Symposium on Combinatorial Search (SOCS'16)
 2016
ICAPS
2016
 Jeanette Daum, Àlvaro Torralba, Jörg Hoffmann, Patrik Haslum, Ingo Weber
 Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16)
 2015
2015
 Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
 Proceedings of the 4th Conference on Principles of Security and Trust (POST)
 2017
2017
 Maximilian Fickert, Jörg Hoffmann
 Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA.
 2015
2015
 Daniel Gnad, Jörg Hoffmann
 Proceedings of the 8th Annual Symposium on Combinatorial Search (SOCS'15)
 2013
AAAI
2013
 Michael Katz, Jörg Hoffmann, Carmel Domshlak
 Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
 2013
2013
 Michael Katz, Jörg Hoffmann
 Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013.
 2015
2015
 Carmel Domshlak, Jörg Hoffmann, Michael Katz
 Artif. Intell.
 2012
ICAPS
2012
 Hootan Nakhost, Jörg Hoffmann, Martin Müller
 Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012
 2016
ICAPS
2016
 Marcel Steinmetz, Jörg Hoffmann, Olivier Buffet
 Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS'16)
 2017
IJCAI
2017
 Marcel Steinmetz, Jörg Hoffmann
 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
 2012
ICAPS
2012
 Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum
 Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012
 2012
AAAI
2012
 Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum
 Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.
 2015
ICAPS
2015
 Jörg Hoffmann
 Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015)
 2015
IJCAI
2015
 Àlvaro Torralba, Jörg Hoffmann
 Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015
 2018
AAAI
2018
 Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
 The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
 2017
2017
 Marcel Steinmetz, Jörg Hoffmann
 Artificial Intelligence (journal)
 2017
2017
 Daniel Gnad, Àlvaro Torralba, Jörg Hoffmann
 Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA.
 2017
ICAPS
2017
 Daniel Gnad, Àlvaro Torralba, Alexander Shleyfman, Jörg Hoffmann
 Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
 2019
2019
 Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
 The 34th ACM/SIGAPP Symposium On Applied Computing
 2016
AAAI
2016
 Marcel Steinmetz, Jörg Hoffmann
 Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.
 2013
2013
 Thorsten Rauber, Peter Kissmann, Jörg Hoffmann
 KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings
 2007
TACAS
2007
 Sebastian Kupferschmid, Klaus Drager, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
 Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedi
 2013
ICAPS
2013
 Peter Kissmann, Jörg Hoffmann
 Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013
 2011
ICAPS
2011
 Jörg Hoffmann
 Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011
 2013
ICAPS
2013
 Michael Katz, Jörg Hoffmann, Carmel Domshlak
 Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, ICAPS 2013, Rome, Italy, June 10-14, 2013