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
61 - 70 out of 95Page size: 10
Sort by: Title
  1. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc. 2nd Int'l Static Analysis Symposium (SAS). Springer, Vol. LNCS.

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

  2. Published

    Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time

    Dussart, D., Henglein, Fritz & Mossin, C., 1995, Proc.\2nd Int. Static Analysis Symposium (SAS), Glasgow, Scotland. Springer

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

  3. Published

    Polymorphic binding-time analysis

    Henglein, Fritz & Mossin, C., 1994, Proceedings of European Symposium on Programming, Vol 788 of Lecture Notes in Computer Science. Springer, p. 287-301

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

  4. Published

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

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

    Research output: Contribution to conference › Poster › Research

  5. Published

    Proc. 1st Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), London, England

    Henglein, Fritz (ed.), Hughes, J., Makholm, H. & Niss, H., 2001

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

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

  7. 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/Report › Anthology › Research › peer-review

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

  9. Published

    Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

    Glück, Robert (ed.), Henglein, Fritz (ed.), Hu, Z. (ed.) & Takeichi, M. (ed.), 2011, Department of Computer Science, University of Copenhagen. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

    Research output: Book/Report › Anthology › Research

  10. Published

    Programming with Structures, Functions, and Objects

    Henglein, Fritz, 1991, Proc. XVII Latin American Informatics Conference (PANEL '91). p. 333-352 20 p.

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

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

ID: 7193