( en | de | ru )

 

Disambiguierung von "Abadi, Martín"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning to Protect Communications with Adversarial Neural Cryptography.

, und . CoRR, (2016)

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

Dynamic Typing in Polymorphic Languages., , , und . J. Funct. Program., 5 (1): 111-130 (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)Adversarial Patch, , , , und . (2017)cite arxiv:1712.09665.An Old-Fashined Recipe for Real-Time., und . ACM Trans. Program. Lang. Syst., 16 (5): 1543-1571 (1994)On Subtyping and Matching., und . ACM Trans. Program. Lang. Syst., 18 (4): 401-423 (1996)A Logical View of Composition and Refinement., und . POPL, Seite 323-332. ACM Press, (1991)Methods as Assertions., und . Theory Pract. Object Syst., 1 (1): 5-18 (1995)Secure Circuit Evaluation., und . J. Cryptol., 2 (1): 1-12 (1990)Automated verification of selected equivalences for security protocols., , und . J. Log. Algebraic Methods Program., 75 (1): 3-51 (2008)