Autor der Publikation

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.

. AAAI, Seite 454-459. AAAI Press, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the relationship between strand spaces and multi-agent systems., und . ACM Conference on Computer and Communications Security, Seite 106-115. ACM, (2001)Reasoning about knowledge of unawareness., und . Games Econ. Behav., 67 (2): 503-525 (2009)On spectrum sharing games., , , und . Distributed Comput., 22 (4): 235-248 (2010)Decision Procedures and Expressiveness in the Temporal Logic of Branching Time, und . STOC, Seite 169-180. ACM, (1982)Partial Awareness., und . CoRR, (2018)From statistical knowledge bases to degrees of belief: an overview.. PODS, Seite 110-113. ACM, (2006)The Semantics of Local Storage, or What Makes the Free-List Free?, , und . POPL, Seite 245-257. ACM Press, (1984)A Good Hoare Axiom System for an Algol-like Language.. POPL, Seite 262-271. ACM Press, (1984)Language-based Games.. ICAART (1), Seite IS-7. SciTePress, (2015)Reasoning about Uncertainty. MIT Press, Cambridge, MA, (2003)