Forschung
- Publikationen
-
Laufende Dissertationsprojekte
- Algorithmen und Komplexität
- Verifikation
- Logik und Sprachen
-
Applikationsszenarien
- Privacy Preserving Online Algorithms
- Verifying Fault Trees for Railway Safety
- The Behavior of Systems with Selfish Users
- Robust Execution of Abstract Task Plans on Mobile Robots
- Stochastic Models for Capacity Analysis in Railway Networks - An Approach Capturing Network Effects and Component Failures
- Abgeschlossene Promotionen
Das Graduiertenkolleg
- Profil
- Team
- Ombudsperson
- DFG – deutsche Forschungsgemeinschaft
- Aktuelle Veranstaltungen
- Meldungen & Highlights
- Veranstaltungsarchiv
- Gender & Diversity
-
Gastwissenschaftlerinnen und -wissenschaftler
- Gäste 2017
-
Gäste 2018
- Abate Alessandro
- Aguirre Alejandro
- Arming Sebastian
- Bojańczyk Mikołaj
- Bonakdarpour Borzoo
- Češka Milan
- Fijalkow Nathanaël
- Hsu Justin
- Kamali Mojgan
- Mardare Radu
- Meyer auf der Heide Friedhelm
- Nachtigall Karl
- Olmedo Beron Federico
- Parker David
- Pérez Guillermo A.
- Sering Leon
- Steinbauer Gerald
- Stoelinga Mariëlle
- Thunig Theresa
- Van Keulen Maurice
- Gäste 2019
- Gäste 2020
- UnRAVel Pinnwand