Skip to main content Skip to main navigation

Publications

Displaying results 1491 to 1500 of 14617.

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

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

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

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

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

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

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

  8. Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer; Nicola Müller; Verena Wolf

    PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface

    In: Pavithra Prabhakar; Andrea Vandin (Hrsg.). Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, Proceedings. International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems (QEST+FORMATS-2025), August 26-28, Aarhus, Denmark, Pages 134-156, Lecture Notes in Computer Science (LNCS), Vol. 16143, ISBN 978-3-032-05791-4, Springer Nature, Switzerland, 10/2025.

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

    Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study

    In: Marco Gribaudo; David N. Jansen; Anne Remke (Hrsg.). Quantitative Evaluation of Systems. International Conference on Quantitative Evaluation of Systems (QEST-2020), 17th International Conference, QEST 2020, October 31 - September 1, Vienna, Austria, Pages 211-229, Vol. 12289, ISBN 9783030598549, Springer International Publishing, Switzerland, 9/2020.

  10. Thilo Krüger; Verena Wolf

    Hybrid Stochastic Simulation of Rule-Based Polymerization Models

    In: Eugenio Cinquemani; Alexandre Donzé (Hrsg.). Hybrid Systems Biology - 5th International Workshop, Proceedings. International Conference on Hybrid Systems Biology (HSB-2016), October 20-21, Grenoble, France, Pages 39-53, Lecture Notes in Computer Science (LNCS), Vol. 9957, ISBN 9783319471518, Springer International Publishing, 9/2016.

Year

More options