Klotz, S. ; Müller, M. S. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor) ; Schwitanski, S. (Consultant)

DOI: 10.18154/RWTH-2023-05644

Frasson, C. (Editor) ; Mylonas, P. (Editor) ; Troussas, C. (Editor) ; Hensen, B. ; ; et al

Augmented Intelligence and Intelligent Tutoring Systems : 19th International Conference, ITS 2023, Corfu, Greece, June 2–5, 2023, Proceedings / edited by Claude Frasson, Phivos Mylonas, Christos Troussas, Seiten/Artikel-Nr: 565-575

DOI: 10.1007/978-3-031-32883-1_50

Wirtz, H. ; Wehrle, K.

URL: https://worldwide.espacenet.com/patent/search/family/046799969/publication/EP2701447A1?q=EP2701447

Moosbrugger, M. (Corresponding author) ; Bartocci, E. ; Katoen, J.-P. ; Kovács, L.

Formal methods in system design

DOI: 10.1007/s10703-023-00424-z

Aksoy, S. G. (Corresponding author) ; Bennink, R. (Corresponding author) ; Chen, Y. (Corresponding author) ; Frías, J. (Corresponding author) ; ; et al

Journal of combinatorics : JOC 14(4), Seiten/Artikel-Nr.:559-601

DOI: 10.4310/JOC.2023.v14.n4.a8

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

Software and systems modeling

DOI: 10.18154/RWTH-2023-05466

Büsing, C. M. K. ; Gersing, T. (Corresponding author) ; Koster, A. M.

Integer Programming and Combinatorial Optimization : 24th International Conference, IPCO 2023, Madison, WI, USA, June 21–23, 2023, Proceedings / edited by Alberto Del Pia, Volker Kaibel, Seiten/Artikel-Nr: 58-71

DOI: 10.1007/978-3-031-32726-1_5

Mohanathasan, C. (Corresponding author) ; Ehret, J. ; Ermert, C. A. ; Fels, J. ; ; et al

URL: https://coms.events/teap-2023-trier/data/abstracts/en/abstract_0317.html

Brecher, C. (Editor) ; Schuh, G. (Editor) ; van der Aalst, W. M. P. (Editor) ; Jarke, M. (Editor) ; ; et al

DOI: 10.1007/978-3-030-98062-7

Behery, M. A. A. (Corresponding author) ; Brauner, P. (Corresponding author) ; Zhou, H. A. ; Uysal, M. S. ; ; et al

Internet of Production : Fundamentals, Applications and Proceedings / Editors: Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg, Seiten/Artikel-Nr: 1-46

DOI: 10.18154/RWTH-2023-05268