Forskning ved Københavns Universitet - Københavns Universitet

Forside
Fritz Henglein
Fritz Henglein

Professor

Flest downloads

  1. 333 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  2. 201 downloads
    Udgivet

    Big Data eller privacy?

    Publikation: KonferencebidragPaperForskning

  3. 163 downloads
    Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  4. 134 downloads
    Udgivet

    Relational algebra by way of adjunctions

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  5. 81 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportRapportForskning

ID: 7193