Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 161 bis 170 von 14486.
  1. Bernhard Berger; Christina Plump

    Automatic Security-Flaw Detection — Towards a Fair Evaluation and Comparison

    In: Software and Systems Modeling (SoSyM), Springer Science and Business Media LLC, 2025.

  2. Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

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

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

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

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

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

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

  8. Yuzhou Wang; Xiaojie Li; Frank Kulwa; Xiaoyan Li; Shuochen Tai; Shuaiyi Tian; Kunyang Teng; Marcin Grzegorzek; Xinyu Huang; Tao Jiang; Chen Li

    A Microscopic Image Processing Platform for Multi-class Cell Segmentation Using Deep Learning

    In: Intelligent Medicine, Vol. not yet assigned, Page not yet assigned, Elsevier, 9/2025.

  9. Anna Kordowski; Ina Hohensee; Vivian Tetzlaff-Lelleck; Franziska Schmelter; Yves Laumonnier; Lennart Jablonski; Artur Piet; Anna Exner; Md Abid Hasan; Nicole Heßler; Yaser Hatem; Inke König; Marcin Grzegorzek; Christian Sina

    INDICATE-FH - Neue Wege in der Diagnostik und Therapie von Nahrungsmittelunverträglichkeiten - Technologische Neuerungen zur Verbesserung der Diagnostik und Therapie von Weizenunverträglichkeit

    12/2025.