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.
- 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
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
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
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
Automatic Incrementalization of Functional Reports
Larsen, Ken Friis & Henglein, Fritz, 2017. 2 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › 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
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
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
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
Global Tagging Optimization by Type Inference
Henglein, Fritz, 1992, Proc. 1992 ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California. Association for Computing MachineryPublikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
ID: 7193
Flest downloads
-
370
downloads
A Formally Verified Static Analysis Framework for Compositional Contracts
Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
Udgivet -
265
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
215
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet