Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 13872.
  1. Khushboo Qayyum; Chandan Jha; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    LLM-assisted Bug Identification and Correction for Verilog HDL

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

  2. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Hrsg.). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Pages 1-1, IEEE, 2025.

  3. Chandan Jha; Simranjeet Singh; Khushboo Qayyum; Ankit Bende; Muhammad Hassan; Vikas Rana; Farhad Merchant; Rolf Drechsler

    veriSiM: Formal Verification of Spice Netlists for MAGIC-Based Logic-in-Memory

    In: 34th International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2025), June 12-13, Verona, Italy, 2025.

  4. Maurice Rekrut; Johannes Ihl; Tobias Jungbluth; Antonio Krüger

    How low can you go: evaluating electrode reduction methods for EEG-based speech imagery BCIs

    In: Hasan Ayaz (Hrsg.). Frontiers in Neuroergonomics, Vol. 6, Pages 1-18, Frontiers Media SA, 7/2025.

  5. Nghia Duong-Trung; Xia Wang; Rahul Rajkumar Bhoyar; Angelin Mary Jose; Silke Elisabeth Wrede; Lars van Rijn; Theresa Panse; Claudia de Witt; Niels Pinkwart

    TPRS: AI-Assisted Research Topic Refinement for Distance Learners

    In: Alexandra I. Cristea; Erin Walker; Yu Lu; Olga C. Santos; Seiji Isotani (Hrsg.). International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-2025), July 22-26, Palermo, Italy, Pages 69-76, ISBN 978-3-031-99263-6, Springer, 2025.

  6. Nikolas Müller; Ahmad Kadi; Marie-Laure Mugnier; Guillaume Pérution; Federico Ulliana; Martin Atzmueller

    A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies

    In: Antonios Gasteratos; Nicola Bellotto; Stefano Tortora (Hrsg.). 12th European Conference on Mobile Robots (ECMR 2025). European Conference on Mobile Robots (ECMR-2025), September 2-5, Padua, Italy, IEEE, 2025.

  7. What is the Most Efficient Technique for Uplink Cell-Free Massive MIMO?

    In: IEEE Vehicular Technology Conference. IEEE Vehicular Technology Conference (VTC-2025), October 19-22, Chengdu, IEEE, 10/2025.

  8. The Importance of Facial Features in Vision-based Sign Language Recognition: Eyes, Mouth or Full Face?

    In: ACM International Conference on Intelligent Virtual Agents (IVA Adjunct ’25). International Workshop on Sign Language Translation and Avatar Technology (SLTAT-2025), 9th International Workshop on Sign Language Translation and Avatar Technology, located at IVA-2025, September 16, Berlin, Germany, ISBN 979-8-4007-1996-7/25/09, ACM, 9/2025.

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

    FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits

    In: o.A. (Hrsg.). ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, ACM, 2025.

  10. Maryam Movahedifar; Lena Steinmann; Rolf Drechsler

    Interactive Visualization with the R Package Shiny: A Tool for Building Research Data and Software Competencies

    In: INFORMATIK FESTIVAL 2025. Workshop Research Data and Software Competencies (RDSC-2025), located at INFORMATIK 2025, September 16, Berlin, Germany, GI, 2025.