"BERCQuery: A Web-Based Retrieval System," Mercedes Soria, 1998.
"A Network Protocol Simulator," Derek Carver, 1997.
"Interactive Petri Net Simulation," John Aitcheson, 1996.
"Mathematica and Data Structures," Art Yarbrough, 1996.
"Stretched AVL-Trees," Tamara Balac, 1995.
"Intelligent Tutoring in Effective Software Testing Techniques," Larry Lane, 1994.
"Testing Object-Oritented Software," Gerry Gattis, 1993.
"Tool for Advising Undergraduates," Lisa Rogers, 1993.
"A Reordering Mechanism for C-Prolog," joint with Jungsoon Yoo, Jian Wang, 1992.
"Automated Web Form Construction," Rhonda Earl, 2000-2001.