Hugh McGuire

According to our database, Hugh McGuire authored at least 12 papers between 1993 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Exhaustive community enumeration on a cluster.

Christian Trefftz, Hugh McGuire, Zack Kurmas, Jerry Scripps, Juan D. Pineda

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2016

Exhaustive Community Enumeration in Parallel.

Christian Trefftz, Hugh McGuire, Zachary Kurmas, Jerry Scripps

Parallel Process. Lett., 2016

2014

Enumerating Communities for a Deeper Understanding of Community Finding.

Zachary Kurmas, Hugh McGuire, Jerry Scripps, Christian Trefftz

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

2012

General education options.

Cathy Bareiss, Hugh McGuire, Larry Vail

J. Comput. Sci. Coll., 2012

Book - A Futurist's Manifesto: a Collection of Essays from the Bleeding Edge of Publishing.

Hugh McGuire, Brian O'Leary

O'Reilly, ISBN: 978-1-449-30560-4, 2012

2009

Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation.

Hugh McGuire

J. Comput. Sci. Coll., 2009

2007

ProofBuilder, a nifty tool for facilitating students' construction of proofs: nifty tools.

Hugh McGuire

J. Comput. Sci. Coll., 2007

Compare strings backward for rhyming (an exercise on strings and characters): nifty tools.

Hugh McGuire

J. Comput. Sci. Coll., 2007

2004

A tool for formatting computer science lectures in HTML.

Hugh McGuire

J. Comput. Sci. Coll., 2004

1995

Two methods for checking formulas of temporal logic.

Hugh McGuire

PhD thesis, 1995

1994

Annotation-Based Deduction in Temporal Logic.

Hugh McGuire, Zohar Manna, Richard J. Waldinger

Proceedings of the Temporal Logic, First International Conference, 1994

1993

A Decision Algorithm for Full Propositional Temporal Logic.

Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli

Proceedings of the Computer Aided Verification, 5th International Conference, 1993