Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 8134.

  1. Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Towards Completeness: Security Coverage for System Level IFT

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  2. Shreya Tayade and Hans D. Schotten (Hrsg.)

    Control Requirements Aware Resource Allocation for Edge-cloud based AGV

    IEEE International Conference on Advanced Networks and Telecommunications Systems (IEEE ANTS-2023), Jaipur India, India, IEEE, 12/2023.

  3. Sebastian Huhn; Rolf Drechsler

    Design für Testbarkeit, Fehlersuche und Zuverlässigkeit Maßnahmen der nächsten Generation unter Verwendung formaler Techniken

    Springer, 2023.

  4. Jakob Karolus; Sebastian S. Feger; Albrecht Schmidt; Pawel W. Wozniak

    Your Text Is Hard to Read: Facilitating Readability Awareness to Support Writing Proficiency in Text Production

    In: DIS '23: Proceedings of the 2023 ACM Designing Interactive Systems Conference. ACM Designing Interactive Systems (DIS-2023), July 10-14, …

  5. Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Head of the Beholder: Comparing Different Proof Representations

    In: Guido Governatori; Anni-Yasmin Turhan (Hrsg.). Rules and Reasoning. International Joint Conference on Rules and Reasoning (RuleML+RR-2022), Cham, …

  6. Frederik Wiehr; Adrien Unger; Antonio Krüger

    HapticPole: Running Navigation Through Skin Drag and Shape Change

    In: Proceedings of the Augmented Humans International Conference 2023. Augmented Humans International Conference (AHs-2023), New York, NY, USA, AHs …

  7. Ingo Siegert; Stefan Hillmann; Philline Görzig; Matthias Busch; Jan Nehring; Xenia Klinge

    Die Chatbot-Challenge – Spielend mit KI von der Idee zum Dialogsystem

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg.). INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Jahrestagung der …

  8. Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr

    In the Hand of the Beholder: Comparing Interactive Proof Visualizations

    In: Martin Homola; Vladislav Ryzhikov; Renate A. Schmidt (Hrsg.). Proceedings of the 34th International Workshop on Description Logics (DL 2021) part …

  9. Frederik Wiehr; Andreas Höh; Antonio Krüger

    Towards A Wearable for Deep Water Blackout Prevention

    In: Proceedings of the Augmented Humans International Conference. Augmented Humans International Conference (AHs-2020), March 16-17, Kaiserslautern, …

  10. Niko Kleer; Martin Feick; Florian Daiber; Michael Feld

    Towards Remote Expert Supported Autonomous Assistant Robots in Shopping Environments

    In: Companion of the 2024 ACM/IEEE International Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction …

Year

More options