Fritz Henglein

Fritz Henglein

Professor

Flest downloads

  1. 248 downloads
    Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  2. 192 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  3. 181 downloads
    Udgivet

    Big Data eller privacy?

    Publikation: KonferencebidragPaperForskning

  4. 110 downloads
    Udgivet

    Relational algebra by way of adjunctions

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  5. 82 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

ID: 7193