Sean McLaughlin - Citegraph

Author Info

Name	Affiliation	Papers
SEAN MCLAUGHLIN	Department of Computer Science, Carnegie Mellon University	9
Collaborators	Citations	PageRank
35	140	9.39
Referers	Referees	References
224	129	96

Search Limit

100224

Publications (9 rows)

Collaborators (35 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A Revision of the Proof of the Kepler Conjecture	37	1.86	2010
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method	8	0.66	2009
Flyspeck in a Semantic Wiki	3	0.46	2008
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic	11	0.73	2008
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite	26	1.24	2006
Tool Building Requirements for an API to First-Order Solvers	4	0.52	2006
An interpretation of Isabelle/HOL in HOL light	8	0.56	2006
A proof-producing decision procedure for real arithmetic	36	2.86	2005
Formalizing the Proof of the Kepler Conjecture	7	0.49	2004

1