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.
In: Proceedings of AAAI 2026. AAAI Conference on Artificial Intelligence (AAAI-2026), AAAI, 2026.
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
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.
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.
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.