( en | de | ru )

 

Disambiguation of "McLaughlin, Sean"

Author of the publication

copydeleteadd this publication to your clipboard
Stratified Abstraction of Access Control Policies.

, , , , , , , , , , , , , , , , , and . CAV (1), volume 12224 of Lecture Notes in Computer Science, page 165-176. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter McLaughlin

Donoghue Sean

Adam McLaughlin

Sean Eikenberg

Sean Reed

 

Other publications of authors with the same name

Reachability Analysis for AWS-Based Networks., , , , , , , , , and 9 other author(s). CAV (2), volume 11562 of Lecture Notes in Computer Science, page 231-241. Springer, (2019)Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method., and . CADE, volume 5663 of Lecture Notes in Computer Science, page 230-244. Springer, (2009)Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite., , and . PDPAR@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 43-51. Elsevier, (2005)Stratified Abstraction of Access Control Policies., , , , , , , , , and 8 other author(s). CAV (1), volume 12224 of Lecture Notes in Computer Science, page 165-176. Springer, (2020)Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic., and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 174-181. Springer, (2008)A Revision of the Proof of the Kepler Conjecture., , , , , and . Discret. Comput. Geom., 44 (1): 1-34 (2010)Tool Building Requirements for an API to First-Order Solvers., , , and . PDPAR@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 15-26. Elsevier, (2005)An Interpretation of Isabelle/HOL in HOL Light.. IJCAR, volume 4130 of Lecture Notes in Computer Science, page 192-204. Springer, (2006)Flyspeck in a Semantic Wiki -- Collaborating on a Large Scale Formalization of the Kepler Conjecture, , and . 3rd Workshop on Semantic Wikis, 360, Aachen, (2008)Object Oriented XML Query by Example., , , , and . ER (Workshops), volume 2814 of Lecture Notes in Computer Science, page 323-329. Springer, (2003)