Andrew D Gordon

Cited by

	All	Since 2018
Citations	16464	2615
h-index	61	24
i10-index	134	56

1100

550

275

825

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202365 96 168 274 345 363 471 638 768 874 1037 909 875 832 835 749 646 687 566 597 601 554 502 499 582 480 411 461 182

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
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Giorgio GhelliVerified email at di.unipi.it
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Alan JeffreyRobloxVerified email at roblox.com
Claudio RussoMicrosoft Research LtdVerified email at microsoft.com
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Sergio MaffeisSenior Lecturer (Associate Professor) in Computer Security, Imperial College LondonVerified email at doc.ic.ac.uk
Charles SuttonGoogle, University of EdinburghVerified email at inf.ed.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
Don SymeMicrosoft ResearchVerified email at microsoft.com
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Jan JürjensUniversität Koblenz-Landau, GermanyVerified email at jurjens.de
Gavin BiermanOracleVerified email at oracle.com
Witold CharatonikProfessor of Computer Science, University of WrocławVerified email at cs.uni.wroc.pl
Kevin HammondTechnology Manager, IOHKVerified email at iohk.io

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 Foundations of Software Science and Computation Structures: First …, 1998	2614	1998
A calculus for cryptographic protocols: The spi calculus M Abadi, AD Gordon Proceedings of the 4th ACM Conference on Computer and Communications …, 1997	2111	1997
Mobile ambients L Cardelli, AD Gordon Foundations of Software Science and Computation Structures: First …, 1998	1637	1998
Concurrent haskell SP Jones, A Gordon, S Finne POPL 96, 295-308, 1996	627	1996
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	535	2000
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	452	2007
Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of Software Engineering Proceedings, 167-181, 2014	444	2014
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	340	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	311	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	295	1992
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	268	1999
Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	268	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	218	2015
A bisimulation method for cryptographic protocols M Abadi, AD Gordon Programming Languages and Systems: 7th European Symposium on Programming …, 2006	217	2006
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Journal of Computer Security 12 (3-4), 435-483, 2004	214	2004
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	213	2008
Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon ICALP 99, 230-239, 1999	212	1999
Functional programming and input/output AD Gordon Cambridge University Press, 1994	208	1994
Functional programming and input/output AD Gordon Cambridge University Press, 1994	208	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