Hugh McGuire - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2018

Exhaustive community enumeration on a clusterChristian Trefftz, Hugh McGuire, Zack Kurmas, Jerry Scripps, Juan D. Pineda. ccwc 2018: 233-237 [doi]

2016

Exhaustive Community Enumeration in ParallelChristian Trefftz, Hugh McGuire, Zachary Kurmas, Jerry Scripps. ppl, 26(2):1-16, 2016. [doi]

2014

Enumerating Communities for a Deeper Understanding of Community FindingZachary Kurmas, Hugh McGuire, Jerry Scripps, Christian Trefftz. webi 2014: 35-42 [doi]

2012

General education optionsCathy Bareiss, Hugh McGuire, Larry Vail. jcscoll, 28(1):81, 2012. [doi]

Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of PublishingHugh McGuire, Brian O'Leary. O'Reilly, 2012. [doi]

2009

Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentationHugh McGuire. jcscoll, 24(3):53-54, 2009. [doi]

2008

Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentationHugh McGuire. jcscoll, 24(1):124-125, 2008. [doi]

2007

ProofBuilder, a nifty tool for facilitating students' construction of proofs: nifty toolsHugh McGuire. jcscoll, 23(1):112-113, 2007. [doi]

Compare strings backward for rhyming (an exercise on strings and characters): nifty toolsHugh McGuire. jcscoll, 23(1):106, 2007. [doi]

2004

A tool for formatting computer science lectures in HTMLHugh McGuire. jcscoll, 20(1):34-41, 2004. [doi]

1995

Two methods for checking formulas of temporal logicHugh McGuire. PhD thesis, Stanford University, USA, 1995. [doi]

1994

Annotation-Based Deduction in Temporal LogicHugh McGuire, Zohar Manna, Richard J. Waldinger. ictl 1994: 430-444

1993

A Decision Algorithm for Full Propositional Temporal LogicYonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli. cav 1993: 97-109

Sign in or sign up to see more results.

runs on WebDSL