Skip to main content Skip to main navigation

Publications

Displaying results 91 to 100 of 13639.

  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 Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

  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, Pittsburgh, PA, USA, Pages 147-160, ISBN 978-1-4503-9893-0, ACM, New York, NY, USA, 2023.

  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, Pages 211-226, ISBN 978-3-031-21541-4, Springer International Publishing, 2022.

  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 '23, ISBN 9781450399845, Association for Computing Machinery, 2023.

  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 Gesellschaft für Informatik (INFORMATIK-2023), Designing Futures: Zukünfte gestalten, September 26-29, Berlin, Berlin, Germany, ISBN 978-3-88579-731-9. Gesellschaft für Informatik e.V. 2023.

  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 of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. International Workshop on Description Logics (DL-2021), CEUR Workshop Proceedings, Vol. 2954, CEUR-WS.org, 2021.

  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, Germany, AHs '20, ISBN 9781450376037, Association for Computing Machinery, 2020.

  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 (HRI-2024), March 11-14, Boulder, CO, USA, Pages 613-617, ISBN 979-8-4007-0323-2, ACM, 2024.

Year

More options