Publications – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

KMC > Publications

Publications

  • A Crash-Course in Regular Expression Parsing and Regular Expressions as Types. [PDF]
  • 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. [PDF]
  • Niels Bjørn Bugge Grathwohl. Parsing with Regular Expressions & Extensions to Kleene Algebra. PhD thesis, November 2015. [PDF]
  • 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. [PDF]
  • 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. [PDF]
  • 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. [PDF]
  • 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. [PDF]
  • 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. [PDF]
  • 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. [PDF]
  • 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. [PDF]