Skip to main content Skip to main navigation

Publications

Displaying results 811 to 820 of 15223.

  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. Atta Ullah; Daniyal Munir; Daniel Lindenschmitt; Hans Dieter Schotten

    Wideband Coplanar Waveguide MIMO Antenna for 6G Millimeter-Wave Applications with Defected Ground Structure

    In: Proceedings of the 2025 IEEE International Symposium on Antennas and Propagation and North American Radio Science Meeting (AP-S/CNC-USNC-URSI). IEEE International Symposium on Antennas & Propagation and North American Radio Science Meeting (IEEE AP-S/URSI-2025), July 13-18, Ottawa, ON, Canada, IEEE, 2025.

  9. Jan Mertes; Marius Schmitz; Daniel Stuber; Daniel Lindenschmitt; Matthias Klar; Bahram Ravani; Hans Dieter Schotten; Jan C. Aurich

    Wireless Networks-in-Network for Automation in Manufacturing

    In: Flexible Automation and Intelligent Manufacturing: The Future of Automation and Manufacturing: Intelligence, Agility, and Sustainability. International Conference on Flexible Automation and Intelligent Manufacturing (FAIM-2025), June 21-24, New York City, NY, USA, Springer, 2025.

  10. Daniyal Munir; Atta Ullah; Danish Mehmood Mughal; Min Young Chung; Hans Dieter Schotten

    Dynamic IRS Allocation for Spectrum-Sharing MIMO Communication and Radar Systems

    In: 2025 IEEE International Conference on Communications Workshops. IEEE International Conference on Communications (ICC-2025), June 8-12, Montreal, QC, Canada, IEEE, 2025.

Year

More options