Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 507.
  1. Peter Lanzer; Mohammad Osamh Adel Al-Naser; Syed Saqib Bukhari; Andreas Dengel; Elizabeth Krupinski

    Eye Tracking in Catheter-Based Cardiovascular Interventions: Early Results

    In: Journal of Medical Imaging, Vol. 4, No. 3, Pages 1-9, SPIE, 2017.

  2. Jana-Rebecca Rehse; Peter Fettke; Peter Loos

    A graph-theoretic method for the inductive development of reference process models

    In: Software & Systems Modeling, Vol. 16, No. 3, Pages 833-873, Springer, 2017.

  3. Olga Zlatkin-Troitschanskaia; Gabriel Wittum; Andreas Dengel (Hrsg.)

    Positive Learning in the Age of Information (PLATO) - A blessing or a curse?

    ISBN 978-3-658-19566-3, Springer VS, Wiesbaden, 12/2017.

  4. Tandra Ghose; Yannik T. H. Schelske; Takeshi Suzuki; Andreas Dengel

    Low-level Pixelated Representations suffice for Aesthetically Pleasing Contrast Adjustment in Photographs

    In: Psihologija, Vol. 50, No. 3, Pages 239-270, Serbian Psychological Society, 2017.

  5. DeepBIBX: Deep Learning for Image Based Bibliographic Data Extraction

    In: International Conference on Neural Information Processing. International Conference on Neural Information Processing (ICONIP-2017), 24th International Conference on Neural Information Processing, November 14-18, Guangzhou, China, Pages 286-293, Vol. 10635, ISBN 978-3-319-70095-3, Springer, 10/2017.

  6. 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.

  7. 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.

  8. 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.

  9. 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.