Niels Bjørn Bugge Grathwohl

According to our database, Niels Bjørn Bugge Grathwohl authored at least 6 papers between 2011 and 2017.

Collaborative distances:

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

2017

Infinitary Axiomatization of the Equational Theory of Context-Free Languages.

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

Fundam. Informaticae, 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

KAT + B!

Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 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

2011

Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011