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 - 8 ud af 8Pr. side: 10
Sortering: Udgivelsesdato
  1. 2014
  2. 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

  3. 2011
  4. Udgivet

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

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

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

  5. 2008
  6. Udgivet

    Automatic Program Development: A Tribute to Robert Paige

    Danvy, O. (red.), Mairson, H. (red.), Henglein, Fritz (red.) & Pettorossi, A. (red.), 2008, Berlin: Springer. 274 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  7. Udgivet

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

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

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

  8. 2007
  9. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  10. 2006
  11. Udgivet

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

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

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

  12. 2004
  13. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  14. 2001
  15. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

ID: 7193