Exhaustive community enumeration on a cluster.
Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018
Exhaustive Community Enumeration in Parallel.
Parallel Process. Lett., 2016
Enumerating Communities for a Deeper Understanding of Community Finding.
Proceedings of the 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Warsaw, Poland, August 11-14, 2014, 2014
General education options.
J. Comput. Sci. Coll., 2012
Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of Publishing.
O'Reilly, ISBN: 978-1-449-30560-4, 2012
Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation.
J. Comput. Sci. Coll., 2009
ProofBuilder, a nifty tool for facilitating students' construction of proofs: nifty tools.
J. Comput. Sci. Coll., 2007
Compare strings backward for rhyming (an exercise on strings and characters): nifty tools.
J. Comput. Sci. Coll., 2007
A tool for formatting computer science lectures in HTML.
J. Comput. Sci. Coll., 2004
Two methods for checking formulas of temporal logic.
PhD thesis, 1995
Annotation-Based Deduction in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994
A Decision Algorithm for Full Propositional Temporal Logic.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993