Andrew D Gordon

Cited by

	All	Since 2018
Citations	16713	2889
h-index	62	25
i10-index	139	64

1000

500

250

750

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202343 59 96 175 284 336 400 453 655 743 884 992 884 870 833 842 754 665 663 566 592 588 572 495 500 583 480 410 448 468

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

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ömAssociate professor in computing science, Uppsala UniversityVerified email at it.uu.se
Giorgio GhelliVerified email at di.unipi.it
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Alan JeffreyRobloxVerified email at roblox.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.ac.uk
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Thore GraepelGlobal Lead Computational Science, AI & ML at Altos Labs and Chair of Machine Learning, UCLVerified email at ucl.ac.uk
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Don SymeMicrosoft ResearchVerified email at microsoft.com
Gavin BiermanOracleVerified email at oracle.com
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Daniel TarlowResearch Scientist, Google Brain - MontrealVerified email at cs.toronto.edu

Andrew D Gordon

Microsoft Research and University of Edinburgh

Verified email at microsoft.com - Homepage

Programming Languages Security Probabilistic Programming Spreadsheets


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	2618	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Proceedings of the 4th ACM Conference on Computer and Communications …, 1997	2104	1997
Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998	1634	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	635	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	538	2000
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	468	2014
SecPAL: Design and semantics of a decentralized authorization language MY Becker, C Fournet, AD Gordon Journal of Computer Security 18 (4), 619-665, 2010	455	2010
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	344	2003
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), 1-45, 2011	321	2011
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	298	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	269	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	269	1999
Bimodal modelling of source code and natural language M Allamanis, D Tarlow, A Gordon, Y Wei International conference on machine learning, 2123-2132, 2015	231	2015
Verified interoperable implementations of security protocols K Bhargavan, C Fournet, AD Gordon, S Tse ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008	218	2008
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	217	2004
A bisimulation method for cryptographic protocols M Abadi, AD Gordon European Symposium on Programming, 12-26, 1998	217	1998
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999	211	1999
Functional programming and input/output AD Gordon Cambridge University Press, 1994	207	1994
Functional programming and input/output AD Gordon Cambridge University Press, 1994	207	1994
Verifying intermediate language code D Syme, A Gordon, JA Forbes, VP Morrison US Patent 6,851,108, 2005	183	2005

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

Follow

Cited by

Co-authors