Research output per year
Supervised work per year
Supervision
Search results
-
2025
Terra: Enabling Edge-Based Stream Processing for Resource-Constrained Environments
Berthelsen, K. H., 2025, IT-Universitetet i København. 148 p.Research output: Theses › PhD thesis
File -
2017
Modern Logical Frameworks Design
Murawska, A. A., 2017, IT-Universitetet. 139 p.Research output: Theses › PhD thesis
Open AccessFile -
2016
Applied Formal Methods for Elections
Wang, J., 2016, IT-Universitetet i København. 154 p.Research output: Theses › PhD thesis
Open AccessFile -
A Type Theoretic Investigation of the Verification of Voting Protocols
Gustafsson, D., 2016, IT-Universitetet i København. 148 p.Research output: Theses › PhD thesis
Open AccessFile -
2011
Implementing Substructural Logical Frameworks
Schack-Nielsen, A., 2011, IT-Universitetet i København.Research output: Theses › PhD thesis
Open Access