Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 15054.

  1. Gerrit Großmann; Luca Bortolussi; Verena Wolf

    Efficient simulation of non-Markovian dynamics on complex networks

    In: Hocine Cherifi (Hrsg.). PLOS ONE, Vol. 15, No. 10, Pages 1-18, PLOS ONE, 10/2020.

  2. Linar Mikeev; Werner Sandmann; Verena Wolf

    Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks

    In: Samson Lasaulce; Dieter Fiems; Pete Harrison; Luc Vandendorpe (Hrsg.). VALUETOOLS '11: Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools. International ICST Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS-2011), May 16-20, Paris, France, Pages 186-196, ISBN 978-1-936968-09-1, ACM, 5/2011.

  3. Harald Fecher; Martin Leucker; Verena Wolf

    Don't Know in Probabilistic Systems

    In: Antti Valmari (Hrsg.). Model Checking Software. International Symposium on Model Checking Software (SPIN-2006), 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria, Pages 71-88, ISBN 9783540331032, Springer Berlin Heidelberg, Heidelberg, 3/2006.

  4. Mark Niemeyer

    Spatio-Temporal-Semantic Sensor Data Management With Use Cases in Agricultural Robotics

    PhD-Thesis, Universität Osnabrück, 2026.

  5. Saifullah Saifullah; Stefan Agne; Andreas Dengel; Sheraz Ahmed

    The Reality of High Performing Deep Learning Models: A Case Study on Document Image Classification

    In: IEEE Access (IEEE), Vol. 12, Pages 103537-103564, IEEE, 2024.

  6. Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf

    Rule-based modelling and simulation of drug-administration policies

    In: Nicht bekannt (Hrsg.). MSM '15: Proceedings of the Symposium on Modeling and Simulation in Medicine. Pages 53-60, ISBN 978-1-5108-0102-8, ACM, 4/2015.

  7. Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf

    Comparative branching-time semantics for Markov chains

    In: Information and Computation (Inform. Comput.), Vol. 200, No. 2, Pages 149-214, Elsevier, Amsterdam, 8/2005.

  8. Tuǧrul Dayar; Holger Hermanns; David Spieler; Verena Wolf

    Bounding the equilibrium distribution of Markov population models

    In: Numerical Linear Algebra with Applications, Vol. 18, No. 6, Pages 931-946, John Wiley & Sons, Ltd, England, 10/2011.

  9. Shuting Zhao; Ziqian Wang; Xiaxia Fan; Xuanhao Shu; Qiao Chen; Yibo Zhou; Yongzhi Fu; Zheng Yu; Marcin Grzegorzek; Xinyu Huang; Chengwen Zheng; Yanxiong Gan; Chuanbiao Wen

    Effectiveness of fermentation broth of Cordyceps sinensis for primary insomnia: a randomized clinical trial with digital health tool

    In: Iván Pérez-Neri (Hrsg.). Frontiers in Neurology, Vol. 16 - 2025, No. 1555010, Frontiers Media SA, 7/2025.

  10. Yan Liu; Tao Jiang; Rui Li; Lingling Yuan; Marcin Grzegorzek; Chen Li; Xiaoyan Li

    A state-of-the-art review of diffusion model applications for microscopic image and micro-alike image analysis

    In: Frontiers in Medicine, Vol. Volume 12 - 2025, Pages 1551894-1551894, Frontiers Media SA, 7/2025.

Year

More options