Skip to main content Skip to main navigation

Publications

Displaying results 1771 to 1780 of 14804.
  1. Performance Evaluation of MAGIC-ReRAM Arithmetic Circuits for Low-Latency In-Memory Computing

    In: IEEE Nordic Circuits and Systems Conference. IEEE Nordic Circuits and Systems Conference (NorCAS-2025), October 28-29, Riga, Lithuania, IEEE, 2025.

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

  3. 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. Nils Dycke; Matej Zecevic; Ilia Kuznetsov; Beatrix Suess; Kristian Kersting; Iryna Gurevych

    Diagnostic Reasoning in Natural Language: Computational Model and Application

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2409.05367, Pages 1-27, arXiv, 2024.

  7. Subhabrata Dutta; Timo Kaufmann; Goran Glavas; Ivan Habernal; Kristian Kersting; Frauke Kreuter; Mira Mezini; Iryna Gurevych; Eyke Hüllermeier; Hinrich Schütze

    Problem Solving Through Human-AI Preference-Based Cooperation

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2408.07461, Pages 1-34, arXiv, 2024.

  8. Harsh Poonia; Moritz Willig; Zhongjie Yu; Matej Zecevic; Kristian Kersting; Devendra Singh Dhami

    (chi)SPN: Characteristic Interventional Sum-Product Networks for Causal Inference in Hybrid Domains

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2408.07545, Pages 1-17, arXiv, 2024.

  9. Rebecca Keilhauer; Michael Lorenz; Carlo Dindorf; Stefan Ernst; Chen-Yu Wang; Paul Messer; Didier Stricker

    Exploring Large Language Models for Automated Gait Analysis

    In: Proceedings of 2nd International Conference of AIxHMC 2025. International Conference on Artificial Intelligence for Medicine, Health, and Care (AIxMHC-2025), October 13-15, Taichung, Taiwan, Province of China, IEEE Xplore, 2025.