Skip to main content Skip to main navigation

Publications

Displaying results 551 to 560 of 11335.

  1. Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Sliding Window Abstraction for Infinite Markov Chains

    In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.

  2. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Exploring user experiences of clinicians engaged with the digital healthcare interventions across the referral and university teaching hospitals in Nigeria: a qualitative study

    In: Frontiers in Digital Health, Vol. 7, PubMed, 5/2025.

  3. Samuel Hill; Joy Belgassem; Felix Nadolni

    Mapping and Calibrating User Trust with LLMs: First Steps Towards Developing a Framework for Shaping Trust

    In: Asbjørn Følstad; Sebastian Hobert; Symeon Papadopoulos; Effie L.-C. Law; Theo Araujo; Petter Bae Brandtzæg (Hrsg.). Proceedings of the 9th International Symposium on Chatbots and Human-Centred AI. International Symposium on Chatbots and Human-Centred AI (CONVERSATIONS-2025), November 12-13, Lübeck, Germany, Lecture Notes in Computer Science (LNCS), Springer, 11/2025.

  4. Johannes Rust; Serge Autexier; Rolf Drechsler

    Simulation-based hardware exploration for Shapley value calculations

    In: Proceedings of the 24th International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH). International Conference on Informatics, Management, and Technology in Healthcare (ICIMTH-2026), July 3-4, Athen, Greece, 2026.

  5. Mahdi Chamseddine; Kaufmann Fabian; Schellen Marius; Glock Christian; Didier Stricker; Jason Raphael Rambach

    BIMStruct3D: A Fully Automated Hybrid Learning Scan-to-BIM Pipeline with Integrated Topology Refinement

    In: Computing in Construction. European Conference on Computing in Construction (EC3-2026), 2026 European Conference on Computing in Construction, July 12-15, Corfu, Greece, EC3, 2026.

  6. Jonas Eisenmenger; Zhongqian Zhao; Pierre Willenbrock; Wiebke Brinkmann

    DFKI-X2D: Design and Testing of a Quasi-Direct Drive Motor for Space Applications

    In: 15th EASN International Conference on Innovation in Aviation & Space Towards Sustainability Today & Tomorrow. EASN International Conference on Innovation in Aviation & Space towards Sustainability Today & Tomorrow (EASN-2025), October 14-17, Madrid, Spain, MDPI, Engineering Proceedings, volume 133, 4/2026.

  7. Mahdi Rezapour; Abdallah Fawzy Mohamed Mohamed Darwish; Achim Wagner; Daniel Görges; Martin Ruskowski

    A Modular Behavior Tree Engine for Smart Manufacturing: An AAS-Driven Framework for Autonomous Skill Execution

    Zenodo, 2026.

  8. André Zenner; Muhammad Moiz Sakha; Sukran Karaosmanoglu; Florian Daiber; Frank Steinicke

    How AI Enables Haptic Virtual Reality in Everyday Environments

    In: Proceedings of the AI for Haptics and Haptics for AI: Challenges and Opportunities Workshop at the 2026 CHI Conference on Human Factors in Computing Systems (CHI'26). AI for Haptics and Haptics for AI: Challenges and Opportunities, located at CHI'26, April 16, Barcelona, Spain, 4/2026.

  9. Jonas Keppel; Marvin Prochazka; Stefan Lewin; Markus Stroehnisch; Marvin Strauss; André Zenner; Donald Degraen; Andrii Matviienko; Stefan Schneegass

    Determining Perception Thresholds for Real and Virtual Inclinations While Cycling in Virtual Reality

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 2026.

  10. Daniel Gerhardt; Divyanshu Bhardwaj; Ashwin Ram; André Zenner; Jürgen Steimle; Katharina Krombholz

    Privacy & Safety Challenges of On-Body Interaction Techniques

    In: Proceedings of the 2026 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing Systems (CHI-2026), April 13-17, Barcelona, Spain, CHI '26, ISBN 9798400722783, Association for Computing Machinery, 2026.

Year

More options