Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

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: https://www.diku.dk/~henglein.

 


Udgivelsesår:
Alle
1 - 10 ud af 27Pr. side: 10
Sortering: Udgivelsesdato
  1. 2022
  2. Udgivet

    Building blocks of sharding blockchain systems: Concepts, approaches, and open problems

    Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., nov. 2022, I: Computer Science Review. 46, 44 s., 100513.

    Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt

  3. Udgivet

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, jun. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, s. 71-92 22 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  4. Udgivet

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, I: Frontiers in blockchain. 5, 18 s., 846783.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  5. 2018
  6. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. 2017
  8. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. 2016
  11. Udgivet

    2016 POPL impressions

    Henglein, Fritz, 2016, I: SIGLOG News. 3, 2, s. 79-81 3 s.

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning

  12. Udgivet

    FinPar: a parallel financial benchmark

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, I: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, s. 1 27 s., 18.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  13. 2012
  14. Udgivet

    Generic top-down discrimination for sorting and partitioning in linear time

    Henglein, Fritz, 2012, I: Journal of Functional Programming. 22, 3 , s. 300-374 75 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  15. 2011
  16. Udgivet

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, I: A C M / S I G P L A N Notices. 46, 1, s. 385-398 14 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

Forrige 1 2 3 Næste

ID: 7193