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 - 50 ud af 95Pr. side: 50
Sortering: Titel
  1. Udgivet

     Optimizing relational algebra operations using discrimination-based joins and lazy products

    Henglein, Fritz, 2009, København: Museum Tusculanum, s. 32.

    Publikation: Working paper › Forskning

  2. Udgivet

    What is a Sorting Function?

    Henglein, Fritz, 2009, I: Journal of Logic and Algebraic Programming. 78, 7, s. 552-572 20 s.

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

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

  4. Udgivet

    Type Inference with Polymorphic Recursion

    Henglein, Fritz, 1993, I: ACM Transactions on Programming Languages and Systems (TOPLAS). 15, 2, s. 253--289 37 s.

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

  5. Udgivet

    Type Analysis and Data Structure Selection

    Henglein, Fritz, Cai, J., Facon, P., Paige, R. & Schonberg, E., 1991, Constructing Programs from Specifications. North-Holland, s. 125-164 40 s.

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

  6. Udgivet

    Two-pass greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz, Nielsen, L. & Rasmussen, U. T., 2013, Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings. Konstantinidis, S. (red.). Springer, s. 60-71 12 s.

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

  7. Udgivet

    Trustworthy pervasive healthcare services via multiparty session types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, Fritz, 2013, Foundations of Health Information Engineering and Systems: Second International Symposium, FHIES 2012, Paris, France, Revised Selected Papers. Weber, J. & Perseil, I. (red.). Springer, s. 124-141 18 s. (Lecture notes in computer science, Bind 7789).

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

  8. Udgivet

    The Programming of Algebra

    Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, jun. 2022, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 360, s. 71-92 22 s.

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

  9. Udgivet

    The Complexity of Type Inference for Higher-Order typed Lambda-Calculi

    Henglein, Fritz & Mairson, H., 1991, Proc.18th. ACM Symp. on Pronciples of Programming Languages. New York: Association for Computing Machinery, s. 119-130

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

  10. Udgivet

    The Complexity of Type Inference for Higher-Order Typed Lambda Calculi

    Henglein, Fritz & Mairson, H., 1994, I: Journal of Functional Programming (JFP). 4, 4, s. 435--477 43 s.

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

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

  12. Udgivet

    Technical perspective: large-scale sound and precise program analysis

    Henglein, Fritz, 2010, I: Communications of the ACM. 53, 8, s. 114 1 s.

    Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning › fagfællebedømt

  13. Udgivet

    Syntactic Properties of Polymorphic Subtyping

    Henglein, Fritz, 1996.

    Publikation: Working paper › Forskning

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

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

  16. Udgivet

    Sorting and searching by distribution: from generic discrimination to generic tries

    Henglein, Fritz & Hinze, R., 2013, Programming Languages and Systems: 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Shan, C. (red.). Springer, s. 315-332 18 s. (Lecture notes in computer science, Bind 8301).

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

  17. Udgivet

    Simple closure analysis

    Henglein, Fritz, 1992, I: DIKU Semantics Report. D-193, March

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

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

  19. Udgivet

    Safe Region-Based Memory Management for Objects

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

    Publikation: Working paper › Forskning

  20. Udgivet

    Safe Polymorphic Type Inference for a Dynamically Typed Language: Translating Scheme to ML

    Henglein, Fritz & Rehof, J., 1995, FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture. Association for Computing Machinery, s. 192--203 12 s.

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

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

  22. Udgivet

    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. (red.). Springer, s. 354-355 2 s. (Lecture notes in computer science, Bind 7230).

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

  23. Udgivet

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  24. Udgivet

    Relational algebra by way of adjunctions

    Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, I: Proceedings of the ACM on Programming Languages. 2, ICFP, s. 1-28 86.

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

  25. Udgivet

    Regular expression containment: coinductive axiomatization and computational interpretation

    Henglein, Fritz & Nielsen, L., 2011, I: A C M / S I G P L A N Notices. 46, 1, s. 385-398 14 s.

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

  26. Udgivet

    Programming with Structures, Functions, and Objects

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

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

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

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

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

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

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

  32. Udgivet

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

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

    Publikation: Konferencebidrag › Poster › Forskning

  33. Udgivet

    Polymorphic binding-time analysis

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

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

  34. Udgivet

    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, Bind LNCS.

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

  35. Udgivet

    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

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

  36. Udgivet

    POETS: Process-oriented Enterprise Transaction Systems

    Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

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

  37. Udgivet

    PEG parsing in less space using progressive tabling and dynamic analysis

    Henglein, Fritz & Rasmussen, U. T., 2 jan. 2017, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 35-46 12 s.

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

  38. Udgivet

    Optimizing relational algebra operations using generic equivalence discriminators and lazy products

    Henglein, Fritz, 2010, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 73-82 10 s.

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

  39. Udgivet

    Optimally streaming greedy regular expression parsing

    Grathwohl, N. B. B., Henglein, Fritz & Rasmussen, U. T., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (red.). Springer, s. 224-240 17 s. (Lecture notes in computer science, Bind 8687).

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

  40. Udgivet

    Module Theory and Query Processing: (Extended Abstract)

    Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 s.

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

  41. Udgivet

    Modal intersection types, two-level languages, and staged synthesis

    Henglein, Fritz & Rehof, J., 2016, Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 289-312 24 s. (Lecture notes in computer science, Bind 9560).

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

  42. Udgivet

    Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

    Grathwohl, N. B. B., Henglein, Fritz, Rasmussen, U. T., Søholm, K. A. & Torholm, S. P., 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 284-297 14 s.

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

  43. Udgivet

    Iterative fixed point computation for type-based strictness analysis

    Henglein, Fritz, 1994, Static Analysis: First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings. Le Charlier, B. (red.). Springer, s. 395-407 13 s. (Lecture notes in computer science, Bind 864).

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

  44. Udgivet

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Publikation: Working paper › Forskning

  45. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Dexter, K., 2013, Proceedings of the Workshop on Fixed Points in Computer Science 2013. Baelde, D. & Carayol, A. (red.). s. 44-55 12 s. (Electronic Proceedings in Theoretical Computer Science, Bind 126).

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

  46. Udgivet

    Infinitary axiomatization of the equational theory of context-free languages

    Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, I: Fundamenta Informaticae. 150, 3-4, s. 241-257 17 s.

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

  47. Udgivet

    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

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

  48. Udgivet

    Generic top-down discrimination for sorting and partitioning in linear time

    Henglein, Fritz, 2012, I: Journal of Functional Programming. 22, 3 , s. 300-374 75 s.

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

  49. Udgivet

    Generic multiset programming with discrimination-based joins and symbolic Cartesian products

    Henglein, Fritz & Larsen, Ken Friis, 2010, I: Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.

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

  50. Udgivet

    Generic multiset programming for language-integrated querying

    Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, s. 49-59 11 s.

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

Forrige 1 2 Næste

ID: 7193