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.
- 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
ID: 7193
Flest downloads
-
369
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 -
213
downloads
Big Data eller privacy?
Publikation: Konferencebidrag › Paper › Forskning
Udgivet