Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

Flest downloads

  1. 295 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

  2. 196 downloads
    Udgivet

    Big Data eller privacy?

    Publikation: Konferencebidrag › Paper › Forskning

  3. 133 downloads
    Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt

  4. 127 downloads
    Udgivet

    Relational algebra by way of adjunctions

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  5. 74 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

ID: 7193