Fritz Henglein

Fritz Henglein

Professor

Flest downloads

  1. 366 downloads
    Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  2. 253 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportAntologi

  3. 212 downloads
    Udgivet

    Big Data eller privacy?

    Publikation: KonferencebidragPaperForskning

  4. 133 downloads
    Udgivet

    Relational algebra by way of adjunctions

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  5. 105 downloads
    Udgivet

    Blockchain deconstructed

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

ID: 7193