Fernandez Fernandez, J. A. (Corresponding author) ; Goldade, R. (Corresponding author) ; Kavan, L. (Corresponding author) ; Bender, J. S. (Corresponding author) ; ; et al

Proceedings of the ACM on Computer Graphics and Interactive Techniques : PACMCGIT 8(4), Seiten/Artikel-Nr.:58

DOI: 10.1145/3747860

Mertens, H. (Corresponding author) ; Katoen, J.-P. ; Quatmann, T. ; Winkler, T.

Journal of automated reasoning 69(3), Seiten/Artikel-Nr.:23

DOI: 10.1007/s10817-025-09736-7

Bergner, N. ; Leonhardt, T.

URN: urn:nbn:de:bsz:31-epflicht-3195745

Bohn, L. (Corresponding author) ; Li, Y. (Corresponding author) ; Löding, C. (Corresponding author) ; Schewe, S. (Corresponding author)

52nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis, Seiten/Artikel-Nr: 146:1-146:19

DOI: 10.4230/LIPICS.ICALP.2025.146

Sprenger, M. ; Leonhardt, T. ; Bergner, N. ; Yamamoto, R.

Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1

DOI: 10.1145/3626252.3630810

Ermert, C. A. ; Yadav, M. ; Ehret, J. ; Mohanathasan, C. ; ; et al

PLOS ONE 20(8), Seiten/Artikel-Nr.:e0330693

DOI: 10.1371/journal.pone.0330693

van de Sand, N. ; Völker, M.

Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings / editors: Anne Remke, Bernhard Steffen, Seiten/Artikel-Nr: 78-104

DOI: 10.1007/978-3-032-00942-5_5

Smith-Miles, K. A. ; Hoos, H. H. ; Wang, H. ; Bäck, T. ; ; et al

Quantum science and technology 10(3), Seiten/Artikel-Nr.:033001

DOI: 10.1088/2058-9565/add61d

Böckenhauer, H.-J. ; Klasing, R. ; Mömke, T. ; Rossmanith, P. ; ; et al

Journal of computer and system sciences : JCSS 155, Seiten/Artikel-Nr.:103697

DOI: 10.1016/j.jcss.2025.103697

Bosman, A. (Corresponding author) ; Berger, A. ; Hoos, H. H. ; Van Rijn, J. N.

Journal of artificial intelligence research : JAIR 83, Seiten/Artikel-Nr.:20

DOI: 10.1613/jair.1.18403