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
Automatic Incrementalization of Functional Reports
Larsen, Ken Friis & Henglein, Fritz, 2017. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
- Published
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, In: Computer Science Review. 46, 44 p., 100513.Research output: Contribution to journal › Review › Research › peer-review
- Published
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. (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
- Published
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, p. 61-72 12 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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, p. 22-28 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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