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 - 25 ud af 95Pr. side: 25
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

    Algeo: An Algebraic Approach to Reversibility

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (red.). Springer, s. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13354 LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    Combinatory Adjoints and Differentiation

    Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. 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

  7. 2020
  8. Udgivet

    A Formally Verified Static Analysis Framework for Compositional Contracts

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

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

  9. Udgivet

    Module Theory and Query Processing: (Extended Abstract)

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  10. 2018
  11. Udgivet

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  12. Udgivet

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

    Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.

    Publikation: Konferencebidrag › Poster › Forskning

  13. 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

  14. 2017
  15. 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

  16. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  17. Udgivet

    Automatic Incrementalization of Functional Reports

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt

  18. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. 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

  20. 2016
  21. Udgivet

    2016 POPL impressions

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

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning

  22. 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

  23. Udgivet

    Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

    Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 284-297 14 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  24. Udgivet

    Modal intersection types, two-level languages, and staged synthesis

    Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 289-312 24 s. (Lecture notes in computer science, Bind 9560).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  25. Udgivet

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  26. 2015
  27. Udgivet

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 s.

    Publikation: Konferencebidrag › Paper › Forskning

  28. 2014
  29. Udgivet

    Domain-specific languages for enterprise systems

    Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (red.). Springer, s. 73-95 23 s. (Lecture notes in computer science, Bind 8802).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  30. Udgivet

    Optimally streaming greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer, s. 224-240 17 s. (Lecture notes in computer science, Bind 8687).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  31. Udgivet

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

    Henglein, Fritz (red.), Jhala, R. (red.), Krishnamurthi, S. (red.) & Thiemann, P. (red.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 s. (Dagstuhl Reports; Nr. 6, Bind 4).

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

  32. 2013
  33. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (red.). s. 44-55 12 s. (Electronic Proceedings in Theoretical Computer Science, Bind 126).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 Næste

ID: 7193