Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 540.
  1. Nabila Abdessaied; Mathias Soeken; Gerhard W. Dueck; Rolf Drechsler

    Reversible Circuit Rewriting with Simulated Annealing

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) . IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2015), October 5-7, Daejeon Convention Center, Korea, Republic of, 2015.

  2. Alexis Heloir; Fabrizio Nunnari

    Toward an intuitive sign language animation authoring system for the deaf

    In: Universal Access in the Information Society, Vol. 15, Pages 1-11, Springer Berlin Heidelberg, 2015.

  3. Iman Awaad; Gerhard K. Kraetzschmar; Joachim Hertzberg

    The Role of Functional Affordances in Socializing Robots

    In: International Journal of Social Robotics, Vol. 2015, Pages ??-??, Springer Netherlands, 3/2015.

  4. Technische Gestaltungsoptionen für autonom agierende Komponenten und Systeme

    In: Eric Hilgendorf; Sven Hötitzsch (Hrsg.). Das Recht vor den Herausforderungen der modernen Technik. Beiträge der 1. Würzburger Tagung zu Technikrecht im November 2013. Pages 63-73, ISBN 978-3-8487-1890-0, Nomos, Baden-Baden, 2015.

  5. Fabian Quint; Katharina Mura; Dominic Gorecky

    In-factory learning – Qualification for the factory of the future

    In: International Conference on Manufacturing Science and Education. International Conference on Manufacturing Science and Education (MSE-2015), June 3-6, Romania, Sibiu, 2015.

  6. Fabian Quint

    Mobile Assistenzsysteme für einen vereinfachten Wissensaustausch - Anforderungen & Lösungsansätze aus der Praxis im Projekt AmbiWise

    1. Wissensmanagement-Tagen für Industrie und Produktion 4.0 , Stuttgart, 6/2015.

  7. Rolf Drechsler; Martin Fränzle; Robert Wille

    Envisioning Self-Verification of Electronic Systems

    In: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoc-2015), June 29 - July 1, Bremen, Germany, 2015.

  8. Rolf Drechsler; Ulrich Kühne

    Formal Modeling and Verification of Cyber-Physical Systems

    In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015.

  9. Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler

    QMDDs: Efficient Quantum Function Representation and Manipulation

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.

  10. Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler

    Embedding of Large Boolean Functions for Reversible Logic

    In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.