Universal Turing Machine by Jian Xu, Xingyuan Zhang, Christian Urban, Sebastiaan J. C. Joosten and Franz Regensburger Feb 08
POSIX Lexing with Derivatives of Regular Expressions by Fahad Ausaf, Roy Dyckhoff and Christian Urban May 24
The Myhill-Nerode Theorem Based on Regular Expressions by Chunhan Wu, Xingyuan Zhang and Christian Urban Aug 26