Using a blog for enrichment readings in CSO.
J. Comput. Sci. Coll., 2006
Undergraduate participation in the development of the Alsos digital library for nuclear issues.
J. Comput. Sci. Coll., 2002
Disconnected Complements of Steinhaus graphs.
Electron. Notes Discret. Math., 2002
Adding web access to database projects - a simple approach.
J. Comput. Sci. Coll., 2000
Characterizations of bipartite Steinhaus graphs.
Discret. Math., 1999
Parallel searches for hereditary node properties in binary trees.
Proceedings of the 36th Annual ACM Southeast Regional Conference, 1998
Generating strings for bipartite Steinhaus graphs.
Discret. Math., 1995
Describing the CS forest to undergraduates (abstract).
Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994
Alternative Developments of Cyclic-Permutation Algorithms.
Inf. Process. Lett., 1992
A Case Study in ADT Implementation Verification.
Comput. Sci. Educ., 1992
Postorder Trees and Eulerian Numbers.
Acta Informatica, 1991
A framework for program verification in the context of linked structures and pointer variables.
Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991