Gerlach, L. ; Winkler, T. ; Abraham, E. ; Bonakdarpour, B. ; ; et al

Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I, Seiten/Artikel-Nr: C1-C2

DOI: 10.1007/978-3-031-98668-0_20

Schiffer, C. ; Rick, V. B. ; Schäfer, K. ; Mertens, A. ; ; et al

URL: https://www.gesellschaft-fuer-arbeitswissenschaft.de/inhalt/dokumente/gfa_fruehjahrskongress_2026.pdf

Hoefer, M. ; Koglin, T. ; Tel, T.

Algorithmic Game Theory - 18th International Symposium, SAGT 2025, Bath, UK, September 2-5, 2025, Proceedings, Seiten/Artikel-Nr: 325-342

DOI: 10.1007/978-3-032-03639-1\_18

Besting, L. ; Hoefer, M. ; Huth, L.

43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026, Grenoble, France, March 9-13, 2026, Seiten/Artikel-Nr: 14:1-14:18

DOI: 10.4230/LIPICS.STACS.2026.14

Cembrano, J. ; Correa, J. ; Griesbach, S. M. ; Verdugo, V.

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026, Vancouver, BC, Canada, January 11-14, 2026, Seiten/Artikel-Nr: 4846-4860

DOI: 10.1137/1.9781611978971.174

Grahl, J. ; Rumpe, B. ; Stachon, M. ; Stüber, S.

Modellierung 2026, Seiten/Artikel-Nr: 89-105

DOI: 10.18420/modellierung2026-06

Karimzadeh, A. A. ; Leung, A. K. ; Gao, Z. ; Fuentes Gutierrez, R.

DOI: doi.org/10.53243/RootS2025-62

Lampel, D. ; De Bortoli, M. (Corresponding author) ; Viehmann, T. ; Rohr, A. ; ; et al

RoboCup 2024: Robot World Cup XXVII / edited by Edna Barros, Josiah P. Hanna, Hiroyuki Okada, Elena Torta, Seiten/Artikel-Nr: 297-308

DOI: 10.1007/978-3-031-85859-8_25

Scheck, M. L. ; Santos Batista, R. J. ; Herzog, S. ; Kaletsch, A. ; ; et al

Euro PM2024 Proceedings

DOI: 10.59499/EP246281362

Yuan, Y.-J. ; Kobbelt, L. ; Yang, J. ; Lai, Y.-K. ; ; et al

Computational visual media : 13th international conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings, Part II / Piotr Didyk, Junhui Hou, editors, Seiten/Artikel-Nr: 90-112

DOI: 10.1007/978-981-96-5812-1_6