Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2023
Remove all filters
Displaying results 101 to 110 of 728.

  1. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  2. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  3. Rune Krauss; Mehran Goli; Rolf Drechsler

    EDDY: A Multi-Core BDD Package With Dynamic Memory Management and Reduced Fragmentation

    In: Proceedings of the 28th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference …

  4. Johannes Schleiss; Dana-Kristin Mah; Katrin Böhme; David Fischer; Janne Mesenhöller; Benjamin Paaßen; Sabrina Schork; Johannes Schrumpf

    Künstliche Intelligenz in der Bildung. Drei Zukunftsszenarien und fünf Handlungsfelder

    Diskussionspapier, KI-Campus, Publikationsreihe des KI-Campus, Vol. März 2023, 3/2023.

  5. Hannah Stein; Wolfgang Maaß

    Monetary Valuation of Data in the Context of Accounting

    In: Daniel Trauth; Thomas Bergs; Wolfgang Prinz. The Monetization of Technical Data: Innovations from Industry and Research. Pages 103-116, ISBN …

  6. Rune Krauss; Mehran Goli; Rolf Drechsler

    Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes

    In: 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  7. Carolin Stellmacher; André Zenner; Oscar Javier Ariza Nunez; Ernst Kruijff; Johannes Schöning

    Continuous VR Weight Illusion by Combining Adaptive Trigger Resistance and Control-Display Ratio Manipulation

    In: Proceedings of the 2023 IEEE Virtual Reality and 3D User Interfaces (VR'23). IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2023), …

  8. André Zenner; Kristin Ullmann; Oscar Ariza; Frank Steinicke; Antonio Krüger

    Induce a Blink of the Eye: Evaluating Techniques for Triggering Eye Blinks in Virtual Reality

    In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (CHI ’23). ACM International Conference on Human Factors in Computing …

  9. Christoph Manss; Kai Szadkowski; Janis Bald; David Richard; Christian Scholz; Daniel König; Arno Ruckelshausen

    Towards selective hoeing depending on evaporation from the soil

    In: Christa Hoffmann; Anthony Stein; Arno Ruckelshausen; Henning Müller; Thilo Steckel; Helga Floto (Hrsg.). 43. GIL-Jahrestagung, Resiliente …

  10. Nicolás Navarro-Guerrero; Sibel Toprak; Josip Josifovski; Lorenzo Jamone

    Visuo-Haptic Object Perception for Robots: An Overview

    In: Autonomous Robots, Vol. 47, Pages 27-27, Springer, 3/2023.

Year