Skip to main content Skip to main navigation

Publications

Displaying results 2001 to 2010 of 14744.

  1. Babak Ahmadi; Kristian Kersting; Scott Sanner

    Multi-Evidence Lifted Message Passing, with Application to PageRank and the Kalman Filter

    In: Toby Walsh (Hrsg.). IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2011), July 16-22, Barcelona, Spain, Pages 1152-1158, IJCAI/AAAI, 2011.

  2. Zhao Xu; Kristian Kersting

    Multi-task Learning with Task Relations

    In: Diane J. Cook; Jian Pei; Wei Wang; Osmar R. Zaïane; Xindong Wu (Hrsg.). 11th IEEE International Conference on Data Mining. IEEE International Conference on Data Mining (ICDM-2011), December 11-14, Vancouver, BC, Canada, Pages 884-893, IEEE Computer Society, 2011.

  3. Rune Krauss; Rolf Drechsler

    Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

    In: IEEE Transactions on Evolutionary Computation, Pages 1-11, IEEE, 5/2025.

  4. Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Bug Identification and Correction for Verilog HDL

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, No. 06, Pages 1-28, ACM, 10/2025.

  5. Mohamed Nadeem; Luca Müller; Chandan Jha; Rolf Drechsler

    Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity

    In: ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2025.

  6. Moritz Schmidt; Abhoy Kole; Leon Wichette; Rolf Drechsler; Frank Kirchner; Elie Mounzer

    Exploration of Design Alternatives for Reducing Idle Time in Shor’s Algorithm: A Study on Monolithic and Distributed Quantum Systems

    In: IEEE Transactions on Quantum Engineering, Vol. 6, IEEE, 9/2025.

  7. Adrian Lutsch; Muhammad El-Hindi; Zsolt István; Carsten Binnig

    Towards High-performance and Trusted Cloud DBMSs

    In: Datenbank-Spektrum (Spektrum), Vol. 25, No. 1, Pages 39-50, Springer, 2025.

  8. Chandan Jha; Sumit Kumar Jha; Ulf Schlichtmann; Rolf Drechsler

    Formal Verification Techniques and Reliability Methods for RRAM-based Computing-in-Memory

    In: 38th 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), October 21-23, Barcelona, Spain, IEEE, 2025.

  9. Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler

    DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.

  10. Fatma Ozcan; Yeounoh Chung; Yannis Chronis; Lyubomir Ganev; Yawen Wang; Carsten Binnig; Johannes Wehrstein; Gaurav Tarlok Kakkar; Sami Abu-el-haija

    LLMs and Databases: A Synergistic Approach to Data Utilization

    In: IEEE Data Engineering Bulletin, Vol. 49, No. 1, Pages 32-44, IEEE, 2025.

Year

More options