Hugh McGuire

13 papers A* 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2018 — conf
Exhaustive community enumeration on a cluster.
CCWC
Christian Trefftz, Hugh McGuire, Zack Kurmas, Jerry Scripps, Juan D. Pineda
2016 J jnl
Exhaustive Community Enumeration in Parallel.
Parallel Process. Lett.
Christian Trefftz, Hugh McGuire, Zachary Kurmas, Jerry Scripps
2014 — conf
Enumerating Communities for a Deeper Understanding of Community Finding.
WI-IAT (2)
Zachary Kurmas, Hugh McGuire, Jerry Scripps, Christian Trefftz
2012 — book
Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of Publishing.
Hugh McGuire, Brian O'Leary
2012 J jnl
General education options.
J. Comput. Sci. Coll.
Cathy Bareiss, Hugh McGuire, Larry Vail
2009 J jnl
Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation.
J. Comput. Sci. Coll.
Hugh McGuire
2008 J jnl
Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation.
J. Comput. Sci. Coll.
Hugh McGuire
2007 J jnl
Compare strings backward for rhyming (an exercise on strings and characters): nifty tools.
J. Comput. Sci. Coll.
Hugh McGuire
2007 J jnl
ProofBuilder, a nifty tool for facilitating students' construction of proofs: nifty tools.
J. Comput. Sci. Coll.
Hugh McGuire
2004 J jnl
A tool for formatting computer science lectures in HTML.
J. Comput. Sci. Coll.
Hugh McGuire
1995 — —
Two methods for checking formulas of temporal logic.
Hugh McGuire
1994 — conf
Annotation-Based Deduction in Temporal Logic.
ICTL
Hugh McGuire, Zohar Manna, Richard J. Waldinger
1993 A* conf
A Decision Algorithm for Full Propositional Temporal Logic.
CAV
Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli