1. Testing the Equivalence of Regular Languages;Almeida Marco;J. Autom. Lang. Comb.,2009
2. Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, and Mahesh Viswanathan. 2013. Automated Grading of DFA Constructions. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3--9, 2013, Francesca Rossi (Ed.). IJCAI/AAAI, 1976--1982. http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6759
3. Effective Succinct Feedback for Intro CS Theory
4. A visual and interactive automata theory course with JFLAP 4.0
5. Fifty years of automata simulation