Projects
3
Outputs
25
Publications
25
OA Rate
40.0%
Number of FWF projects approved by year at this institution
Publications vs. other research outputs (pre-computed)
| PI Name | Projects |
|---|---|
| Roman Kuznets | 2 |
| Alexandra Kaar | 1 |
| Title | Year | Status | Outputs |
|---|---|---|---|
| Reasoning about Knowledge in Byzantine Distributed Systems | 2020 | Ended | 25 |
| Economy, War, and the Salvation of Christian Souls | 2019 | Ended | 0 |
| Nested Sequents for Interpolation and Realization |
| 2014 |
| Ended |
| 0 |