( en | de | ru )

 

Disambiguation of "More, Sara Miner"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.

, , and . CSL, volume 12 of LIPIcs, page 443-457. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)

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.

Gunther Moré

Erwin Miner

Paolo Minero

Roberto Minerva

Shailesh More

 

Other publications of authors with the same name

Calculus of cooperation and game-based reasoning about protocol privacy., and . ACM Trans. Comput. Log., 13 (3): 22:1-22:21 (2012)Information Flow on Directed Acyclic Graphs., , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 95-109. Springer, (2011)Independence and Functional Dependence Relations on Secrets., , , and . KR, AAAI Press, (2010)An Independence Relation for Sets of Secrets., and . WoLLIC, volume 5514 of Lecture Notes in Computer Science, page 296-304. Springer, (2009)The Functional Dependence Relation on Hypergraphs of Secrets., and . CLIMA, volume 6814 of Lecture Notes in Computer Science, page 29-40. Springer, (2011)Hypergraphs of multiparty secrets., and . Ann. Math. Artif. Intell., 62 (1-2): 79-101 (2011)Sliding-window self-healing key distribution., , , and . SSRS@CCS, page 82-90. ACM, (2003)On interdependence of secrets in collaboration networks., and . TARK, page 208-217. (2009)Logic of secrets in collaboration networks., and . Ann. Pure Appl. Log., 162 (12): 959-969 (2011)An Independence Relation for Sets of Secrets., and . Stud Logica, 94 (1): 73-85 (2010)