Fritz Henglein

Fritz Henglein

Professor

ORCID: 0000-0001-5190-2125

Introductory remarks on publicationslist

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.

 


Publication year:
All
76 - 95 out of 95Page size: 25
Sort by: 1st author
  1. Published

    Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

    Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2008

    Research output: Book/Report › Book › Research

  2. Published

    Dynamic Typing

    Henglein, Fritz, 1992, Proc. European Symp. on Programming (ESOP), Rennes, France. Berlin, Tyskland: Springer, p. 233--253 21 p. (Lecture Notes in Computer Science (LNCS), Vol. 582).

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  3. Published

    Rock’n’roll computer science

    Henglein, Fritz, 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

    Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication

  4. Published

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 p.

    Research output: Contribution to conference › Paper › Research

  5. Published

    What is a Sorting Function?

    Henglein, Fritz, 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. Published

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 p.

    Research output: Contribution to conference › Conference abstract for conference › Research

  7. Published

    Special issue dedicated to Bob Paige

    Henglein, Fritz, Danvy, O., Pettorossi, A. & Mairson, H., 2003, In: Higher-Order and Symbolic Computation. 16, 1

    Research output: Contribution to journal › Editorial › Research

  8. Published

    Formally optimal boxing

    Henglein, Fritz & Jørgensen, J., 1994, 21st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Portlan, Oregon. p. 213-226

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  9. Published

    Proceedings of 1st Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

    Henglein, Fritz (ed.) & Bjørn-Andersen, N. (ed.), 2007

    Research output: Book/Report › Anthology › Research › peer-review

  10. Published

    A Decidable Case of the Semi-Unification Problem

    Henglein, Fritz & Leiss, H., 1991, Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer, p. 318-327

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  11. Published

    Dynamic symbolic computation for domain-specific language implementation

    Henglein, Fritz, 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (ed.). Springer, p. 4-24 21 p. (Lecture notes in computer science, Vol. 7225).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  12. Published

    2016 POPL impressions

    Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

    Research output: Contribution to journal › Comment/debate › Research

  13. Published

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (eds.). Springer, p. 124-141 18 p. (Lecture notes in computer science, Vol. 7789).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  14. Published

    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, p. 556-571 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  15. Published

    Efficient Type Matching

    Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008,  Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (eds.). Springer, p. 229-246

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  16. Published

    Automatic Incrementalization of Functional Reports

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

    Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  17. Published

    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, In: Computer Science Review. 46, 44 p., 100513.

    Research output: Contribution to journal › Review › Research › peer-review

  18. Published

    Bit-coded regular expression parsing

    Nielsen, L. & Henglein, Fritz, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 402-413 12 p. (Lecture notes in computer science, Vol. 6638).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  19. Published

    Financial software on GPUs: between Haskell and Fortran

    Oancea, Cosmin Eugen, Andreetta, C., Berthold, J., Frisch, A. & Henglein, Fritz, 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, p. 61-72 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  20. Published

    Clone detection using rolling hashing, suffix trees and dagification: a case study

    Thomsen, M. J. & Henglein, Fritz, 2012, 2012 6th International Workshop on Software Clones (IWSC). IEEE, p. 22-28 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 Next

ID: 7193