Object Oriented XML Query by Example. - Kathy Bohrer; Xuan Liu; Sean McLaughlin; Edith Schonberg; Moninder Singh (ER (Workshops), 2003)

A Proof-Producing Decision Procedure for Real Arithmetic. - Sean McLaughlin; John Harrison 001 (CADE, 2005)

Tool Building Requirements for an API to First-Order Solvers. - Jim Grundy; Thomas F. Melham; Sava Krstic; Sean McLaughlin (PDPAR@CAV, 2005)

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. - Sean McLaughlin; Clark W. Barrett; Yeting Ge (PDPAR@CAV, 2005)

An Interpretation of Isabelle/HOL in HOL Light. - Sean McLaughlin (IJCAR, 2006)

Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic. - Sean McLaughlin; Frank Pfenning (LPAR, 2008)

Flyspeck in a Semantic Wiki. - Christoph Lange 002; Sean McLaughlin; Florian Rabe 001 (SemWiki, 2008)

Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method. - Sean McLaughlin; Frank Pfenning (CADE, 2009)

A Revision of the Proof of the Kepler Conjecture. - Thomas C. Hales; John Harrison 001; Sean McLaughlin; Tobias Nipkow; Steven Obua; Roland Zumkeller (Discret. Comput. Geom., 2010)

A formal proof of the Kepler conjecture. - Thomas C. Hales; Mark Adams; Gertrud Bauer; Dat Tat Dang; John Harrison 001; Truong Le Hoang; Cezary Kaliszyk; Victor Magron; Sean McLaughlin; Thang Tat Nguyen; Truong Quang Nguyen; Tobias Nipkow; et al. (CoRR, 2015)

Reachability Analysis for AWS-Based Networks. - John Backes; Sam Bayless; Byron Cook; Catherine Dodge; Andrew Gacek; Alan J. Hu; Temesghen Kahsai; Bill Kocik; Evgenii Kotelnikov; Jure Kukovec; Sean McLaughlin; Jason Reed 004; et al. (CAV (2), 2019)

Stratified Abstraction of Access Control Policies. - John Backes; Ulises Berrueco; Tyler Bray; Daniel Brim; Byron Cook; Andrew Gacek; Ranjit Jhala; Kasper Søe Luckow; Sean McLaughlin; Madhav Menon; Daniel Peebles; Ujjwal Pugalia; et al. (CAV (1), 2020)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)