Fritz Henglein

Research output

Research output per year 1991 1991 1992 1994 1995 1997 1998 1999 2004 2007 2008 2009 2010 2011 2012 2013 2014 2016 2017 2017

• 25 Article in proceedings
• 19 Book chapter
• 16 Journal article
• 5 Anthology
• 20 More
  • 4 Working paper
  • 3 Report
  • 3 Editorial
  • 2 Conference abstract for conference
  • 2 Comment/debate
  • 1 Book
  • 1 Comment
  • 1 Report chapter
  • 1 Paper
  • 1 Conference article
  • 1 Literature review

Research output per year

Research output per year

Search results

• 2017

  Automated execution of financial contracts on blockchains

  Egelund-Müller, B., Elsman, M., Henglein, F. & Ross, O., 1 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

  • Blockchain 100%
  • Managers 16%
  • Ethereum 14%
  • Derivatives 7%
  • Semantics 6%
  47 Citations (Scopus)

• Automatic Incrementalization of Functional Reports

  Larsen, K. F. & Henglein, F., 2017. 2 p.

  Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  • Performance 100%
  • Decision Maker 87%
  • Alternatives 61%

• Futhark: purely functional GPU-programming with nested parallelism and in-place array updates

  Henriksen, T., Serup, N. G. W., Elsman, M., Henglein, F. & Oancea, C. E., 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 556-571 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Graphics processing unit 100%
  • Interchanges 61%
  • Transparency 55%
  • Fusion reactions 43%
  34 Citations (Scopus)

• Infinitary axiomatization of the equational theory of context-free languages

  Grathwohl, N. B. B., Henglein, F. & Kozen, D., 2017, In: Fundamenta Informaticae. 150, 3-4, p. 241-257 17 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Context free languages 100%
  • Equational Theory 82%
  • Context-free Languages 78%
  • Axiomatization 71%
  1 Citation (Scopus)

• PEG parsing in less space using progressive tabling and dynamic analysis

  Henglein, F. & 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

  • Polyethylene glycols 100%
  • Dynamic analysis 69%
  • Electronic data interchange 41%
  • Syntactics 39%
  • Scheduling 26%
  4 Citations (Scopus)
• 2016

  2016 POPL impressions

  Henglein, F., 2016, In: SIGLOG News. 3, 2, p. 79-81 3 p.

  Research output: Contribution to journal › Comment/debate › Research

• FinPar: a parallel financial benchmark

  Andreetta, C., Begot, V., Berthold, J., Elsman, M., Henglein, F., Henriksen, T., Nordfang, M-B. & Oancea, C. E., Jun 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

  • Parallel programming 100%
  • Computer hardware 99%
  • Maintainability 94%
  • Chemical analysis 55%
  9 Citations (Scopus)

• Kleenex: compiling nondeterministic transducers to deterministic streaming transducers

  Grathwohl, N. B. B., Henglein, F., 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

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

  Henglein, F. & 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. (eds.). Springer, p. 289-312 24 p. (Lecture notes in computer science, Vol. 9560).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Linguistics 100%

• Relational algebra by way of adjunctions

  Gibbons, J., Henglein, F., Hinze, R. & Wu, N., 2016. 16 p.

  Research output: Contribution to conference › Conference abstract for conference › Research

  100 Downloads (Pure)
• 2015

  Big Data eller privacy?

  Henglein, F., 2015. 5 p.

  Research output: Contribution to conference › Paper › Research

  154 Downloads (Pure)
• 2014

  Domain-specific languages for enterprise systems

  Andersen, J., Bahr, P., Henglein, F. & 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

  • Enterprise Systems 100%
  • Language 73%
  • System Architecture 44%
  • Software Architecture 26%
  • Time Change 23%
  4 Citations (Scopus)

• Optimally streaming greedy regular expression parsing

  Grathwohl, N. B. B., Henglein, F. & 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

  • Costs 100%
  6 Citations (Scopus)

• Scripting languages and frameworks: analysis and verification (Dagstuhl Seminar 14271)

  Henglein, F. (ed.), Jhala, R. (ed.), Krishnamurthi, S. (ed.) & Thiemann, P. (ed.), 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 24 p. (Dagstuhl Reports; No. 6, Vol. 4).

  Research output: Book/Report › Report › Research

  54 Downloads (Pure)
• 2013

  Infinitary axiomatization of the equational theory of context-free languages

  Grathwohl, N. B. B., Henglein, F. & Dexter, K., 28 Aug 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

  • Axiomatization 100%
  • Language 37%
  6 Citations (Scopus)

  44 Downloads (Pure)

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

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • discrimination 100%
  • time 23%
  • Group 20%
  1 Citation (Scopus)

• Trustworthy pervasive healthcare services via multiparty session types

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Network protocols 100%
  • mHealth 95%
  • Spreadsheets 85%
  • Synchronization 58%
  • Servers 53%
  9 Citations (Scopus)

• Two-pass greedy regular expression parsing

  Grathwohl, N. B. B., Henglein, F., 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

  • Stars 100%
  • Data storage equipment 59%
  6 Citations (Scopus)
• 2012

  Clone detection using rolling hashing, suffix trees and dagification: a case study

  Thomsen, M. J. & Henglein, F., 2012, 2012 6th International Workshop on Software Clones (IWSC). IEEE, p. 22-28 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Enterprise resource planning 100%
  • XML 80%
  • Computational complexity 67%
  • Sampling 58%
  • Industry 36%
  5 Citations (Scopus)

• Dynamic symbolic computation for domain-specific language implementation

  Henglein, F., 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (ed.). Springer, p. 4-24 21 p. (Lecture notes in computer science, Vol. 7225).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Specification languages 100%
  • Random variables 89%
  • Probability distributions 82%
  • Inspection 66%

• Financial software on GPUs: between Haskell and Fortran

  Oancea, C. E., Andreetta, C., Berthold, J., Frisch, A. & Henglein, F., 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, p. 61-72 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Graphics processing unit 100%
  • Computer hardware 62%
  • Functional programming 56%
  • Array processing 28%
  • Data storage equipment 26%
  10 Citations (Scopus)

• Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

  Berthold, J., Filinski, A., Henglein, F., Larsen, K. F., Steffensen, M. & 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

  • Finance 100%
  • Functional programming 75%
  • Transparency 59%
  • Productivity 45%
  • Computer architecture 34%

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

  Henglein, F., May 2012, In: Journal of Functional Programming. 22, 3 , p. 300-374 75 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Discriminators 100%
  • Sorting 78%
  5 Citations (Scopus)

• Rock’n’roll computer science

  Henglein, F., 2012, Logic and program semantics: essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Constable, R. L. & Silva, A. (eds.). Springer, p. 354-355 2 p. (Lecture notes in computer science, Vol. 7230).

  Research output: Chapter in Book/Report/Conference proceeding › Comment › Communication
• 2011

  Bit-coded regular expression parsing

  Nielsen, L. & Henglein, F., 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 402-413 12 p. (Lecture notes in computer science, Vol. 6638).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Gages 100%
  • Experiments 36%
  10 Citations (Scopus)

• Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

  Glück, R. (ed.), Henglein, F. (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

  208 Downloads (Pure)

• Regular expression containment: coinductive axiomatization and computational interpretation

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

  Research output: Contribution to journal › Conference article › Research › peer-review

  • Syntactics 100%
  • Stars 99%
  • Acoustic waves 76%
  16 Citations (Scopus)
• 2010

  A standard-driven implementaion of WS-BPEL 2.0

  Hallwyl, T., Henglein, F. & 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

  • XPath 100%
  • Data Access 25%
  • Empirical Evaluation 20%
  • Formalization 18%
  • Open Source 18%
  8 Citations (Scopus)

• Generic multiset programming for language-integrated querying

  Henglein, F. & Larsen, K. F., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4 Citations (Scopus)

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

  Henglein, F. & Larsen, K. F., Sept 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Discriminators 100%
  • Agglomeration 69%
  • Data structures 66%
  7 Citations (Scopus)

• Optimizing relational algebra operations using generic equivalence discriminators and lazy products

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Discriminators 100%
  • Algebra 83%
  • Sorting 39%
  • Computational complexity 16%
  4 Citations (Scopus)

• Technical perspective: large-scale sound and precise program analysis

  Henglein, F., Aug 2010, In: Communications of the ACM. 53, 8, p. 114 1 p.

  Research output: Contribution to journal › Comment/debate › Research › peer-review
• 2009

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

  Henglein, F., 2009, København: Museum Tusculanum, p. 32.

  Research output: Working paper › Research

  • Discriminators 100%
  • Algebra 83%
  • Data storage equipment 36%
  • Sorting 19%
  • Costs 7%

• POETS: Process-oriented Enterprise Transaction Systems

  Henglein, F., Stefansen, C. O. E., Simonsen, J. G. & Larsen, K. F., 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  6 Citations (Scopus)

• What is a Sorting Function?

  Henglein, F., 2009, In: Journal of Logic and Algebraic Programming. 78, 7, p. 552-572 20 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Sorting 100%
  • Sorting algorithm 28%
  • Permutation 15%
  • Abstraction 10%
  • Linear-time Algorithm 10%
  4 Citations (Scopus)
• 2008

  Automatic Program Development: A Tribute to Robert Paige

  Danvy, O. (ed.), Mairson, H. (ed.), Henglein, F. (ed.) & Pettorossi, A. (ed.), 2008, Berlin: Springer. 274 p.

  Research output: Book/Report › Anthology › Research › peer-review

• Efficient Type Matching

  Jha, S., Palsberg, J., Zhao, T. & Henglein, F., 2008,  Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (eds.). Springer, p. 229-246

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

• Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time

  Henglein, F., 2008, ICFP 08: Proceedings of the 2008 SIGPLAN International Conference  on Functional Programming, Victoria, British Columbia, Canada, September 22-24, 2008. Association for Computing Machinery, p. 91-102

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5 Citations (Scopus)

• Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

  Henglein, F. (ed.) & Bjørn-Andersen, N. (ed.), 2008

  Research output: Book/Report › Book › Research
• 2007

  Compositional Contract Specification for REA

  Henglein, F., Larsen, K. F., Simonsen, J. G. & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

• Intrinsically defined sorting functions

  Henglein, F., 2007.

  Research output: Working paper › Research

• Proceedings of 1st Workshop on 3d generation Enterprise Resource Planning systems (3gERP)

  Henglein, F. (ed.) & Bjørn-Andersen, N. (ed.), 2007

  Research output: Book/Report › Anthology › Research › peer-review

• What is a Sort Function?

  Henglein, F., 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2006

  Compositional specification of commercial contracts

  Andersen, J., Elsborg, E., Henglein, F., Simonsen, J. G. & 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

  • Specifications 100%
  • Semantics 57%
  • Acoustic waves 11%
  • Monitoring 7%
  17 Citations (Scopus)

• Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

  Henglein, F., 2006, Datalogisk Institut, Københavns Universitet. 1 p.

  Research output: Book/Report › Report › Research
• 2005

  Effect type systems and region-based memory management

  Henglein, F., Makholm, H. & Niss, H., 2005, Advanced Topics in Types and Programming Languages. Cambridge, Mass.: MIT Press, p. -

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

• Special issue dedicated to Bob Paige (Part 2)

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

  Research output: Contribution to journal › Editorial
• 2004

  Compositional Specification of Commercial Contracts

  Henglein, F., Stefansen, C. O. E., Simonsen, J. G., Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, p. 8

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Compositional Specification of Commercial Contracts (Technical. report)

  Henglein, F., Stefansen, C. O. E., Simonsen, J. G., Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 p.

  Research output: Book/Report › Report › Communication

• Proceedings of 2nd ACM SIGPLAN Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE), Venice, Italy

  Henglein, F. (ed.), Jones, R. (ed.), Morrisett, G. (ed.) & O'Hearn, P. (ed.), 2004

  Research output: Book/Report › Anthology › Research › peer-review