| 2025-1 | T-707-MOVE | Modeling and Verification |
| 2024-1 | T-707-MOVE | Modeling and Verification |
| 2024-1 | T-505-ROKF | Logic in Computer Science |
| 2023-3 | T-899-MSTH | MS Thesis |
| 2023-1 | T-707-MOVE | Modeling and Verification |
| 2023-1 | T-879-MSRS | MSc Research |
| 2023-1 | T-899-MSTH | MS Thesis |
| 2022-3 | T-999-PHDT | PhD Thesis in Computer Science |
| 2022-1 | T-999-PHDT | PhD Thesis in Computer Science |
| 2022-1 | T-707-MOVE | Modeling and Verification |
| 2022-1 | T-505-ROKF | Logic in Computer Science |
| More... | | |