Structural logical relations with case analysis and equality reasoning. - Ulrik Terp Rasmussen; Andrzej Filinski (LFMTP, 2013)

Two-Pass Greedy Regular Expression Parsing. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Lasse Nielsen; Ulrik Terp Rasmussen (CIAA, 2013)

Optimally Streaming Greedy Regular Expression Parsing. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Ulrik Terp Rasmussen (ICTAC, 2014)

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 (POPL, 2016)

PEG parsing in less space using progressive tabling and dynamic analysis. - Fritz Henglein; Ulrik Terp Rasmussen (PEPM, 2017)

Stream Processing using Grammars and Regular Expressions. - Ulrik Terp Rasmussen (CoRR, 2017)

Trading Green bonds using Distributed Ledger Technology. - Henrik Axelsen; Ulrik Terp Rasmussen; Johannes Rude Jensen; Omri Ross; Fritz Henglein (ECIS, 2023)