Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. - Niels Bjørn Bugge Grathwohl; Jeroen Ketema; Jens Duelund Pallesen; Jakob Grue Simonsen (RTA, 2011)

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

KAT + B! - Niels Bjørn Bugge Grathwohl; Dexter Kozen; Konstantinos Mamouras (CSL-LICS, 2014)

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)

Infinitary Axiomatization of the Equational Theory of Context-Free Languages. - Niels Bjørn Bugge Grathwohl; Fritz Henglein; Dexter Kozen (Fundam. Informaticae, 2017)