Skip to main content Skip to main navigation

Publications

Displaying results 721 to 730 of 13710.

  1. Dominique Mercier; Andreas Dengel; Sheraz Ahmed

    TimeREISE: Time-series Randomized Evolving Input Sample Explanation

    In: Sensors - Open Access Journal (Sensors), Vol. 22, Pages 1-19, MDPI, 5/2022.

  2. Sabine Klein; Andreas Emrich; Peter Fettke

    Analysis of the Tool Support for Business Model Innovation

    In: Tung X. Bui (Hrsg.). Proceedings of the 55th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), HICSS 2022, located at 55th Annual Hawaii International Conference on System Sciences, January 3-7, Hawaii/Virtual, HI, USA, Pages 6363-6372, HICSS, ISBN 978-0-9981331-5-7, HICSS, 2022.

  3. Dennis Wittchen; Katta Spiel; Bruno Fruchard; Donald Degraen; Oliver Schneider; Georg Freitag; Paul Strohmeier

    TactJam: An End-to-End Prototyping Suite for Collaborative Design of On-Body Vibrotactile Feedback

    In: Sixteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied Interaction (TEI-2022), New York, NY, USA, TEI '22, ISBN 9781450391474, Association for Computing Machinery, 2022.

  4. Mehran Goli; Rolf Drechsler

    Simulation-based Verification of SystemC-based VPs at the ESL

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  5. Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler

    RISC-V Processor Verification with Coverage-guided Aging

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2022), February 17-18, virtual, 2022.

  6. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: IEEE European Test Symposium (ETS). IEEE European Test Symposium (ETS-27), May 23-27, Barcelona, Spain, 2022.

  7. Christina Plump; Bernhard Berger; Rolf Drechsler

    Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms

    In: International Conference on Dynamics in Logistics. International Conference on Dynamics in Logistics (LDIC-2022), February 23-25, Bremen, Germany, 2022.

  8. Alexander Schäfer; Gerd Reis; Didier Stricker

    AnyGesture: Arbitrary One-Handed Gestures for Augmented, Virtual, and Mixed Reality Applications

    In: Applied Sciences, Vol. 12, No. 4, Pages 1-21, MDPI, Switzerland, 2/2022.

  9. Yuriy Anisimov; Jason Raphael Rambach; Didier Stricker

    Nonlinear Optimization of Light Field Point Cloud

    In: Academic Editor Denis Laurendeau (Hrsg.). Sensors - Open Access Journal (Sensors), Vol. 22(3), Pages 814-829, MDPI, 1/2022.

  10. Vladimir Herdt

    Verbessertes Virtual Prototyping für den Entwurfsablauf

    In: S. Hölldobler et al.. Ausgezeichnete Informatikdissertationen 2020. Pages 119-128, GI, 2021.

Year

More options