Publications
DISCLAIMER: This webpage contains pdf files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, or distributing these files may violate the copyright protection law. Please abide by US and international copyright law in accessing this directory.
SIGCSE '08 Doctoral Consortium Slides PPT 2007 PPT 2003 PDF
ProofChecker: An Accessible Environment for Automata Theory Correctness Proofs, M. Stallmann, S. Balik, R. Rodman, S. Bahram, M. Grace and S. High, in Proc. of 12th ITiCSE Tech. Symp. on Computer Science Education, 2007, pp 48-52.
GDR: A Visualization Tool for Graph Algorithms, M. Stallmann, R. Cleaveland and P. Hebbar, in Proc. Computational Support for Discrete Mathematics, American Mathematical Society, 1994, pp 17-28.