Skip to main content Skip to main navigation

Publications

Displaying results 811 to 820 of 13849.

  1. Fabia Marie Hettler; Jan-Philip Schumacher; Eduard Anton; Berna Eybey; Frank Teuteberg

    Understanding the user perception of digital nudging in platform interface design

    In: Electronic Commerce Research, Vol. March, Pages 1-38, Springer Nature, 3/2024.

  2. Eduard Anton; Thuy Duong Oesterreich; Julian Schuir; Frank Teuteberg

    A New Way to Reflect the IS Identity? Uncovering the Intellectual Core of Podcasts

    In: Forty-Third International Conference on Information Systems (ICIS 2022). International Conference on Information Systems (ICIS), Copenhagen, Denmark, Association for Information Systems, 2022.

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

    Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium

    In: Ezio Bartocci; Pietro Lio; Nicola Paoletti (Hrsg.). Computational Methods in Systems Biology. International Conference on Computational Methods in Systems Biology (CMSB-2016), 14th International Conference, CMSB 2016, September 21-23, Cambridge, United Kingdom, Pages 15-29, ISBN 9783319451770, Springer International Publishing, 9/2016.

  4. Thomas Henzinger; Barbara Jobstmann; Verena Wolf

    Formalisms For Specifying Markovian Population Models

    In: International Journal of Foundations of Computer Science, Vol. 22, No. 04, Pages 823-841, World Scientific Publishing Company, Singapur, 6/2011.

  5. Verena Wolf

    Equivalences on Phase Type Processes

    PhD-Thesis, Universität Mannheim, Univ. 5/2008.

  6. David Spieler; Verena Wolf

    Efficient Steady State Analysis of Multimodal Markov Chains

    In: Alexander Dudin; Koen De Turck (Hrsg.). Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium, Pages 380-395, ISBN 9783642394089, Springer Berlin Heidelberg, Heidelberg, 7/2013.

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

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

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

  10. Mark Niemeyer

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

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

Year

More options