Fritz Henglein

Fritz Henglein

Professor

Most downloads

  1. 265 downloads
    Published

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

    Research output: Book/ReportAnthologyResearch

  2. 180 downloads
    Published

    Big Data eller privacy?

    Research output: Contribution to conferencePaperResearch

  3. 119 downloads
    Published

    Relational algebra by way of adjunctions

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  4. 92 downloads
    Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Research output: Contribution to conferencePaperResearchpeer-review

  5. 69 downloads
    Published

ID: 7193