Skip to main content Skip to main navigation

Publications

 

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

Displaying results 901 to 910 of 13153.
  1. Georg Rehm (Hrsg.)

    European Language Grid: A Language Technology Platform for Multilingual Europe

    Cognitive Technologies, Springer, Cham, Switzerland, 1/2023.

  2. Georg Rehm; Andy Way (Hrsg.)

    European Language Equality: A Strategic Agenda for Digital Language Equality

    Cognitive Technologies, Springer, Cham, Switzerland, 2/2023.

  3. Chandan Jha; Phrangboklang Lyngton Thangkhiew; Kamalika Datta; Rolf Drechsler

    IMAGIN: Library of IMPLY and MAGIC NOR Based Approximate Adders for In-Memory Computing

    In: IEEE Journal on Exploratory Solid-State Computational Devices and Circuits, IEEE, 2022.

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

    Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - a RISC-V Case Study

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

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

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

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

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

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

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