|
Algorithmen Denken Anders
| 01.07.2019 | 30.06.2022 | E192-04 |
|
Automated Reasoning with Theories and Induction for Software Technologies
| 01.07.2021 | 30.06.2026 | E192-04 |
|
Distribution Recovery for Invariant Generation of Probabilistic
Programs
| 01.05.2020 | 30.04.2024 | E192-04 |
|
FOREST: First-Order Reasoning for Ensuring System Security
| 01.04.2021 | 31.03.2022 | E192-04 |
|
Formal methods for Realistic Environments in MAS
| 01.02.2019 | 31.07.2022 | E192-04 |
|
Inkrementelles SAT und SMT für skalierbare Verifikation
| 01.10.2021 | 30.09.2024 | E192-04 |
|
LogiCs-Stipendien
| 01.03.2017 | 28.02.2025 | E192-04 |
|
Symbol Elimination in Reliable System Engineering
| 01.06.2019 | 30.11.2020 | E192-04 |
|
Symbolic Computation and Automated Reasoning for Program Analysis
| 01.04.2016 | 30.06.2021 | E192-04 |
