Ulrik Terp Rasmussen

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 5

Top Topics

Dynamic Analysis

Regular Expressions

Stream Processing

Deterministic Finite Automata

Top Venues

Publications

Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein
Trading Green bonds using Distributed Ledger Technology. ECIS (2023)
Henrik Axelsen, Ulrik Terp Rasmussen, Johannes Rude Jensen, Omri Ross, Fritz Henglein
Trading green bonds using distributed ledger technology. CoRR (2023)
Ulrik Terp Rasmussen
Stream Processing using Grammars and Regular Expressions. CoRR (2017)
Fritz Henglein, Ulrik Terp Rasmussen
PEG parsing in less space using progressive tabling and dynamic analysis. PEPM (2017)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. POPL (2016)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen
Optimally Streaming Greedy Regular Expression Parsing. ICTAC (2014)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen
Two-Pass Greedy Regular Expression Parsing. CIAA (2013)
Ulrik Terp Rasmussen, Andrzej Filinski
Structural logical relations with case analysis and equality reasoning. LFMTP (2013)