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 | | |