Publications
- Ulrik Terp Rasmussen. Stream Processing using Grammars and Regular Expressions. PhD thesis, January 2017.
- Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm. Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers. 43rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2016), January 20–22, 2016, St. Petersburg, FL, USA.
- Niels Bjørn Bugge Grathwohl. Parsing with Regular Expressions & Extensions to Kleene Algebra. PhD thesis, November 2015.
- Bjørn Bugge Grathwohl, Ulrik Terp Rasmussen, and Fritz Henglein. Kleene Meets Church: Regular Expressions as Types. Poster, student research competition at POPL 2015, January 2015, Mumbai.
- Niels Bjørn Bugge Grathwohl, Fritz Henglein, and Ulrik Terp Rasmussen. Optimally Streaming Greedy Regular Expression Parsing. Theoretical Aspects of Computing — ICTAC 2014, pp. 224–240, September 2014, Bucharest.
- Niels Bjørn Bugge Grathwohl, Dexter Kozen, and Konstantinos Mamouras. KAT + B!. In 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), pp. 44:1–44:10, 2014.
- Niels Bjørn Bugge Grathwohl, Fritz Henglein, and Dexter Kozen. Infinitary Axiomatization of the Equational Theory of Context-Free Languages. In Proc. 9th Workshop Fixed Points in Computer Science (FICS 2013), p. 44–55 — September 2013.
- Niels Bjørn Bugge Grathwohl, Fritz Henglein, Lasse Nielsen, and Ulrik Terp Rasmussen. Two-Pass Greedy Regular Expression Parsing. In S. Konstantinidis, editor, Implementation and Application of Automata, volume 7982 of Lecture Notes in Computer Science, pages 60–71. Springer Berlin Heidelberg, 2013.
- Lasse Nielsen and Fritz Henglein. Bit-coded Regular Expression Parsing. In Proc. 5th Int’l Conf. on Language and Automata Theory and Applications (LATA), Lecture Notes in Computer Science (LNCS). Springer, May 2011.
- Fritz Henglein and Lasse Nielsen. Regular Expression Containment: Coinductive Axiomatization and Computational Interpretation. In Proc. 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2011.