Ulrik Terp Rasmussen

According to our database, Ulrik Terp Rasmussen authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Trading Green bonds using Distributed Ledger Technology.

Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein

Proceedings of the 31st European Conference on Information Systems, 2023

2017

Stream Processing using Grammars and Regular Expressions.

Ulrik Terp Rasmussen

CoRR, 2017

PEG parsing in less space using progressive tabling and dynamic analysis.

Fritz Henglein, Ulrik Terp Rasmussen

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2016

Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2014

Optimally Streaming Greedy Regular Expression Parsing.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Two-Pass Greedy Regular Expression Parsing.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen

Proceedings of the Implementation and Application of Automata, 2013

Structural logical relations with case analysis and equality reasoning.

Ulrik Terp Rasmussen, Andrzej Filinski

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013