Fritz Henglein

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

Most downloads

1. 311 downloads

   Published

   A Formally Verified Static Analysis Framework for Compositional Contracts

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

2. 214 downloads

   Published

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

   Research output: Book/Report › Anthology

3. 191 downloads

   Published

   Big Data eller privacy?

   Research output: Contribution to conference › Paper › Research

4. 123 downloads

   Published

   Relational algebra by way of adjunctions

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

5. 94 downloads

   Published

   Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

   Research output: Book/Report › Report