Fritz Henglein

Fritz Henglein

Professor

Kommentarer til publikationsliste

The publications registered in CURIS (this system) and PUF (previous publication registration system at U. Copenhagen) are unfortunately incomplete and partially incorrect (particularly for PUF-registered publications). Since the registered information is practically very difficult to change at this point, for full information, including access to PDF-version of the papers, please see my home page: http://www.diku.dk/~henglein.
  1. 2020
  2. Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

    Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 s.

    Publikation: KonferencebidragPaperForskningfagfællebedømt

  3. Udgivet

    Module Theory and Query Processing: (Extended Abstract)

    Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  4. 2018
  5. Udgivet

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

  6. Udgivet
  7. Udgivet

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, I : Proceedings of the ACM on Programming Languages. 2, ICFP, s. 1-28 86.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. 2017
  9. Udgivet

    Automated execution of financial contracts on blockchains

    Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, dec. 2017, I : Business and Information Systems Engineering. 59, 6, s. 457-467 11 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 jan. 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 35-46 12 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  11. Udgivet

    Automatic Incrementalization of Functional Reports

    Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.

    Publikation: KonferencebidragKonferenceabstrakt til konferenceForskningfagfællebedømt

  12. Udgivet

    Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

    Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, s. 556-571 16 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  13. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, I : Fundamenta Informaticae. 150, 3-4, s. 241-257 17 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

Forrige 1 2 3 4 5 6 7 8 9 Næste

ID: 7193