Carsten Schürmann - Supervision - IT-University of Copenhagen

Emailcarstenitudk

Research activity per year

Research output

5 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 Access
File
2016
Applied Formal Methods for Elections
Wang, J., 2016, IT-Universitetet i København. 154 p.
Research output: Theses › PhD thesis

Open Access
File
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 Access
File
2011

Implementing Substructural Logical Frameworks
Schack-Nielsen, A., 2011, IT-Universitetet i København.
Research output: Theses › PhD thesis

Open Access