Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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.
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 p.Research output: Contribution to conference › Conference abstract for conference › Research
- 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
- Published
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. (eds.). Springer, p. 224-240 17 p. (Lecture notes in computer science, Vol. 8687).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (ed.). Springer, p. 60-71 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). p. 44-55 12 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 126).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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, p. 284-297 14 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Infinitary axiomatization of the equational theory of context-free languages
Grathwohl, N. B. B., Henglein, Fritz & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
A standard-driven implementaion of WS-BPEL 2.0
Hallwyl, T., Henglein, Fritz & Hildebrandt, T., 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 2472-2476 5 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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, p. 35-46 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
2016 POPL impressions
Henglein, Fritz, 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.Research output: Contribution to journal › Comment/debate › Research
ID: 7193
Most downloads
-
369
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Published -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
213
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published