Andrew D Gordon - Google Scholar Citations

Cited by

	All	Since 2014
Citations	14341	2988
h-index	59	29
i10-index	121	62

980

490

245

735

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201959 91 146 271 331 413 467 586 755 844 966 898 888 810 858 724 663 655 569 581 568 532 463 472 365

Co-authors

Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Karthikeyan BhargavanINRIAVerified email at inria.fr
Johannes BorgströmDocent in computing science, Uppsala UniversityVerified email at it.uu.se
Giorgio GhelliVerified email at di.unipi.it
Martin AbadiPrincipal Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Alan JeffreyMozilla ResearchVerified email at mozilla.com
Simon Peyton JonesMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Aditya NoriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Thore GraepelResearch Scientist, Google DeepMind, and Professor of Computer Science, UCLVerified email at ucl.ac.uk
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Don SymeMicrosoft ResearchVerified email at microsoft.com
Jan JürjensUniversität Koblenz-LandauVerified email at jurjens.de
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Kevin HammondUniversity of St AndrewsVerified email at kevinhammond.net
Gavin BiermanOracleVerified email at oracle.com
Michael GreenbergPomona College - Computer ScienceVerified email at pomona.edu

Andrew D Gordon

Microsoft Research and University of Edinburgh

Verified email at microsoft.com - Homepage

Programming Languages Security Probabilistic Programming


Title	Cited by	Year
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	2376	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Information and computation 148 (1), 1-70, 1999	1960	1999
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	1521	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	552	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	494	2000
Authenticity by typing for security protocols 1 AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	306	2003
Experience with embedding hardware description languages in HOL. RJ Boulton, AD Gordon, MJC Gordon, J Harrison, J Herbert, J Van Tassel TPCD 10, 129-156, 1992	262	1992
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Proceedings of the on Future of Software Engineering, 167-181, 2014	254	2014
Refinement types for secure implementations J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 8, 2011	253	2011
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	251	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	251	1999
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon International Colloquium on Automata, Languages, and Programming, 230-239, 1999	202	1999
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	199	1998
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	197	2004
Design and semantics of a decentralized authorization language M Becker, C Fournet, A Gordon 20th IEEE Computer Security Foundations Symposium (CSF'07), 3-15, 2007	192	2007
Functional programming and input/output AD Gordon Cambridge University Press, 1994	192	1994
Functional programming and input/output AD Gordon Cambridge University Press, 1994	192	1994
Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse 19th IEEE Computer Security Foundations Workshop (CSFW'06), 14 pp.-152, 2006	180	2006
Verifier to check intermediate language A Gordon, D Syme, J Forbes, VP Morrison US Patent 6,560,774, 2003	170	2003
Higher order operational techniques in semantics N Negroponte Cambridge University Press, 1998	154	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors