List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Calculus of cooperation and game-based reasoning about protocol privacy ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| Concurrency semantics for the Geiger-Paz-Pearl axioms of independence | 2012-09-18 | Paper |
| Hypergraphs of multiparty secrets Annals of Mathematics and Artificial Intelligence | 2012-01-13 | Paper |
| Logic of secrets in collaboration networks Annals of Pure and Applied Logic | 2011-09-22 | Paper |
| The functional dependence relation on hypergraphs of secrets Lecture Notes in Computer Science | 2011-09-16 | Paper |
| Information flow on directed acyclic graphs Logic, Language, Information and Computation | 2011-05-27 | Paper |
| Hypergraphs of multiparty secrets Lecture Notes in Computer Science | 2010-08-24 | Paper |
| An independence relation for sets of secrets Studia Logica | 2010-04-26 | Paper |
| An Independence Relation for Sets of Secrets Logic, Language, Information and Computation | 2009-07-02 | Paper |
Research outcomes over time
This page was built for person: Sara Miner More
