Projects
1
Outputs
7
Publications
7
OA Rate
100.0%
Number of FWF projects approved by year at this institution
Publications vs. other research outputs (pre-computed)
| PI Name | Projects |
|---|---|
| Anela Lolic | 1 |
| Title | Year | Status | Outputs |
|---|---|---|---|
| Proof analysis and autom. deduction for recursive structures | 2022 | ended | 7 |