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
51 - 75 ud af 95Pr. side: 25
Sortering: Udgivelsesdato
  1. 2007
  2. Udgivet

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Publikation: Working paper › Forskning

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

  4. Udgivet

    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. (red.). Universitetet i Oslo, s. 26-28 3 s. (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. 2006
  6. Udgivet

    Compositional specification of commercial contracts

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

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

  8. 2005
  9. Udgivet

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

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  10. Udgivet

    Special issue dedicated to Bob Paige (Part 2)

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  11. 2004
  12. Udgivet

    Compositional Specification of Commercial Contracts

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  13. Udgivet

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

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

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

  15. 2003
  16. Udgivet

    Special issue dedicated to Bob Paige

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

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  17. 2001
  18. Udgivet

    A direct approach to control-flow sensitive region-based memory management

    Henglein, Fritz, Makholm, H. & Niss, H., 2001, Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Decalrative Programming (PPDP). Montreal, Canada: Association for Computing Machinery, s. 175-186

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

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

  20. 1999
  21. Udgivet

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, s. 6-13

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  22. Udgivet

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, s. 1-14

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  23. Udgivet

    AnnoDomini: From Type Theory to a Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, I: ERCIM News. 36

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  24. Udgivet

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, I: Theory and Practice of Object Systems (TAPOS). 5, 1, s. 57--72 13 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  25. 1998
  26. Udgivet

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, I: European Research Consortium for Informatics and Mathematics. Vol. 36, s. 12-13

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  27. Udgivet

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1998, I: Fundamentae Informaticae. Vol. 33, s. 309-338

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  28. Udgivet

    Constraint Automata and the Complexity of Recursive Subtype Entailment, Lecture Notes in Computer Science, Vol.1443

    Henglein, Fritz & Rehof, J., 1998, Proceedings of the 25th International Coll. on Automata, Languages and Programming (ICALP). Springer, s. 616-627

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  29. Udgivet

    SIGPLAN and the World Series

    Henglein, Fritz, 1998, I: A C M / S I G P L A N Notices. 33, 1

    Publikation: Bidrag til tidsskrift › Leder › Forskning

  30. Udgivet

    Safe Region-Based Memory Management for Objects

    Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.

    Publikation: Working paper › Forskning

  31. 1997
  32. Udgivet

    Breaking through the n^3 barrier: Faster object type inference

    Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). Internetpublikation

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  33. Udgivet

    Coinductive axiomatization of recursive type equality and subtyping

    Brandt, M. & Henglein, Fritz, 1997, Proceedings of The 3rd International Conference on Typed Lambda Calculi and Applications. Springer, s. 63-81

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  34. Udgivet

    The Complexity of Subtype Entailment for Simple Types

    Henglein, Fritz & Rehof, N. J., 1997, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science (LICS). Warszawa, Polen: IEEE Computer Society Press, s. 352-361

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Forrige 1 2 3 4 Næste

ID: 7193