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
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.Research output: Contribution to conference › Poster › Research
- Published
Compositional specification of commercial contracts
Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Domain-specific languages for enterprise systems
Andersen, J., Bahr, P., Henglein, Fritz & Hvitved, T., 2014, Leveraging applications of formal methods, verification and validation. Technologies for mastering change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 73-95 23 p. (Lecture notes in computer science, Vol. 8802).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
FinPar: a parallel financial benchmark
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, In: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, p. 1 27 p., 18.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee
Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (eds.). Springer, p. 98-113 16 p. (Lecture notes in computer science, Vol. 7193).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Coinductive axiomatization of recursive type equality and subtyping
Brandt, M. & Henglein, Fritz, 1998, In: Fundamentae Informaticae. Vol. 33, p. 309-338Research output: Contribution to journal › Journal article › Research › peer-review
- Published
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, p. 63-81Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Safe Region-Based Memory Management for Objects
Christiansen, M. V., Henglein, Fritz, Niss, H. & Velschow, P., 1998.Research output: Working paper
- Published
Special issue dedicated to Bob Paige (Part 2)
Danvy, O., Henglein, Fritz, Mairson, H. & Pettorossi, A., 2005, In: Higher-Order and Symbolic Computation. 18, 1Research output: Contribution to journal › Editorial › Research
- Published
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (ed.), Mairson, H. (ed.), Henglein, Fritz (ed.) & Pettorossi, A. (ed.), 2008, Berlin: Springer. 274 p.Research output: Book/Report › Anthology › Research › peer-review
- Published
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, Vol. LNCS.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. SpringerResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Automated execution of financial contracts on blockchains
Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, Dec 2017, In: Business and Information Systems Engineering. 59, 6, p. 457-467 11 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
AnnoDomini: From Type Theory to Year 2000 Conversion Tool
Eidorff, H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1998, In: European Research Consortium for Informatics and Mathematics. Vol. 36, p. 12-13Research output: Contribution to journal › Journal article › Research
- Published
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, In: ERCIM News. 36Research output: Contribution to journal › Journal article › Research
- Published
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, p. 6-13Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
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, p. 1-14Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Combinatory Adjoints and Differentiation
Elsman, Martin, Henglein, Fritz, Kaarsgaard, R., Mathiesen, Mikkel Kragh & Schenck, R., 2022, Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022).. EPTCS, Vol. 360. p. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 360).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, p. 1-28 86.Research output: Contribution to journal › Journal article › Research › peer-review
- 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
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
ID: 7193
Most downloads
-
372
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 -
216
downloads
Big Data eller privacy?
Research output: Contribution to conference › Paper › Research
Published