Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0001-5190-2125
Most downloads
-
366 downloadsPublished
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
-
253 downloadsPublished
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology
-
212 downloadsPublished
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
-
133 downloadsPublished
Relational algebra by way of adjunctions
Research output: Contribution to conference › Conference abstract for conference › Research
-
105 downloadsPublished
Blockchain deconstructed
Research output: Contribution to conference › Conference abstract for conference › Research
ID: 7193
Most downloads
-
366
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
253
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology
Published -
212
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published