Skip to main content Skip to main navigation

Publications

Displaying results 1571 to 1580 of 14809.

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

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

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

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

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

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

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

  8. Sabine Janzen; Rishika Kumari; Wolfgang Maaß

    Multimodal Situational Awareness for Civil-Military Coordination in Port Disruption Scenarios

    In: Caroline Rizza; Apoorva Chauhan; Amy Matser; Joyce Kox; Willem Treurniet; Jeroen Wolbers (Hrsg.). Proceedings of the 23rd ISCRAM Conference. International Conference on Information Systems for Crisis Response and Management (ISCRAM-2026), Netherlands, 6/2026.

  9. Ihab Alzalam; Anasuya Chattopadhyay; Christoph Lipps; Hans Dieter Schotten

    Detection and Classification of Network Traffic Attacks in Cloud Computing Using ML

    In: IEEE International Black Sea Conference on Communications and Networking 2026. IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom-2026), June 8-11, Bucharest, Romania, IEEE, 6/2026.

  10. Shishir Muralidhara; Didier Stricker; René Schuster

    MILE: Mixture of Incremental LoRA Experts for Continual Semantic Segmentation across Domains and Modalities

    In: International Conference on Pattern Recognition. International Conference on Pattern Recognition (ICPR), 28th International Conference on Pattern Recognition, August 17-22, Lyon, France, IEEE, 2026.

Year

More options