Publikationen

Zhikun Wang; Abdeslam Boularias; Katharina Mülling; Bernhard Schölkopf; Jan Peters

In: Artificial Intelligence (AIJ), Vol. 247, Pages 399-414, Elsevier, 2017.

Martin Ring; Christoph Lüth

In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.

Patrick Lübbecke; Peter Fettke; Peter Loos

In: Marlon Dumas; Marcelo Fantinato (Hrsg.). Business Process Management Workshops. Business Process Management (BPM-2016), International Workshop on Sustainability-Aware Business Process Management, located at BPM 2016, September 18-22, Rio de Janeiro, Brazil, Lecture Notes in Business Information Processing (LNBIP), Vol. 281, Springer, 2017.

Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler

In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.

Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.

Daniel Fraunholz; Frederic Pohl; Schotten Hans Dieter

In: Proceedings of the 16th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-17), 16th European Conference on Cyber Warfare and Security, June 29-30, Dublin, Ireland, Pages 120-126, ISBN 978-1-911218-44-9, Academic Conferences and Publishing International, 2017.

Ankit Srivastava; Georg Rehm; Julian Moreno Schneider

In: Proceedings of the 11th International Workshop on Semantic Evaluation. International Workshop on Semantic Evaluation (SemEval-2017), August 3-4, Vancouver, Canada, In print, 8/2017.

Peter Bourgonje; Julian Moreno Schneider; Georg Rehm

In: 13th Biennial Conference of the International Association of Forensic Linguists. Biennial Conference of the International Association of Forensic Linguists, July 10-14, Porto, Portugal, In print, 2017.

Julian Moreno Schneider; Peter Bourgonje; Georg Rehm

In: 19th International Conference on Human-Computer Interaction -- HCI International 2017. Human Computer Interaction International Conferences (HCII), July 9-14, Vancouver, Canada, In print, 2017.

Georg Rehm; Jing He; Julian Moreno Schneider; Jan Nehring; Joachim Quantz

In: 19th International Conference on Human-Computer Interaction -- HCI International 2017. Human Computer Interaction International Conferences (HCII), July 9-14, Vancouver, Canada, In print, 7/2017.