( en | de | ru )

 

Disambiguierung von "Abadi, Martín"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Composing Specifications.

, und . REX Workshop, Volume 430 von Lecture Notes in Computer Science, Seite 1-41. Springer, (1989)

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.

Ardeschir Abadi

Schirin Susanne Abadian

Mehdi Abadi

Aydin Abadi

Eskandar Abadi

 

Weitere Publikationen von Autoren mit dem selben Namen

A Logical View of Composition and Refinement., und . POPL, Seite 323-332. ACM Press, (1991)Adversarial Patch, , , , und . (2017)cite arxiv:1712.09665.On Subtyping and Matching., und . ECOOP, Volume 952 von Lecture Notes in Computer Science, Seite 145-167. Springer, (1995)The Geometry of Optimal Lambda Reduction., , und . POPL, Seite 15-26. ACM Press, (1992)Explicit Substitutions., , , und . POPL, Seite 31-46. ACM Press, (1990)Language-Based Enforcement of Privacy Policies., und . Privacy Enhancing Technologies, Volume 3424 von Lecture Notes in Computer Science, Seite 302-313. Springer, (2004)Deciding Knowledge in Security Protocols Under Equational Theories., und . ICALP, Volume 3142 von Lecture Notes in Computer Science, Seite 46-58. Springer, (2004)Secrecy Types for Asymmetric Communication., und . FoSSaCS, Volume 2030 von Lecture Notes in Computer Science, Seite 25-41. Springer, (2001)Types for Safe Locking., und . ESOP, Volume 1576 von Lecture Notes in Computer Science, Seite 91-108. Springer, (1999)Certified email with a light on-line trusted third party: design and implementation., und . WWW, Seite 387-395. ACM, (2002)