Niels Bjørn Bugge Grathwohl

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Grammatical Inference

String Matching

Deterministic Finite Automata

Top Venues

Fundam. Informaticae

Publications

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. Fundam. Informaticae 150 (3-4) (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, Dexter Kozen, Konstantinos Mamouras
KAT + B! CSL-LICS (2014)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, Ulrik Terp Rasmussen
Two-Pass Greedy Regular Expression Parsing. CIAA (2013)
Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. FICS (2013)
Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. RTA (2011)