Hugh McGuire

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 2

Top Topics

Knowledge Communities

Community Structure

Deeper Understanding

Depth First Search

Top Venues

Parallel Process. Lett.

Publications

Christian Trefftz, Hugh McGuire, Zack Kurmas, Jerry Scripps, Juan D. Pineda
Exhaustive community enumeration on a cluster. CCWC (2018)
Christian Trefftz, Hugh McGuire, Zachary Kurmas, Jerry Scripps
Exhaustive Community Enumeration in Parallel. Parallel Process. Lett. 26 (2) (2016)
Zachary Kurmas, Hugh McGuire, Jerry Scripps, Christian Trefftz
Enumerating Communities for a Deeper Understanding of Community Finding. WI-IAT (2) (2014)
Hugh McGuire, Zohar Manna, Richard J. Waldinger
Annotation-Based Deduction in Temporal Logic. ICTL (1994)
Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli
A Decision Algorithm for Full Propositional Temporal Logic. CAV (1993)