Fritz Henglein

• Presentation
• CV
• Research outputs
• Activities
• Keywords
• Most downloaded

Most downloads

1. 377 downloads

   Published

   A Formally Verified Static Analysis Framework for Compositional Contracts

   Research output: Contribution to conference › Paper › Research › peer-review

2. 269 downloads

   Published

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

   Research output: Book/Report › Anthology › Research

3. 219 downloads

   Published

   Big Data eller privacy?

   Research output: Contribution to conference › Paper › Research

4. 139 downloads

   Published

   Relational algebra by way of adjunctions

   Research output: Contribution to conference › Conference abstract for conference › Research

5. 116 downloads

   Published

   Blockchain deconstructed

   Research output: Contribution to conference › Conference abstract for conference › Research