Fritz Henglein

Fritz Henglein

Professor

Flest downloads

  1. 281 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  2. 189 downloads
    Udgivet

    Big Data eller privacy?

    Publikation: KonferencebidragPaperForskning

  3. 126 downloads
    Udgivet

    Relational algebra by way of adjunctions

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  4. 114 downloads
    Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  5. 71 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

ID: 7193