Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
ORCID: 0000-0001-5190-2125
Flest downloads
-
377 downloadsUdgivet
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
-
269 downloadsUdgivet
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
-
219 downloadsUdgivet
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
-
139 downloadsUdgivet
Relational algebra by way of adjunctions
Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
-
116 downloadsUdgivet
Blockchain deconstructed
Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
ID: 7193
Flest downloads
-
377
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
219
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet