Baader, F. ; Giesl, J.

Logical methods in computer science Volume 21, Issue 4, Seiten/Artikel-Nr.:14938

DOI: 10.46298/LMCS-21(4:8)2025

Kassing, J.-C. ; Spitzer, L. V. ; Giesl, J.

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) 10-11 September 2025, Rende, Italy co-located with the 41st International Conference on Logic Programming held at University of Calabria

DOI: 10.1145/3756907.3756917

Meyer, É. M. ; Giesl, J.

LIPIcs, Vol. 345, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), pages 76:1-76:19, Seiten/Artikel-Nr: 19 pages1057977 bytes

DOI: 10.4230/LIPICS.MFCS.2025.76

Lommen, N. ; Giesl, J.

Tools and Algorithms for the Construction and Analysis of Systems / Gurfinkel, Arie (Editor) [https://orcid.org/0000-0002-5964-6792] ; Cham : Springer Nature Switzerland, 2025, Chapter 13 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-031-90659-6=978-3-031-90660-2 ; doi:10.1007/978-3-031-90660-2, Seiten/Artikel-Nr: 205 - 211

DOI: 10.1007/978-3-031-90660-2_13

Gehnen, M. (Corresponding author) ; Venier, L.

12th International Conference on Fun with Algorithms : FUN 2024, June 4-8, 2024, Island of La Maddalena, Sardinia, Italy / edited by Andrei Z. Broder, Tami Tamir, Seiten/Artikel-Nr: 16:[1]-16:16

DOI: 10.4230/LIPICS.FUN.2024.16

Mou, Y. (Corresponding author) ; Lehmkuhl, J. ; Sauerbrunn, N. ; Köchel, A. ; ; et al

Digital health and informatics innovations for sustainable health care systems: Proceedings for MIE 2024, [Proceedings from MIE 2024, held in Athens, Greece, from the 25-29 August 2024 in Athens, Greece / Edited by John Mantas, Arie Hasman, George Demiris, Kaija Saranto, Michael Marschollek, Theodoros N. Arvanitis, Ivana Ognjanović, Arriel Benis, Parisis Gallos, Emmanouil Zoulias, Elisavet Andrikopoulou, Seiten/Artikel-Nr: 685-689

DOI: 10.3233/SHTI240507

Kichler, N. (Corresponding author) ; Malik, S. A. (Corresponding author) ; Naumann, U. (Corresponding author)

Proceedings of the Platform for Advanced Scientific Computing Conference, Seiten/Artikel-Nr: 11 Seiten

DOI: 10.1145/3659914.3659915

Ly, L. T. (Corresponding author) ; Maggi, F. M. ; Montali, M. ; Rinderle-Ma, S. ; ; et al

Information systems : IS 138, Seiten/Artikel-Nr.:102650

DOI: 10.1016/j.is.2025.102650

Kassing, J.-C. ; Giesl, J.

DOI: 10.48550/arXiv.2409.17714

Kassing, J.-C. (Corresponding author) ; Giesl, J. (Corresponding author)

Logical methods in computer science : LMCS 21(4), Seiten/Artikel-Nr.:28

DOI: 10.46298/lmcs-21(4:28)2025