Autor der Publikation

Contract Signing, Optimism, and Advantage.

, , , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 361-377. Springer, (2003)

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

Parametricity and Variants of Girard's J Operator., und . Inf. Process. Lett., 70 (1): 1-5 (1999)Determination of Thermodynamic and Kinetic Parameters from Isothermal Heat Conduction Microcalorimetry: Applications to Long-Term-Reaction Studies, , , und . The Journal of Physical Chemistry, 99 (18): 7108--7113 (Mai 1995)Probabilistic Polynomial-Time Semantics for a Protocol Security Logic., , , , und . ICALP, Volume 3580 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2005)Notes on Typed Object-Oriented Programming., und . TACS, Volume 789 von Lecture Notes in Computer Science, Seite 844-885. Springer, (1994)Contract Signing, Optimism, and Advantage., , , und . CONCUR, Volume 2761 von Lecture Notes in Computer Science, Seite 361-377. Springer, (2003)Connecting Formal Semantics to Constructive Intuitions., , und . Constructivity in Computer Science, Volume 613 von Lecture Notes in Computer Science, Seite 1-21. Springer, (1991)Reclaiming the Blogosphere, TalkBack: A Secure LinkBack Protocol for Weblogs., , und . ESORICS, Volume 6879 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2011)Inductive Proofs of Computational Secrecy., , , und . ESORICS, Volume 4734 von Lecture Notes in Computer Science, Seite 219-234. Springer, (2007)DATALOG with Constraints: A Foundation for Trust Management Languages., und . PADL, Volume 2562 von Lecture Notes in Computer Science, Seite 58-73. Springer, (2003)Representation Independence and Data Abstraction.. POPL, Seite 263-276. ACM Press, (1986)