Skip to main content Skip to main navigation

Publications

Displaying results 241 to 250 of 15048.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Transformation-Aided Verification of MAC Designs using Symbolic Computer Algebra

    In: Design and Verification Conference & Exhibition Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe), October 14-15, München, Germany, 2025.

  2. Kamalika Datta; Lennart Weingarten; Julen Larrucea; Abhoy Kole; Rolf Drechsler

    An Overview of Electronic Structure Problem using Quantum Computing in the NISQ Era

    In: Proceedings of the 6th International Conference on Frontiers in Computing and Systems (COMSYS). International Conference on Frontiers in Computing and Systems (COMSYS-2025), September 25-27, Warschau, Poland, 2025.

  3. Fatemeh Shirinzadeh; Abhoy Kole; Kamalika Datta; Saeideh Shirinzadeh; Rolf Drechsler

    Fault-Tolerant Character Recognition in Neuromorphic Systems Using RRAM Crossbar Arrays

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

  4. Saeideh Nabipour; Fatemeh Shirinzadeh; Abhoy Kole; Saeideh Shirinzadeh; Rolf Drechsler

    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.

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

  6. Simon Kohaut; Nikolas Hohmann; Sebastian Brulin; Benedict Flade; Julian Eggert; Markus Olhofer; Jürgen Adamy; Devendra Singh Dhami; Kristian Kersting

    Hybrid Many-Objective Optimization in Probabilistic Mission Design for Compliant and Effective UAV Routing

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

  7. Simon Kohaut; Benedict Flade; Julian Eggert; Devendra Singh Dhami; Kristian Kersting

    StaR Maps: Unveiling Uncertainty in Geospatial Relations

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

  8. Simon Kohaut; Felix Divo; Benedict Flade; Devendra Singh Dhami; Julian Eggert; Kristian Kersting

    The Constitutional Filter

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

  9. Felix Friedrich; Simone Tedeschi; Patrick Schramowski; Manuel Brack; Roberto Navigli; Huu Nguyen; Bo Li; Kristian Kersting

    LLMs Lost in Translation: M-ALERT uncovers Cross-Linguistic Safety Gaps

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

  10. Arseny Skryagin; Daniel Ochs; Phillip Deibert; Simon Kohaut; Devendra Singh Dhami; Kristian Kersting

    Answer Set Networks: Casting Answer Set Programming into Deep Learning

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

Year

More options