| Kleenex: Compiling nondeterministic transducers to deterministic streaming transducers BB Grathwohl, F Henglein, UT Rasmussen, KA Søholm, SP Tørholm Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 15 | 2016 |
| Two-pass greedy regular expression parsing NBB Grathwohl, F Henglein, L Nielsen, UT Rasmussen International Conference on Implementation and Application of Automata, 60-71, 2013 | 14 | 2013 |
| Optimally streaming greedy regular expression parsing NBB Grathwohl, F Henglein, UT Rasmussen Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 12 | 2014 |
| PEG parsing in less space using progressive tabling and dynamic analysis F Henglein, UT Rasmussen Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017 | 8 | 2017 |
| Structural logical relations with case analysis and equality reasoning U Rasmussen, A Filinski Proceedings of the Eighth ACM SIGPLAN international workshop on Logical …, 2013 | 4 | 2013 |
| Trading green bonds using distributed ledger technology H Axelsen, U Rasmussen, JR Jensen, O Ross, F Henglein arXiv preprint arXiv:2304.08154, 2023 | 2 | 2023 |
| A crash-course in regular expression parsing and regular expressions as types NBB Grathwohl, F Henglein, UT Rasmussen Technical report, University of Copenhagen, 2014 | 2 | 2014 |
| Formalization of proofs by logical relations in a logical framework U Rasmussen M. Sc. Thesis, Department of Computer Science, University of Copenhagen, Denmark, 2013 | 1 | 2013 |
| Stream Processing Using Grammars and Regular Expressions UT Rasmussen arXiv preprint arXiv:1704.08820, 2017 | | 2017 |
| Kleenex: High-Performance Grammar Based Stream Processing BB Grathwohl, F Henglein, UT Rasmussen Stream Processing Using Grammars and Regular Expressions, 91, 2016 | | 2016 |
| Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers BBGF Henglein, UT Rasmussen, KA Søholm, SP Tørholm | | |
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
