Skip to main content Skip to main navigation

Publications

Displaying results 1561 to 1570 of 14740.

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

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

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

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

  5. Michael Backes; Pascal Berrang; Mathias Humbert; Xiaoyu Shen; Verena Wolf

    Simulating the Large-Scale Erosion of Genomic Privacy Over Time

    In: IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Vol. 15, No. 5, Pages 1405-1412, IEEE, 7/2018.

  6. Pascal Giehr; Charalampos Kyriakopoulos; Konstantin Lepikhov; Stefan Wallner; Verena Wolf; Jörn Walter

    Two are better than one: HPoxBS - hairpin oxidative bisulfite sequencing

    In: Nucleic Acids Research, Vol. 46, No. 15, Pages 1-10, Oxford University Press, 6/2018.

  7. Pavel Kurasov; Alexander Lück; Delio Mugnolo; Verena Wolf

    Stochastic hybrid models of gene regulatory networks – A PDE approach

    In: Mathematical Biosciences, Vol. 305, Pages 170-177, Elsevier, Amsterdam, 11/2018.

  8. Timo P. Gros; Pascal Held; Pascal Lauer; O. Niklas Metzger; Kallistos Weis

    aMAZEing Programming - Providing SKILLs to Fellow Students

    In: SKILL 2019 - Studierendenkonferenz Informatik. Bonn: Gesellschaft für Informatik e.V., 2019. Studierendenkonferenz Informatik (SKILL-2019), September 25-26, Kassel, Germany, Pages 59-70, Gesellschaft für Informatik, Bonn, 2019.

  9. P. Timo Gros; David Groß; Julius Kamp; Stefan Gumhold; Jörg Hoffmann

    Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving

    In: World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey, Springer Berlin Heidelberg, Heidelberg, 10/2025.

  10. Michael Backenköhler; Luca Bortolussi; Gerrit Großmann; Verena Wolf

    Analysis of Markov jump processes under terminal constraints

    In: Jan Friso Groote; Kim Guldstrand Larsen; (Hrsg.). Tools and Algorithms for the Construction and Analysis of Systems. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2021), 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, March 27 - April 1, Luxembourg City, Luxembourg, Pages 210-229, Vol. 12651, ISBN 978-3-030-72016-2, Springer, Switzerland, 3/2021.

Year

More options