Fritz Henglein

Fritz Henglein

Professor

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.

 


  1. 2007
  2. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paperResearch

  3. 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/ReportAnthologypeer-review

  4. Published

    What is a Sort Function?

    Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. 2006
  6. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

    Research output: Contribution to journalJournal articlepeer-review

  7. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/ReportReport

  8. 2005
  9. Published

    Effect type systems and region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

  10. Published

    Special issue dedicated to Bob Paige (Part 2)

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

    Research output: Contribution to journalEditorial

  11. 2004
  12. Published

    Compositional Specification of Commercial Contracts

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  13. Published

    Compositional Specification of Commercial Contracts (Technical. report)

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

    Research output: Book/ReportReport

  14. Published

    Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

    Henglein, Fritz (ed.), Jones, R. (ed.), Morrisett, G. (ed.) & O'Hearn, P. (ed.), 2004

    Research output: Book/ReportAnthologypeer-review

ID: 7193