Fritz Henglein
Professor
Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
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.
- 2022
- Udgivet
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems
Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., nov. 2022, I: Computer Science Review. 46, 44 s., 100513.Publikation: Bidrag til tidsskrift › Review › Forskning › fagfællebedømt
- 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
- Udgivet
Algeo: An Algebraic Approach to Reversibility
Henglein, Fritz, Kaarsgaard, R. & Mathiesen, Mikkel Kragh, 2022, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Mezzina, C. A. & Podlaski, K. (red.). Springer, s. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13354 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, Bind 360. s. 1-26 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 360).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee
Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, I: Frontiers in blockchain. 5, 18 s., 846783.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2020
- Udgivet
A Formally Verified Static Analysis Framework for Compositional Contracts
Henglein, Fritz, Larsen, C. K. & Murawska, A., 2020. 18 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
Module Theory and Query Processing: (Extended Abstract)
Henglein, Fritz & Mathiesen, Mikkel Kragh, 2020. 3 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- 2018
- Udgivet
Blockchain deconstructed
Henglein, Fritz, 2018. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- Udgivet
Probabilistic Programming for Voucher Information Extraction: Preliminary Practical Experiences
Al-Sibahi, A. S., Hamelryck, Thomas Wim & Henglein, Fritz, 2018.Publikation: Konferencebidrag › Poster › Forskning
- 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
- 2017
- Udgivet
Automated execution of financial contracts on blockchains
Egelund-Müller, B., Elsman, Martin, Henglein, Fritz & Ross, Omry, dec. 2017, I: Business and Information Systems Engineering. 59, 6, s. 457-467 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- Udgivet
Automatic Incrementalization of Functional Reports
Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › fagfællebedømt
- Udgivet
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
Henriksen, Troels, Serup, N. G. W., Elsman, Martin, Henglein, Fritz & Oancea, Cosmin Eugen, 2017, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, s. 556-571 16 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 2016
- Udgivet
2016 POPL impressions
Henglein, Fritz, 2016, I: SIGLOG News. 3, 2, s. 79-81 3 s.Publikation: Bidrag til tidsskrift › Kommentar/debat › Forskning
- Udgivet
FinPar: a parallel financial benchmark
Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henglein, Fritz, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2016, I: ACM Transactions on Architecture and Code Optimization (TACO). 13, 2, s. 1 27 s., 18.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- Udgivet
Relational algebra by way of adjunctions
Gibbons, J., Henglein, Fritz, Hinze, R. & Wu, N., 2016. 16 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning
- 2015
- Udgivet
- 2014
- Udgivet
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. (red.). Springer, s. 73-95 23 s. (Lecture notes in computer science, Bind 8802).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 2013
- 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
- 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
- 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
- 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
- 2012
- Udgivet
Clone detection using rolling hashing, suffix trees and dagification: a case study
Thomsen, M. J. & Henglein, Fritz, 2012, 2012 6th International Workshop on Software Clones (IWSC). IEEE, s. 22-28 7 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Dynamic symbolic computation for domain-specific language implementation
Henglein, Fritz, 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Vidal, G. (red.). Springer, s. 4-24 21 s. (Lecture notes in computer science, Bind 7225).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Financial software on GPUs: between Haskell and Fortran
Oancea, Cosmin Eugen, Andreetta, C., Berthold, J., Frisch, A. & Henglein, Fritz, 2012, FHPC’12: Proceedings of the 1st ACM SIGPLAN Workshop on Functional High Performance Computing. Association for Computing Machinery, s. 61-72 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 2011
- Udgivet
Bit-coded regular expression parsing
Nielsen, L. & Henglein, Fritz, 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. (red.). Springer, s. 402-413 12 s. (Lecture notes in computer science, Bind 6638).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 2010
- Udgivet
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, s. 2472-2476 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
- 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
- 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
- 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
- 2009
- 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
- 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
- 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
- 2008
- Udgivet
Automatic Program Development: A Tribute to Robert Paige
Danvy, O. (red.), Mairson, H. (red.), Henglein, Fritz (red.) & Pettorossi, A. (red.), 2008, Berlin: Springer. 274 s.Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt
- Udgivet
Efficient Type Matching
Jha, S., Palsberg, J., Zhao, T. & Henglein, Fritz, 2008, Automatic Program Development: A Tribute to Robert Page, Part III. Danvy, O., Mairson, H., Henglein, F. & Pettorossi, A. (red.). Springer, s. 229-246Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
- Udgivet
Generic Discrimination: Sorting and Partitioning Unshared Data in Linear Time
Henglein, Fritz, 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, s. 91-102Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Proceedings of 2nd Workshop on 3d generation Enterprise Resource Planning systems (3gERP)
Henglein, Fritz (red.) & Bjørn-Andersen, N. (red.), 2008Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
- 2007
- Udgivet
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 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. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
ID: 7193
Flest downloads
-
368
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
212
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet