Skip to main content Skip to main navigation

Publications

Displaying results 1421 to 1430 of 14909.
  1. 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.

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

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

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

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

  6. Marc Schubhan; Pascal Lessel; Maximilian Altmeyer

    Tagify: A Boilerplate Tagging Platform for Gamification Research

    In: Proceedings of the Mensch Und Computer 2025. Mensch und Computer (MuC-2025), MuC '25, ISBN 9798400715822, Association for Computing Machinery, 2025.

  7. Demonstrating PIPE-X: Supporting Iterative Pipeline Development Through Explanations

    In: Wolfgang Lehner; Vanessa Braganholo; Kostas Stefanidis; Zheying Zhang; Alexander Krause; Jo~ao Felipe Nicolaci Pimentel (Hrsg.). Proceedings 29th International Conference on Extending Database Technology, EDBT 2026, Tampere, Finland, March 24-27, 2026. International Conference on Extending Database Technology (EDBT-2026), March 24-27, Tampere, Finland, Pages 720-723, OpenProceedings.org, 2026.

  8. Marina Jentsch; Sönke Knoch; Jonas Mohr; Delia Schröder; Valentin Seimetz; Dana Wolf

    Potenziale digitaler Technologien für die Arbeitsgestaltung in einer resilienten europäischen Schuhindustrie

    In: Tagungsband des 72. Arbeitswissenschaftlichen Kongresses. Fachtagung Gesellschaft für Arbeitswissenschaft e.V. (GfA-2026), Menschengerechte Arbeitsgestaltung, March 11-13, Kassel, Germany, Pages 731-736, GfA-Press, Sankt Augustin, 2026.