Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 14804.

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

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

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

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

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

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

  7. Maksim Lapin; Linar Mikeev; Verena Wolf

    SHAVE: stochastic hybrid analysis of markov population models

    In: HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2011), April 12-14, Chicago, IL, USA, Pages 311-312, ISBN 978-1-4503-0629-4, ACM, 4/2011.

  8. Tuğrul Dayar; Werner Sandmann; David Spieler; Verena Wolf

    Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics

    In: Advances in Applied Probability, Vol. 43, No. 4, Pages 1005-1026, Cambridge University Press, 12/2011.

  9. Pascal Giehr; Charalampos Kyriakopoulos; Gabriella Ficz; Verena Wolf; Jörn Walter

    The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach

    In: PLOS Computational Biology, Vol. 12, No. 5, Pages 1-16, Public Library of Science, 5/2016.

  10. Michael Backenköhler; Luca Bortolussi; Verena Wolf

    Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium

    In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Vol. 15, No. 4, Pages 1180-1192, IEEE, 11/2017.

Year

More options