Hugh McGuire

According to our database1, Hugh McGuire authored at least 5 papers between 1993 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Exhaustive Community Enumeration in Parallel.
Parallel Processing Letters, 2016

2014
Enumerating Communities for a Deeper Understanding of Community Finding.
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.
O'Reilly, ISBN: 978-1-449-30560-4, 2012

1994
Annotation-Based Deduction in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
A Decision Algorithm for Full Propositional Temporal Logic.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993


  Loading...