A Decision Algorithm for Full Propositional Temporal Logic. - Yonit Kesten; Zohar Manna; Hugh McGuire; Amir Pnueli (CAV, 1993)

Annotation-Based Deduction in Temporal Logic. - Hugh McGuire; Zohar Manna; Richard J. Waldinger (ICTL, 1994)

Two methods for checking formulas of temporal logic. - Hugh McGuire (1995)

A tool for formatting computer science lectures in HTML. - Hugh McGuire (J. Comput. Sci. Coll., 2004)

Compare strings backward for rhyming (an exercise on strings and characters): nifty tools. - Hugh McGuire (J. Comput. Sci. Coll., 2007)

ProofBuilder, a nifty tool for facilitating students' construction of proofs: nifty tools. - Hugh McGuire (J. Comput. Sci. Coll., 2007)

Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation. - Hugh McGuire (J. Comput. Sci. Coll., 2009)

Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of Publishing. - Hugh McGuire; Brian O'Leary (O'Reilly, 2012)

General education options. - Cathy Bareiss; Hugh McGuire; Larry Vail (J. Comput. Sci. Coll., 2012)

Enumerating Communities for a Deeper Understanding of Community Finding. - Zachary Kurmas; Hugh McGuire; Jerry Scripps; Christian Trefftz (WI-IAT (2), 2014)

Exhaustive Community Enumeration in Parallel. - Christian Trefftz; Hugh McGuire; Zachary Kurmas; Jerry Scripps (Parallel Process. Lett., 2016)

Exhaustive community enumeration on a cluster. - Christian Trefftz; Hugh McGuire; Zack Kurmas; Jerry Scripps; Juan D. Pineda (CCWC, 2018)