Espinosa, M. M. (Editor) ; Abraham, E. (Editor) ; Nenzi, L. (Editor) ; Abbas, H. (Editor)

Science of computer programming 248,

URL: https://www.sciencedirect.com/special-issue/108RK5J8CZX

Abraham, E. ; Espinosa, M. M.

Science of computer programming 248, Seiten/Artikel-Nr.:103364

DOI: 10.1016/j.scico.2025.103364

Masara, H. ; Borchers, J. O. (Thesis advisor) ; Schroeder, U. (Thesis advisor)

URL: https://hci.rwth-aachen.de/publications/masara2026a.pdf

Wąsala, J. (Corresponding author) ; Maasakkers, J. D. ; Aben, I. ; Schneider, R. ; ; et al

Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Revised Selected Papers, Part V / edited by Irena Koprinska, João Mendes-Moreira, Paula Branco, Seiten/Artikel-Nr: 325-334

DOI: 10.1007/978-3-032-19108-3_25

Akhiiezer, O. B. ; Haluza, O. A. ; Lyubchyk, L. M. ; Sokol, V.

Journal of physics / Conference Series 3105(1), Seiten/Artikel-Nr.:012023

DOI: 10.1088/1742-6596/3105/1/012023

Zilken, D. (Corresponding author) ; Batz, K. ; Katoen, J.-P. ; Winkler, T.

Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga, Seiten/Artikel-Nr: 259-278

DOI: 10.1007/978-3-032-26204-2_14

Hartmanns, A. ; Quatmann, T. ; van Wijk, M. (Corresponding author)

Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part I / edited by Augusto Sampaio, Marielle Stoelinga, Seiten/Artikel-Nr: 189-210

DOI: 10.1007/978-3-032-26204-2_10

Gehnen, M. (Corresponding author) ; Stannat, J. (Corresponding author)

13th International Conference on Fun with Algorithms FUN 2026, May 18–22, 2026, Porquerolles, France / edited by John Iacono, Seiten/Artikel-Nr: [21:1]-21:20

DOI: 10.4230/LIPIcs.FUN.2026.21

Voß, A. (Corresponding author) ; Liem, R. T. H. (Corresponding author) ; Kunkel, J. (Corresponding author) ; Lofstead, J. (Corresponding author) ; ; et al

2025 IEEE 32nd International Conference on High Performance Computing, Data, and Analytics : HiPC 2025 : 17-20 December 2025, Hyderabad, India : proceedings / general co-chairs: Sanmukh Rao Kuppannagari (Case Western Reserve University, USA), Arnab K. Paul (Birla Institute of Technology and Science Pilani, Goa Campus, India) ; proceedings chair: Zhihan Xu (University of Southern California, USA), Seiten/Artikel-Nr: 322-332

DOI: 10.1109/HiPC66333.2025.00040

Schröder, C. ; van Detten, J. N. (Corresponding author) ; Leemans, S. J. J.

Process science 3(1), Seiten/Artikel-Nr.:18

DOI: 10.1007/s44311-026-00051-x