Skip to main content Skip to main navigation

Publications

Displaying results 111 to 120 of 5450.

  1. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

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

    A Comprehensive Synthesis and Verification Approach for RRAM-Based Neuromorphic Computing

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  3. Martha Schnieber; Rolf Drechsler

    Synthesis for Testability: Polynomial Test Pattern Generation for KFDD Circuits

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  4. Siphesihle Sithungu; Christoph Lipps

    Critical Infrastructure Security and the Role of AI: An Overview

    In: Proceedings of the 24th European Conference on Cyber Warfare and Security. European Conference on Cyber Warfare and Security (ECCWS-2025), Kaiserslautern, Rheinland-Pfalz, Germany, Academic Conferences International, 6/2025.

  5. Clemens Möllenhoff; Bharat Agarwal; Jan Herbst; Matthias Rüb; Thomas Petzold; Tobias Pabst; Ralf Irmer; Christoph Lipps; Hans Dieter Schotten; Thomas Neumuth; Max Rockstroh

    Towards 6G-connected Healthcare: Perspectives, Risks and Real-World Applications for Smart Hospitals

    In: Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), July 14-17, Copenhagen, Denmark, IEEE, 7/2025.

  6. Christoph Lipps; Andreas Weinand; Ihab Alzalam; Hans Dieter Schotten

    Context as a Factor: The Aspect of Physical Layer Security in Multi-Factor Authentication Schemes

    In: Proceedings of the 20th International Conference on Cyber Warfare and Security. International Conference on Cyber Warfare and Security (ICCWS-2025), March 27-29, Williamsburg, VA, VA, USA, Academic Conferences International, 3/2025.

  7. Julie Gandrup; David Antony Selby; William Dixon

    Classifying self-reported rheumatoid arthritis flares using daily patient-generated data from a smartphone app: exploratory analysis applying machine learning approaches

    In: JMIR Formative Research (JMIR Form Res), Vol. 8, Page e50679, JMIR Publications, 5/2024.

  8. Sylvio Rüdian; Julia Podelo; Jakub Ku¸ílek; Niels Pinkwart

    Feedback on feedback: student’s perceptions for feedback from teachers and few-shot LLMs

    In: Proceedings of the 15th International Learning Analytics and Knowledge Conference. International Conference on Learning Analytics & Knowledge (LAK), Pages 82-92, ISBN 979-8-4007-0701-8/25/03, 3/2025.

  9. Oscar Lima; Marc Vinci; Sunandita Patra; Sebastian Stock; Joachim Hertzberg; Martin Atzmüller; Malik Ghallab; Dana Nau; Paolo Traverso

    Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM

    In: Proceedings of the 12th European Conference on Mobile Robots (ECMR 2025). European Conference on Mobile Robots (ECMR-2025), located at ECMR-2025, September 3-5, University of Padua, Padua, Italy, Pages 1-6, ISBN 979-8-3315-2705-1, IEEE, Piscataway, NJ, USA, 9/2025.

  10. Raúl Domínguez; Mehmed Yüksel; Christoph Hertzberg; Babu Ajish; Frank Kirchner

    Field Testing of Rimless Wheel Micro Rovers in Space Analogue Environments

    I Doctoral Workshop on Space Robotics, University of Málaga, 2025.

Year

More options