Skip to main content Skip to main navigation

Publications

Displaying results 761 to 770 of 13889.

  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of a RISC-V Processor

    In: IEEE Transactions on Nanotechnology, IEEE, 2025.

  2. Franc Pouhela; Dennis Krummacker; Hans Dieter Schotten

    Context-Aware Internet-of-Things Communication via Retrieval-Augmented Generation

    In: Workshop on Next-Gen Networks through LLMs, Action Models, and Multi-Agent Systems. IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  3. Franc Pouhela; Anthony Kiggundu; Hans Dieter Schotten

    Queuing Theory-Based Modeling and Optimization of a Publish/Subscribe IoT Communication System

    In: IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2025), IoT and Sensor Networks Symposium, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  4. IEEE (Hrsg.)

    IEEE International Conference on Communications

    IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE, 2025.

  5. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

  6. Sajjad Parvin; Sallar Ahmadi-Pour; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler

    Lower the RISC: Designing optical-probing-attack-resistant cores

    In: Microprocessors and Microsystems (MICPRO), Vol. 111, Elsevier, 2024.

  7. Lars Krupp; Steffen Steinert; Maximilian Kiefer-Emmanouilidis; Karina E. Avila; Paul Lukowicz; Jochen Kuhn; Stefan Küchemann; Jakob Karolus

    Challenges and Opportunities of Moderating Usage of Large Language Models in Education

    In: Proceedings of the International Conference on Mobile and Ubiquitous Multimedia. International Conference on Mobile and Ubiquitous Multimedia (MUM-2024), December 1-4, Stockholm, Sweden, MUM '24, ISBN 9798400712838, Association for Computing Machinery, 2024.

  8. Ahmed H. Elsayed; Tarek Elmihoub; Christoph Manss; Andre Miedtank; Lars Nolle; Frederic Theodor Stahl

    Interactive Simulator Framework for XAI Applications in Aquatic Environments

    In: Max Bramer; Frederic Theodor Stahl (Hrsg.). Artificial Intelligence XLI - SGAI 2024. SGAI International Conference on Artificial Intelligence (AI-2024), 44th SGAI International Conference on Artificial Intelligence, December 17-19, Cambridge, United Kingdom, Pages 144-157, Lecture Notes in Computer Science, Vol. 15446, ISBN 978-3-031-77915-2, Springer Nature Switzerland AG, 11/2024.

  9. Daniel Spieldenner; André Antakli; Torsten Spieldenner; Harkiran Sahota

    Semantic Support Points for on the Fly Knowledge Encoding in Heterogenous Systems

    In: Proceedings of the 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 3). International Conference on Knowledge Management and Information Sharing (KMIS-2024), ISBN 978-989-758-716-0, Scitepress, 2024.

  10. Alexander Schultheis; David Jilg; Lukas Malburg; Simon Bergweiler; Ralph Bergmann

    Towards Flexible Control of Production Processes: A Requirements Analysis for Adaptive Workflow Management and Evaluation of Suitable Process Modeling Languages

    In: Minghai Yuan; Fengque Pei (Hrsg.). Processes, Vol. 12, No. 12, Pages 1-20, MDPI, 12/2024.

Year

More options