Fritz Henglein

Fritz Henglein

Professor

Most downloads

  1. 295 downloads
    Published

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

    Research output: Book/ReportAnthologyResearch

  2. 196 downloads
    Published

    Big Data eller privacy?

    Research output: Contribution to conferencePaperResearch

  3. 133 downloads
    Published

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Research output: Contribution to conferencePaperResearchpeer-review

  4. 127 downloads
    Published

    Relational algebra by way of adjunctions

    Research output: Contribution to conferenceConference abstract for conferenceResearch

  5. 74 downloads
    Published

ID: 7193