Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [100120] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium: Computer Science Colloquium [100119] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) [ - | | wöchentlich | Mi | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
Introduction to Quantitative Model Checking [100089] (in cooperation with Pauline Blohm) [ - | | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke] [ - | | wöchentlich | Do | M B 6 (M 6) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Fr. | SRZ 202 | Prof. Dr. Anne Remke] [ - | | wöchentlich | Do | M A 114 (SR 1D) | Prof. Dr. Anne Remke] [ - | | wöchentlich | Do | SRZ 205 | Prof. Dr. Anne Remke] [ - | M A 503 (SR 5) | Prof. Dr. Anne Remke] [ - | SRZ 202 | Prof. Dr. Anne Remke] [ - | M A 111 (SR 1C) | Prof. Dr. Anne Remke] [ - | M A 503 (SR 5) | Prof. Dr. Anne Remke] [ - | SRZ 5 | Prof. Dr. Anne Remke] [ - | M A 503 (SR 5) | Prof. Dr. Anne Remke] [ - | SRZ 5 | Prof. Dr. Anne Remke] [ - | SRZ 5 | Prof. Dr. Anne Remke] [ - | Prof. Dr. Anne Remke]
Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [108119] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium: Computer Science Colloquium [108118] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [106114] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium: Computer Science Colloquium [106115] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [104561] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [102090] (in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [102091] (in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [100117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [108113] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Wehrmeister, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [108116] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106085] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Wehrmeister, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [106089] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104084] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse, Dr. Ludger Becker)
Kolloquium: Computer Science Colloquium [104091] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Jun.-Prof. Christian Scheffer, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [102088] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [100120] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [108117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [106116] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Kolloquium: Computer Science Colloquium [104117] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [102089] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [100118] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [108406] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [104262] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm)
Kolloquium: Module 4/Semester 4 [102141] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
Kolloquium: Computer Science Colloquium [101345] (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm)