Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 15095.

  1. Muhammad Saif Ullah Khan; Chen-Yu Wang; Tim Prokosch; Michael Lorenz; Bertram Taetz; Didier Stricker

    Amortized Inverse Kinematics via Graph Attention for Real-Time Human Avatar Animation [version 1; peer review: awaiting peer review]

    In: Open Research Europe, Vol. 6, No. 314, Pages 1-21, Open Research Europe, 8/2026.

  2. Milan Funck; Christoph Lüth; Rolf Drechsler

    FormalHandshake — Open Source Design and Verification Flow for complex Hardware Circuits

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  3. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Scalable Verification for Dot-Product Architectures using Symbolic Computer Algebra

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 9-11, Rom, Italy, 2026.

  4. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of Structurally Simple Multipliers

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2026), September 9-11, Rom, Italy, 2026.

  5. Till Schnittka; Majd Assaad; Abhoy Kole; Rolf Drechsler

    Low T-Depth Clifford+T Decomposition of Large Toffoli Gates using Dynamic Phase Correction

    In: International Conference on Quantum Computing and Engineering (QCE). IEEE International Conference on Quantum Computing and Engineering (QCE-2026), September 13-18, Toronto, Canada, IEEE, 2026.

  6. Sutirtha Bhattacharyya; Chandan Jha; Rolf Drechsler

    Reinforcement Learning Guided Boundary Activity Passing for Incremental Bounded Model Checking

    In: 8th ACM/IEEE International Symposium on Machine Learning for CAD. ACM/IEEE Workshop on Machine Learning for CAD (MLCAD-2026), September 7-9, Seogwipo, Korea, Democratic People's Republic of, 2026.

  7. Karl Aaron Rudkowski; Abhoy Kole; Rolf Drechsler

    Optimizing Run-Time Assertions for Quantum Circuit Debugging: A Depth–Ancilla Tradeoff

    In: 39th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems. IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2026), September 30 - October 2, Rom, Italy, IEEE, 2026.

  8. Saeideh Nabipour; Saeideh Shirinzadeh; Rolf Drechsler

    A Design Automation Framework for Approximate MAGIC-Based Dadda Tree Multipliers in Memristive In-Memory Computing

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  9. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Scalability Matters: Future-Proof Formal Verification of a RISC-V Arithmetic Logic Unit

    In: 29th Euromicro Conference Series on Digital System Design (DSD) 2026. Euromicro Conference on Digital System Design (DSD-2026), September 2-4, Krakau, Poland, 2026.

  10. Sallar Ahmadi-Pour; Chandan Jha; Rolf Drechsler

    NPN-ApproxLib: DNN-Aware Approximate Multiplier Design via NPN Classes

    In: Proceedings of the 8th IEEE International Conference on Artificial Intelligence Circuits and Systems. IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS-2026), September 16-18, Ha Long Bay, Viet Nam, IEEE, 2026.

Year

More options