Skip to main content Skip to main navigation

Publications

Displaying results 2811 to 2820 of 14608.
  1. Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network

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

  2. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing

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

  3. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

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

  4. 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.

  5. 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.

  6. Niko Kleer; Martin Feick

    A Study on the Influence of Task Dependent Anthropomorphic Grasping Poses for Everyday Objects

    In: 2022 IEEE-RAS 21st International Conference on Humanoid Robots. IEEE-RAS International Conference on Humanoid Robots (Humanoids-2022), November 28-30, Ginowan, Okinawa, Japan, Pages 829-836, IEEE, 2022.

  7. Parisa Shayan; Roberto Rondinelli; Menno Zaanen; Martin Atzmueller

    Multi-Level Analysis of Learning Management Systems' User Acceptance Exemplified in Two Real-World Case Studies

    In: Data, Vol. 8, No. 3, Pages 1-27, MDPI, 2023.

  8. Adaptive Management of Cyber-Physical Workflows by Means of Case-Based Reasoning and Automated Planning

    In: Tiago Prince Sales; Henderik A. Proper; Giancarlo Guizzardi; Marco Montali; Fabrizio Maria Maggi; Claudenir M. Fonseca (Hrsg.). Enterprise Design, Operations, and Computing (EDOC) Workshops 2022. Enterprise Distributed Object Computing (EDOC-2022), October 3-7, Bozen, Italy, Pages 79-95, Lecture Notes in Business Information Processing, Vol. 466, Springer, 2023.

  9. Martin Feick; Kora Regitz; Anthony Tang; Tobias Jungbluth; Maurice Rekrut; Antonio Krüger

    Investigating Noticeable Hand Redirection in Virtual Reality using Physiological and Interaction Data

    In: Proceedings of the 2023 IEEE Conference on Virtual Reality and 3D User Interfaces. IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2023), March 25-29, Shanghai, China, IEEE, 3/2023.