Skip to main content Skip to main navigation

Publications

Displaying results 971 to 980 of 14532.

  1. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  2. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  3. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  4. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

  5. Ahmed H. Elsayed; Tarek Elmihoub; Christoph Manss; Andre Miedtank; Lars Nolle; Frederic Theodor Stahl

    Interactive Simulator Framework for XAI Applications in Aquatic Environments

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLI - SGAI 2024. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, December 17-19, Cambridge, United Kingdom, Pages 144-157, Lecture Notes in Computer Science, Vol. 15446, ISBN 978-3-031-77915-2, Springer Nature Switzerland AG, 11/2024.

  6. Vamsi Krishna Origanti; Adrian Danzglock; Frank Kirchner

    Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots

    In: Look Ahead Optimization for Managing Nullspace in Cartesian Impedance Control of Dual-Arm Robots. IEEE/SICE International Symposium on System Integration (SII-2025), 17th, January 21-24, Munich, Germany, IEEE Xplore, 1/2025.

  7. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Data Petri Nets Meet Probabilistic Programming

    In: Andrea Marrella; Manuel Resinas; Mieke Jans; Michael Rosemann (Hrsg.). Proceedings of the 22nd International Conference on Business Process Management. Business Process Management (BPM-2024), September 1-6, Krakow, Poland, Pages 21-38, LNCS, Vol. 14940, ISBN 978-3-031-70396-6, Springer, Switzerland, 9/2024.

  8. Martha Schnieber; Rolf Drechsler

    Automated Polynomial Formal Verification Using Generalized BDD Patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2024.

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

    OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2024.

  10. Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits

    In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.

Year

More options