Skip to main content Skip to main navigation

Publications

Displaying results 251 to 260 of 14846.

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

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

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

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

  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. Tom Kocmi; Sweta Agrawal; Ekaterina Artemova; Eleftherios Avramidis; Eleftheria Briakou; Pinzhen Chen; Marzieh Fadaee; Markus Freitag; Roman Grundkiewicz; Yupeng Hou; Philipp Koehn; Julia Kreutzer; Saab Mansour; Stefano Perrella; Lorenzo Proietti; Parker Riley; Eduardo Sánchez; Patricia Schmidtova; Mariya Shmatova; Vilém Zouhar

    Findings of the WMT25 Multilingual Instruction Shared Task: Persistent Hurdles in Reasoning, Generation, and Evaluation

    In: Barry Haddow; Tom Kocmi; Philipp Koehn; Christof Monz (Hrsg.). Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-25), November 8-9, Suzhou, China, Pages 414-435, ISBN 979-8-89176-341-8, Association for Computational Linguistics, 11/2025.

  8. Tom Kocmi; Ekaterina Artemova; Eleftherios Avramidis; Rachel Bawden; Ondrej Bojar; Konstantin Dranch; Anton Dvorkovich; Sergey Dukanov; Mark Fishel; Markus Freitag; Thamme Gowda; Roman Grundkiewicz; Barry Haddow; Marzena Karpinska; Philipp Koehn; Howard Lakougna; Jessica Lundin; Christof Monz; Kenton Murray; Masaaki Nagata; Stefano Perrella; Lorenzo Proietti; Martin Popel; Maja Popovic; Parker Riley; Mariya Shmatova; Steinthór Steingrímsson; Lisa Yankovskaya; Vilém Zouhar

    Findings of the WMT25 General Machine Translation Shared Task: Time to Stop Evaluating on Easy Test Sets

    In: Barry Haddow; Tom Kocmi; Philipp Koehn; Christof Monz (Hrsg.). Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-25), November 8-9, Suzhou, China, Pages 355-413, ISBN 979-8-89176-341-8, Association for Computational Linguistics, 11/2025.

  9. Tatiana Anikina; Jan Cegin; Jakub Simko; Simon Ostermann

    A Rigorous Evaluation of LLM Data Generation Strategies for Low-Resource Languages

    In: Christos Christodoulopoulos; Tanmoy Chakraborty; Carolyn Rose; Violet Peng (Hrsg.). Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing. Conference on Empirical Methods in Natural Language Processing (EMNLP-2025), November 4-10, Suzhou, China, Pages 8293-8314, ISBN 979-8-89176-332-6, Association for Computational Linguistics, 11/2025.

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

Year

More options