Hugh McGuire

According to our database, Hugh McGuire authored at least 7 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

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

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