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 91 to 100 of 578.
  1. Rolf Drechsler; Christophe Chevallaz; Franco Fummi; Alan Hu; Ronny Morad; Frank Schirrmeister; Alex Goryachev

    Future SoC Verification Methodology: UVM Evolution or Revolution?

    In: Design, Automation and Test in Europe - Proceedings. Design, Automation & Test in Europe (DATE-14), March 24-28, Dresden, Germany, IEEE, 2014.

  2. Jannis Ulrich Stoppe; Marc Michael; Mathias Soeken; Robert Wille; Rolf Drechsler

    Towards a Multi-dimensional and Dynamic Visualization for ESL Designs

    In: Proceedings of the 1st Workshop on Design Automation for Understanding Hardware Designs DUHDe 2014. Workshop on Design Automation for …

  3. Tim Dahmen; Jean-Pierre Baudoin; Andrew R. Lupini; Christian Kübel; Philipp Slusallek; Niels de Jonge

    Combined Scanning Transmission Electron Microscopy Tilt- and Focal Series

    In: Robert Price (Hrsg.). Microscopy and Microanalysis, Vol. 19, No. 7, Pages 1-13, Cambridge University Press, 2014.

  4. Marcus Liwicki; Sebastian Ebert; Andreas Dengel

    Bridging the Gap Between Handwriting Recognition and Knowledge Management

    In: Pattern Recognition Letters (PRL), Vol. 35, Pages 204-213, Elsevier, 2014.

  5. Oliver Thomas; Markus Nüttgens; Michael Fellmann; Julian Krumeich; Sebastian Hucke; Rüdiger Breitschwerdt; Nadine Rosenkranz; Michael Schlicker; Deniz Özcan

    Empower Mobile Technical Customer Services (EMOTEC) – Produktivitätssteigerung durch intelligente mobile Assistenzsystem im Technischen Kundendienst

    In: Oliver Thomas; Markus Nüttgens; Michael Fellmann. Dienstleistungsproduktivität – Mit mobilen Assistenzsystemen zum Unternehmenserfolg . Pages …

  6. Éva Székely; Ingmar Steiner; Zeeshan Ahmed; Julie Carson-Berndsen

    Facial Expression-based Affective Speech Translation

    In: Journal on Multimodal User Interfaces (JMUI), Vol. 8, No. 1, Pages 87-96, Springer, 3/2014.

  7. Anton Bißbort; Christina Di Valentin; Andreas Emrich; Peter Loos

    Konzeption eines Collaborative Filtering Algorithmus für E-Learning-Szenarien

    In: Leena Suhl; Dennis Kundisch (Hrsg.). Tagungsband der Multikonferenz Wirtschaftsinformatik. Multikonferenz Wirtschaftsinformatik (MKWI-14), …

  8. Heinz Riener; Oliver Keszocze; Rolf Drechsler; Görschwin Fey

    A Logic for Cardinality Constraints

    In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop …

  9. Mathias Soeken; Max Nitze; Rolf Drechsler

    Formale Methoden für Alle

    In: Jürgen Ruf; Dirk Allmendinger; Matteo Michel (Hrsg.). MBMV 2014 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von …

  10. Aljoscha Windhorst; Hoang M. Le; Daniel Grosse; Rolf Drechsler

    Funktionale Abdeckungsanalyse von C-Programmen

    In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - Proceedings. ITG/GMM/GI-Workshop …