Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 540.
  1. Jannis Ulrich Stoppe; Oliver Keszöcze; Robert Wille; Rolf Drechsler

    Visualizing Microfluidic Biochips Interactively

    In: Workshop on Design Automation for Understanding Hardware Designs (DUHDE). Workshop on Design Automation for Understanding Hardware Designs …

  2. Arighna Deb; Debesh K. Das; Hafizur Rahaman; Robert Wille; Rolf Drechsler; Bhargab B. Bhattacharya

    Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability

    In: Journal on Emerging Technologies in Computing Systems (JETC), Vol. 12, ACM, 2016.

  3. Christopher Rosebrock; Saeideh Shirinzadeh; Mathias Soeken; Norbert Riefler; Thomas Wriedt; Rolf Drechsler; Lutz Mädler

    Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry

    In: Combustion and Flame, Vol. 168, Pages 255-269, Elsevier, 6/2016.

  4. Fan Gu; Xinqian Zhang; Mingsong Chen; Daniel Große; Rolf Drechsler

    Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2016), March 14-18, Dresden, Germany, Pages 780-785, 2016.

  5. Brennan Nunamaker; Syed Saqib Bukhari; Damian Borth; Andreas Dengel

    A Tesseract-Based OCR Framework For Historical Documents Lacking Ground- Truth Text

    In: International Conference on Image Processing, ICIP’16, USA, 2016. IEEE International Conference on Image Processing (ICIP-2016), September 25-28, …

  6. Jan Alexandersson; Jochen Britz; Andrey Girenko; Maurice Rekrut; Jürgen Vogelgesang; Steven Vogelgesang; Johan Plomp; Salla Muuraiskangas; Teppo Veijonen; Timo Urhemaa; Carlos Agell

    PRAF – ein mobiles Selbstmangement-System zur Prävention kardiovaskulärer Erkrankungen einschließlich Vorhofflimmern

    In: VDE e.V. (Hrsg.). Zu­kunft Le­bens­räu­me Gesundheit, Selbstständigkeit und Komfort im demografischen Wandel Konzepte und Technologien für die …

  7. Kathleen Schwarz; Daniel Bieber; Johannes Tröger; Jan Alexandersson; Maurice Rekrut; Jochen Britz

    mobisaar - Mit einer technologiegestützten Dienstleistung zu einer saarlandweiten Mobilitätslösung für Alle

    In: Zukunft Lebensräume Gesundheit, Selbstständigkeit und Komfort im demografischen Wandel Konzepte und Technologien für die Wohnungs-, Immobilien-, …

  8. Pascal Reuß; Rotem Stram; Cedric Juckenack; Klaus-Dieter Althoff; Wolfram Henkel; Daniel Fischer; Frieder Henning

    FEATURE-TAK - Framework for Extraction, Analysis, and Transformation of Unstructured Textual Aircraft Knowledge

    In: Ashok Goal; Belen Diaz-Agudo; Thomas Roth-Berghofer (Hrsg.). Case-based Reasoning in Research and Development. International Conference on …

  9. Nils Przigoda; Frank Hilken; Judith Peters; Robert Wille; Martin Gogolla; Rolf Drechsler

    Integrating an SMT-based Model Finder into USE

    In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation …

  10. Tim Schwartz; Hans-Ulrich Krieger; Ingo Zinnikus; Christian Bürckert; Joachim Folz; Bernd Kiefer; Peter Hevesi; Christoph Lüth; Gerald Pirkl; Torsten Spieldenner; Norbert Schmitz; Malte Wirkus; Sirko Straube

    Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents

    In: Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokhar; Sebastian Ahrndt (Hrsg.). Proceedings of the 14th German Conference on Multiagent …