Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 720.
  1. Towards Energy-Efficient Large-Scale Artificial Intelligence for Sustainable Data Centers

    In: INFORMATIK 2023. Jahrestagung der Gesellschaft für Informatik (INFORMATIK-2023), 11. Workshop Umweltinformatik zwischen Nachhaltigkeit und Wandel, …

  2. Terahertz-Enpowered Communications and Sensing in 6G Systems: Opportunities and Challenges

    In: IEEE ICCC. IEEE International Conference on Computer and Communications (ICCC-2023), December 8-11, Chengdu, China, IEEE, 12/2023.

  3. CoBaIR: A Python Library for Context-Based Intention Recognition in Human-Robot-Interaction

    In: 2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human …

  4. DALG: The Data Aware Event Log Generator

    In: BPM 2023 Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum. BPM Demo Track (BPMTracks-2023), Ceur-WS, 2023.

  5. Miles Al Mehdawi; Tobias Dreesbach; Henning Gösling; Marcel Brinkmann

    Investigating the Use of Augmented Reality and Machine Learning in Electrical Engineering Courses

    In: Milad Mirbabaie (Hrsg.). Wirtschaftsinformatik 2023 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2023), September 18-21, …

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

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

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

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

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