Skip to main content Skip to main navigation

Publications

Displaying results 111 to 120 of 14699.
  1. 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.

  2. Oliver Gutermuth; Alessandro Benke; Peter Fettke; Wolfgang Reisig

    Drei Fallstudien zum Process Mining

    Kurzstudien des NEGZ - Kompetenznetzwerk Digitale Verwaltung, 2025.

  3. Nhat Chung; Taisei Hanyu; Toan Nguyen; Huy Le; Frederick Bumgarner; Ho Minh Duy Nguyen; Khoa Vo; Kashu Yamazaki; Chase Rainwater; Tung Kieu; Anh Nguyen; Ngan Le

    Rethinking progression of memory state in robotic manipulation: An object-centric perspective

    In: Proceedings of AAAI 2026. AAAI Conference on Artificial Intelligence (AAAI-2026), AAAI, 2026.

  4. Ho Minh Duy Nguyen; Trung Nguyen; Ha Thi Hong Le; Mai Thanh Nhat Truong; TrungTin Nguyen; Nhat Ho; Khoa D Doan; Duy Duong-Tran; Li Shen; Daniel Sonntag; James Zou; Mathias Niepert; Hyojin Kim; Jonathan E Allen

    FACET: A Fragment-Aware Conformer Ensemble Transformer

    In: Proceedings of ICLR 2026. International Conference on Learning Representations (ICLR-2026), ICLR, 2026.

  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. Konzeption und Umsetzung von Datenmanagementstrategien im Projekt "Ageing Smart - Räume intelligent gestalten"

    In: Annette Spellerberg; Stefan Ruzika (Hrsg.). Ageing Smart - Digitale Instrumente im kommunalen Kontext: Daten, Analysen und Strategien (nicht nur) für Babyboomer. Chapter 14, Konzeption und Umsetzung von Datenmanagementstrategien im Projekt "Ageing Smart - Räume intelligent , Pages 353-372, ISBN 978-3-658-48575-7, Springer VS Wiesbaden, Wiesbaden, Germany, 1/2026.

  8. Daten als Schlüssel zur erfolgreichen Entscheidungsunterstützung

    In: Annette Spellerberg; Stefan Ruzika (Hrsg.). Ageing Smart - Digitale Instrumente im kommunalen Kontext: Daten, Analysen und Strategien (nicht nur) für Babyboomer. Chapter 12, Daten als Schlüssel zur erfolgreichen Entscheidungsunterstützung, Pages 295-321, ISBN 978-3-658-48575-7, Springer VS Wiesbaden, Wiesbaden, Germany, 1/2026.