Carsten Schürmann - Vejledning - IT-Universitetet i København

E-mailcarstenitudk

Publikationer pr. år

Publikation

5 resultater

2025
Terra: Enabling Edge-Based Stream Processing for Resource-Constrained Environments
Berthelsen, K. H., 2025, IT-Universitetet i København. 148 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Fil
2017
Modern Logical Frameworks Design
Murawska, A. A., 2017, IT-Universitetet. 139 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2016
Applied Formal Methods for Elections
Wang, J., 2016, IT-Universitetet i København. 154 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
A Type Theoretic Investigation of the Verification of Voting Protocols
Gustafsson, D., 2016, IT-Universitetet i København. 148 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2011

Implementing Substructural Logical Frameworks
Schack-Nielsen, A., 2011, IT-Universitetet i København.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang