Chatterjee, K. ; Quatmann, T. ; Schäffeler, M. ; Weininger, M. (Corresponding author) ; ; et al

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule, Seiten/Artikel-Nr: 130-151

DOI: 10.1007/978-3-031-90653-4_7

Kausch, H. (Corresponding author) ; Pfeiffer, M. ; Raco, D. ; Rumpe, B. ; ; et al

DOI: 10.2370/9783819100628

Javaid, M. B. ; Gervens, T. R. ; Mitsos, A. ; Grohe, M. ; ; et al

Computers & chemical engineering 201, Seiten/Artikel-Nr.:109253

DOI: 10.1016/j.compchemeng.2025.109253

Kourani, H. (Corresponding author) ; Berti, A. (Corresponding author) ; Schuster, D. (Corresponding author) ; van der Aalst, W. M. P. (Corresponding author)

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence : Jeju, Korea, 3-9 August 2024 / edited by Kate Larson ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI), Seiten/Artikel-Nr: 8708-8712

DOI: 10.24963/ijcai.2024/1014

Anapolska, M. ; Ahrens, E. ; Büsing, C. ; Engelhardt, F. ; ; et al

Networks

DOI: 10.1002/net.70001

Grohe, M. (Corresponding author) ; Lichter, M. (Corresponding author) ; Neuen, D. (Corresponding author) ; Schweitzer, P. (Corresponding author)

Journal of the ACM : JACM 72(3), Seiten/Artikel-Nr.:21

DOI: 10.18154/RWTH-2025-05986

Yu, L. (Corresponding author) ; Jin, F. (Corresponding author) ; Jenke, J. (Corresponding author) ; Sarkar, V. (Corresponding author)

Proceedings of the SC '24 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, Seiten/Artikel-Nr: 189-195

DOI: 10.1109/SCW63240.2024.00030

Rennecke, P. ; Schroeder, U. (Thesis advisor) ; Lichter, H. (Thesis advisor) ; Ehlenz, M. S. (Consultant)

DOI: 10.18154/RWTH-2025-05913

Chechik, M. ; Combemale, B. ; Gray, J. ; Rumpe, B. (Corresponding author)

Software and systems modeling

DOI: 10.1007/s10270-025-01301-5

Hojjat, H. (Editor) ; Ábrahám, E. (Editor)

Science of computer programming

URL: https://www.sciencedirect.com/special-issue/10QGNGKZJFV