Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 507.
  1. Patrick Bertram; Max Birtel; Fabian Quint; Martin Ruskowski

    Informationsmodellierung zur Beschreibung manueller Tätigkeiten an Handarbeitsplätzen

    In: M. Burghardt; R. Wimmer; C. Wolff; C. Womser-Hacker (Hrsg.). Mensch und Computer 2017 - Workshopband. Mensch und Computer (MuC-2017), September 10-13, Regensburg, Germany, Pages 133-138, Vol. 1, Gesellschaft für Informatik e.V. 2017.

  2. Martin Ring; Christoph Lüth

    Interactive Proof Presentations with Cobra

    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.

  3. Patrick Lübbecke; Peter Fettke; Peter Loos

    Sustainability Patterns for the Improvement of IT-related Business Processes with Regard to Ecological Goals

    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.

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

    Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

    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.

  5. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

    Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

    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.

  6. Model-based furniture recognition for building semantic object maps

    In: Artificial Intelligence (AIJ), Vol. 2017, No. 247, Pages 336-351, Elsevier, 6/2017.

  7. Investigating User Preference for Mobile Auditory Notifications in Different Contexts

    In: Proceedings of the 2nd Workshop on Unobtrusive User Experiences with Technology in Nature. Workshop on Unobtrusive User Experiences with Technology in Nature (NatureCHI-2017), September 4-7, Vienna, Austria, NatureCHI~'17, NatureCHI, 2017.

  8. Frederic Kerber; Sven Gehring; Antonio Krüger; Markus Löchtefeld

    Adding Expressiveness to Smartwatch Notifications Through Ambient Illumination

    In: International Journal of Mobile Human Computer Interaction (IJMHCI), Vol. 9, No. 4, Pages 1-14, IGI Global, 10/2017.

  9. Vasillis Vlachokyriakos; Clara Crivellaro; Peter C. Wright; Evika Karamagioli; Eleni-Revekka Staiou; Dimitris Gouscos; Rowan Thorpe; Antonio Krüger; Johannes Schöning; Matt Jones; Shaun W. Lawson; Patrick Olivier

    HCI, Solidarity Movements and the Solidarity Economy

    In: Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI), May 6-11, Denver, CO, USA, Pages 3126-3137, ACM, 2017.

  10. Gunther Reinhart; Detlef Zühlke

    Von CIM zu Industrie 4.0

    In: Gunther Reinhart. Handbuch Industrie 4.0 - Geschäftsmodelle, Prozesse, Technik. Pages XXXI-XL, ISBN 978-3-446-44642-7, Carl Hanser Verlag GmbH & Co. KG, München, 2017.