Publications

Goncalo Antunes; Marzieh Bakhshandelh; Jose Borbinha; Joao Cardoso; Sharam Dadashnia; Chiara De Francescomarino; Mauro Gragoni; Peter Fettke; Avigdor Gal; Chiara Ghidini; Philip Hake; Abderrahmene Khiat; Christopher Klinkmüller; Elena Kuss; Henrik Leopold; Peter Loos; Christian Meilicke; Tim Niesen; Catia Pesquita; Timo Peus; Andreas Schoknecht; Eitam Sheetrit; Andreas Sonntag; Heiner Stickenschmidt; Tom Thaler; Ingo Weber; Matthias Weidlich

The Process Matching Contest 2015

In: Jens Kolb; Henrik Leopold; Jan Mendling (Hrsg.). Proceedings of the 6th International Workshop on Enterprise Modelling and Information Systems Architectures. International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA-15), September 3-4, Innsbruck, Austria, ISBN 9783885796428, Köllen Druck+Verlag GmbH, Bonn, 9/2015.

Tom Thaler; Dirk Maurer; Vittorio De Angelis; Peter Fettke; Peter Loos

Mining the Usability of Business Process Modeling Tools: Concept and Case Study

In: Jan Mendling; Jan vom Brocke (Hrsg.). Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015. Business Process Management (BPM-15), September 1-3, Innsbruck, Austria, Pages 152-166, CEUR, 9/2015.

Jonas Trottnow; Kai Götz; Stefan Seibert; Simon Spielmann; Volker Helzle; Farshad Einabadi; Clemens K. H. Sielaff; Oliver Grau

Intuitive Virtual Production Tools for Set and Light Editing

In: Proceedings of the 12th European Conference on Visual Media Production. Conference on Visual Media Production (CVMP-15), November 24-25, London, United Kingdom, ACM, 2015.

Ondrej Klejch; Eleftherios Avramidis; Aljoscha Burchardt; Martin Popel

MT-ComparEval: Graphical evaluation interface for Machine Translation development

In: Jan Hajic (Hrsg.). The Prague Bulletin of Mathematical Linguistics (PBML), Vol. 104, Pages 63-74, Charles University in Prague, 2015.

Marko Jankovic; Kartik Kumar; Natalia Ortiz Gomez; Juan Manuel Romero Martin; Frank Kirchner; Francesco Topputo; Scott J. I. Walker; Massimiliano Vasile

Robotic System for Active Debris Removal: Requirements, State-of-the-Art and Concept Architecture of the Rendezvous and Capture (RVC) Control System

In: 5th CEAS Air & Space Conference Proceedings. CEAS Air & Space Conference (CEAS-2015), September 7-11, Delft, Netherlands, Pages 1-15, Council of European Aerospace Societies (CEAS), 2015.

Bertold Bongardt

Analytic Approaches for Design and Operation of Haptic Human-Machine Interfaces

PhD-Thesis, Universität Bremen, 2015.

Lassaad Cheikhrouhou; Werner Stephan; Oezguer Dagdelen; Marc Fischlin; Markus Ullmann

Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of {PACE}

In: Neeraj Suri; Michael Waidner (Hrsg.). Sicherheit 2012 - 6. Jahrestagung des Fachbereichs "Sicherheit - Schutz und Zuverlässigkeit" der GI. GI-Fachtagungen, March 7-9, Darmstadt, Germany, Pages 83-94, LNI, Vol. 195, ISBN 978-3-88579-289-5, GI, 2012.

Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences, 2013.

Thomas M. Roehr; Ronny Hartanto

Using an organization-model for PDDL-based planning with a reconfigurable multi-robot system

In: 2015 Space Robotics Symposium. Space Robotics Symposium, Present and Future Robotics in Space Applications, October 29-30, Glasgow, United Kingdom, 10/2016.

Behnam Asadi

Single and Dual Arm Manipulator Motion Planning Library

In: Workshop on Task Planning for Intelligent Robots in Service and Manufacturing. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Workshop on Task Planning for Intelligent Robots in Service and Manufacturing, located at IROS 2015, 10/2015.