Skip to main content Skip to main navigation

Publications

Displaying results 151 to 160 of 2324.

  1. Rezaul Tutul; Niels Pinkwart

    Design and Evaluation of a Sound-Driven Robot Quiz System with Fair First-Responder Detection and Gamified Multimodal Feedback

    In: Robotics, Vol. 14, No. 9, MDPI, 8/2025.

  2. Werner Sandmann; Verena Wolf

    A computational stochastic modeling formalism for biological networks

    In: Enformatika Transactions on Engineering, Computing and Technology, Vol. 14, Pages 132-137, 2006.

  3. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Machines for Observing Continuous-Time Markov Chains

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

  4. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Semantics for Stochastic Systems with Nondeterminism

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

  5. Verena Wolf

    Modelling of Biochemical Reactions by Stochastic Automata Networks

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 171, No. 2, Pages 197-208, Elsevier, Amsterdam, 7/2007.

  6. 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.

  7. 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.

  8. 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.

  9. Shreedhar Govil; Didier Stricker; Jason Raphael Rambach

    DriverGaze360: OmniDirectional Driver Attention with Object-Level Guidance

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, United States Minor Outlying Islands, IEEE, 2026.

  10. Felix Igelbrink; Lennart Niecksch; Marian Renz; Martin Günther; Martin Atzmueller

    LIEREx: Language-Image Embeddings for Robotic Exploration

    In: Lars Kunze (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 01, Pages 1-7, Springer, 1/2026.

Year

More options