Mommers, L. ; Katoen, J.-P. (Thesis advisor) ; Ábrahám, E. (Thesis advisor) ; Winkler, T. (Consultant)
DOI: 10.18154/RWTH-2024-02602
Gehnen, C. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
DOI: 10.18154/RWTH-2024-02598
Barth, N. ; Katoen, J.-P. (Thesis advisor) ; Noll, T. (Thesis advisor) ; Winkler, T. (Consultant)
DOI: 10.18154/RWTH-2024-02596
Raichande, G. K. ; Frisch, J. (Thesis advisor) ; Syndicus, M. (Thesis advisor) ; Huang, Q. (Consultant)
URL: http://publications.rwth-aachen.de/record/980797/files/980797_TA.pdf
Pagenkopf, E. F. ; van Treeck, C. A. (Thesis advisor) ; Richter, V. E. (Consultant) ; Frisch, J. (Thesis advisor) ; ; et al
URL: http://publications.rwth-aachen.de/record/979622/files/979622_titelseite.pdf
Wittlinger, F. J. ; Müller, M. S. (Thesis advisor) ; Kunkel, J. (Thesis advisor) ; Martin, P. (Consultant)
DOI: 10.18154/RWTH-2024-01049
Haschemi, S. H. ; Schroeder, U. (Thesis advisor) ; Kobbelt, L. (Thesis advisor) ; Görzen, S. (Consultant) ; ; et al
URL: http://publications.rwth-aachen.de/record/977616/files/977616_titelseite.pdf
Kusak, E. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor)
URL: http://publications.rwth-aachen.de/record/977555/files/977555_titelseite.pdf
Ferber, A. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor) ; Fesefeldt, I. J. (Consultant)
DOI: 10.18154/RWTH-2024-00784
Busch, S. ; Noll, T. (Thesis advisor) ; Katoen, J.-P. (Thesis advisor)
URL: http://publications.rwth-aachen.de/record/977551/files/977551_titelseite.pdf