Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 14734.
  1. 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.

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

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

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

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

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

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

  8. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Epidemic overdispersion strengthens the effectiveness of mobility restrictions

    In: HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. ACM International Conference on Hybrid Systems: Computation and Control (HSCC-2021), May 19-21, Nashville, Tennesse, USA, Pages 1-3, ISBN 978-1-4503-8339-4, ACM, New York, NY, 5/2021.

  9. Gerrit Großmann; Michael Backenköhler; Verena Wolf

    Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics

    In: Vygintas Gontis (Hrsg.). PLOS One, Vol. 16, No. 7, Pages 1-19, Public Library of Science, 7/2021.

  10. Charalampos Kyriakopoulos; Karl Nordström; Paula Linh Kramer; Judith Yumiko Gottfreund; Abdulrahman Salhab; Julia Arand; Fabian Müller; Ferdinand von Meyenn; Gabriella Ficz; Wolf Reik; Verena Wolf; Jörn Walter; Pascal Giehr

    A comprehensive approach for genome-wide efficiency profiling of DNA modifying enzymes

    In: Cell Reports Methods, Vol. 2, No. 3, Pages 1-23, Cell Press, 3/2022.