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
11 - 20 out of 95Page size: 10
Sort by: 1st author
  1. 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

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

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

  4. Published

    Blockchain deconstructed

    Henglein, Fritz, 2018. 2 p.

    Research output: Contribution to conference › Conference abstract for conference › 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

    Big Data eller privacy?

    Henglein, Fritz, 2015. 5 p.

    Research output: Contribution to conference › Paper › Research

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

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

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

  10. Published

    Global Tagging Optimization by Type Inference

    Henglein, Fritz, 1992, Proc. 1992 ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California. Association for Computing Machinery

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

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 7193