Research
- Publications
-
Ongoing Dissertation Projects
- Algorithms and Complexity
- Verification
- Logic and Languages
-
Application Scenarios
- Privacy Preserving Protocols for 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
- Completed Doctorate
The Research Training Group
- Profile
- People
- Ombudsperson
- DFG - German Research Foundation
- Upcoming Events
- Announcements & Highlights
- Archive of Events
- Gender & Diversity
-
Guest Researchers
- Guests 2017
-
Guests 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
- Guests 2019
- UnRAVel Notice Board