( en | de | ru )

 

Disambiguierung von "Gordon, Andrew D."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Robust Malware Classifiers by Verifying Unwanted Behaviours.

, , , , und . IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 326-341. Springer, (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.

Gordon D Hill

Andrew D Clarke

Gordon Krenz

Gordon Weinberg

Gordon Whittaker

 

Weitere Publikationen von Autoren mit dem selben Namen

Ambient Groups and Mobility Types., , und . IFIP TCS, Volume 1872 von Lecture Notes in Computer Science, Seite 333-347. Springer, (2000)Service Combinators for Farming Virtual Machines., , und . TGC, Volume 4912 von Lecture Notes in Computer Science, Seite 22. Springer, (2007)Validating a Web service security abstraction by typing., und . XML Security, Seite 18-29. ACM, (2002)Equational Properties of Mobile Ambients., und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 212-226. Springer, (1999)Bayesian inference using data flow analysis., , , , und . ESEC/SIGSOFT FSE, Seite 92-102. ACM, (2013)A Mechanisation of Name-Carrying Syntax up to Alpha-Conversion.. HUG, Volume 780 von Lecture Notes in Computer Science, Seite 413-425. Springer, (1993)Bisimilarity for a First-Order Calculus of Objects with Subtyping., und . POPL, Seite 386-395. ACM Press, (1996)Service Combinators for Farming Virtual Machines., , und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 33-49. Springer, (2008)Design and Semantics of a Decentralized Authorization Language., , und . CSF, Seite 3-15. IEEE Computer Society, (2007)Authenticity by Typing for Security Protocols., und . CSFW, Seite 145-159. IEEE Computer Society, (2001)