Skip to main content Skip to main navigation

Publications

Displaying results 2391 to 2400 of 14764.

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

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

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

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

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

  6. Sogo Pierre Sanon; Ihab Alzalam; Hans Dieter Schotten

    Quantum and Post-Quantum Security in Future Networks

    In: 2023 IEEE Future Networks World Forum. IEEE Future Networks World Forum (FNWF-2023), November 13-15, Baltimore, USA, IEEE, 2023.

  7. Bin Han; Ye Yuan; Hans Dieter Schotten

    VENENA: A Deceptive Visual Encryption Framework for Wireless Semantic Secrecy

    In: IEEE Open Journal of the Communications Society (OJCOMS), Vol. vol. 7, Pages 874-884, IEEE, 1/2026.

  8. Daniel Lindenschmitt; Michael Gundall; Ainur Daurembekova; Marco Rates Crippa; Mohammad Asif Habibi; Bin Han; Philipp Rosemann; Dennis Krummacker; Benedikt Veith; Hans Dieter Schotten

    Use Cases, Metrics, and Challenges of Nomadic Non-Public Networks for the 6G Standardization

    In: IEEE Communications Standards Magazine, Vol. Early Access, Pages 1-9, IEEE, 1/2026.

  9. Talha Uddin Sheikh; Sankalp Sinha; Shino Sam; Didier Stricker; Muhammad Zeshan Afzal (Hrsg.)

    International Conference on Computer Vision, ICCV 2025

    International Conference on Computer Vision (ICCV-2025), October 19-23, Honolulu, Hawai, USA, IEEE/CVF, 10/2025.

  10. Shama Noreen; Hans Dieter Schotten

    A Location-Aware Time-to-Exit Metric for Reliable Conditional Handover in 6G NTN

    In: 2026 IEEE 23rd Consumer Communications & Networking Conference (CCNC). IEEE Consumer Communications and Networking Conference (CCNC-2026), January 9-12, Las Vegas, NV, USA, NV, USA, USA, Pages 1-4, IEEE, 2/2026.

Year

More options