Fritz Henglein

• Præsentation
• CV
• Publikationer
• Aktiviteter
• Emneord
• Mest downloadede

Flest downloads

1. 368 downloads

   Udgivet

   A Formally Verified Static Analysis Framework for Compositional Contracts

   Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

2. 259 downloads

   Udgivet

   Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

   Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

3. 212 downloads

   Udgivet

   Big Data eller privacy?

   Publikation: Konferencebidrag › Paper › Forskning

4. 133 downloads

   Udgivet

   Relational algebra by way of adjunctions

   Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

5. 106 downloads

   Udgivet

   Blockchain deconstructed

   Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning