Old Web
English
Sign In
Acemap
>
authorDetail
>
Sean Mclaughlin
Sean Mclaughlin
Amazon.com
Formal proof
HOL
Kepler conjecture
Mathematics
hol light
4
Papers
342
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Stratified Abstraction of Access Control Policies
2020
CAV | Computer Aided Verification
John Backes
Ulises Berrueco
Tyler Bray
Daniel Brim
Byron Cook
Andrew Gacek
Ranjit Jhala
Kasper Luckow
Sean Mclaughlin
Madhav Menon
Daniel Peebles
Ujjwal Pugalia
Neha Rungta
Cole Schlesinger
Adam Schodde
Anvesh Tanuku
Carsten Varming
Deepa Viswanathan
Show All
Source
Cite
Save
Citations (0)
Reachability analysis for AWS-based networks
2019
CAV | Computer Aided Verification
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
Neha Rungta
John Sizemore
Mark A. Stalzer
Preethi Srinivasan
Pavle Subotić
Carsten Varming
Blake Whaley
Show All
Source
Cite
Save
Citations (20)
A FORMAL PROOF OF THE KEPLER CONJECTURE
2017
arXiv: Metric Geometry
Thomas C. Hales
Mark J. Adams
Gertrud Bauer
Tat-Dat Dang
John Harrison
Le Truong Hoang
Cezary Kaliszyk
Victor Magron
Sean Mclaughlin
Tat Thang Nguyen
Quang Truong Nguyen
Tobias Nipkow
Steven Obua
Joseph Pleso
Jason Rute
Alexey Solovyev
Thi Hoai An Ta
Nam Trung Tran
Thi Diep Trieu
Josef Urban
Ky Khac Vu
Roland Zumkeller
Show All
Source
Cite
Save
Citations (250)
A formal proof of the Kepler conjecture
2015
arXiv: Metric Geometry
Thomas C. Hales
Mark J. Adams
Gertrud Bauer
Dat Tat Dang
John Harrison
Truong Le Hoang
Cezary Kaliszyk
Victor Magron
Sean Mclaughlin
Thang Tat Nguyen
Truong Quang Nguyen
Tobias Nipkow
Steven Obua
Joseph Pleso
Jason Rute
Alexey Solovyev
An Hoai Thi Ta
Trung Nam Tran
Diep Thi Trieu
Josef Urban
Ky Khac Vu
Roland Zumkeller
Show All
Source
Cite
Save
Citations (72)
1