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
31 - 40 ud af 95Pr. side: 10
Sortering: Titel
  1. 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

  2. Udgivet

    Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences

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

    Publikation: Konferencebidrag › Poster › Forskning

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

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

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

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

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

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

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

  10. Udgivet

    Module Theory and Query Processing: (Extended Abstract)

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

    Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

Forrige 1 2 3 4 5 6 7 8 ...10 Næste

ID: 7193