Bamberger, L. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
URL: https://publications.rwth-aachen.de/record/989359/files/989359.pdf
Sturgis, B. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
URL: https://publications.rwth-aachen.de/record/989357/files/989357.pdf
Vitorino, D. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
DOI: 10.18154/RWTH-2024-06746
Petrova, A. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
DOI: 10.18154/RWTH-2024-06745
De La Ossa, A. ; Schröder, W. (Thesis advisor) ; Hörnschemeyer, R. G. (Thesis advisor) ; Franz, K. (Consultant)
URL: https://publications.rwth-aachen.de/record/989010/files/989010.pdf
Husemann, M. ; Stumpf, E. (Thesis advisor) ; Hörnschemeyer, R. G. (Thesis advisor) ; Franz, K. (Consultant)
URL: https://publications.rwth-aachen.de/record/989005/files/989005.pdf
Nguyen, P. C. ; Schroeder, U. (Thesis advisor) ; Kuhlen, T. (Thesis advisor) ; Brocker, A. (Consultant) ; ; et al
DOI: 10.18154/RWTH-2024-06320
Jaf, A. ; Schroeder, U. (Thesis advisor) ; Borchers, J. O. (Thesis advisor) ; Brocker, A. (Consultant)
DOI: 10.18154/RWTH-2024-05419
Hochberger, A. ; Frisch, J. (Thesis advisor) ; Richter, V. E. (Consultant)
URL: https://publications.rwth-aachen.de/record/986719/files/986719_titelseite.pdf
Mohamed, Y. ; Schroeder, U. (Thesis advisor) ; Noichl, S. (Consultant)
DOI: 10.18154/RWTH-2024-05281