Alan Jeffrey

Cited by

	All	Since 2017
Citations	2743	469
h-index	28	11
i10-index	52	13

200

100

150

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120228 14 14 10 24 28 21 32 42 22 50 68 107 133 181 175 158 153 137 100 121 138 117 128 123 90 71 76 98 65 117 41

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

James RielyProfessor of Computing, DePaul UniversityVerified email at cs.depaul.edu
Radha JagadeesanVerified email at cs.depaul.edu
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
Julian RathkeUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Corin PitcherAssociate Professor of Computer Science, DePaul UniversityVerified email at cdm.depaul.edu
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Ian WakemanUniversity of SussexVerified email at sussex.ac.uk
Glenn BrunsCalifornia State University Monterey BayVerified email at csumb.edu
Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Guy LeducProfessor of Computer Science, Université de Liège, Montefiore Institute, BelgiumVerified email at ulg.ac.be
William FerreiraUCLVerified email at ucl.ac.uk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyVerified email at surrey.ac.uk
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Craig DisselkoenUC San DiegoVerified email at cs.ucsd.edu
Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de ParisVerified email at irif.fr
Peter F. Patel-SchneiderPARCVerified email at parc.com
Frank MittelbachLaTeX ProjectVerified email at latex-project.org
Peter J. DanielsenVerified email at uwalumni.com
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu

Alan Jeffrey

Roblox

Verified email at roblox.com - Homepage

Programming Languages Type Systems Security Concurrency Reactive Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	333	2003
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE, 77-91, 2002	208	2002
Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely Computer Security–ESORICS 2009, 152-167, 2009	139	2009
Java Jr: Fully abstract trace semantics for a core Java language A Jeffrey, J Rathke Programming Languages and Systems, 423-438, 2005	124	2005
A fully abstract may testing semantics for concurrent objects A Jeffrey, J Rathke IEEE Logic in Computer Science, 101-112, 2002	110	2002
Contextual equivalence for higher-order pi-calculus revisited A Jeffrey, J Rathke Logical Methods in Computer Science 1 (1), 2005	87	2005
Model checking firewall policy configurations A Jeffrey, T Samak 2009 IEEE International Symposium on Policies for Distributed Systems and …, 2009	86	2009
A calculus of untyped aspect-oriented programs R Jagadeesan, A Jeffrey, J Riely ECOOP 2003--Object-Oriented Programming, 54-73, 2003	86	2003
Typing correspondence assertions for communication protocols AD Gordon, A Jeffrey Theoretical Computer Science 300 (1-3), 379-409, 2003	83	2003
A theory of weak bisimulation for core CML W Ferreira, M Hennessy, A Jeffrey Journal of Functional Programming 8 (05), 447-491, 1998	81	1998
LTL types FRP: Linear-time Temporal Logic Propositions as Types, Proofs as Functional Reactive Programs A Jeffrey ACM Workshop Programming Languages meets Program Verification, 2012	73	2012
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory A Jeffrey, J Riely IEEE Logic in Computer Science, 2016	70*	2016
Towards a theory of bisimulation for local names A Jeffrey, J Rathke Logic in Computer Science, 1999. Proceedings. 14th Symposium on, 56-66, 1999	67	1999
Pattern-matching spi-calculus C Haack, A Jeffrey Formal Aspects in Security and Trust, 55-70, 2005	59	2005
μABC: A minimal aspect calculus G Bruns, R Jagadeesan, A Jeffrey, J Riely CONCUR 2004-Concurrency Theory, 209-224, 2004	59	2004
Typed parametric polymorphism for aspects R Jagadeesan, A Jeffrey, J Riely Science of Computer Programming 63 (3), 267-296, 2006	51	2006
Secrecy despite compromise: Types, cryptography, and the pi-calculus A Gordon, A Jeffrey CONCUR 2005–Concurrency Theory, 186-201, 2005	51	2005
A theory of bisimulation for a fragment of concurrent ML with local names A Jeffrey, J Rathke Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on …, 2000	49*	2000
A Theory of Weak Bisimulation for Core CML A Jeffrey Proceedings of the 1996 ACM SIGPLAN International Conference on Functional …, 1996	49*	1996
Typing correspondence assertions for communication protocols AD Gordon, A Jeffrey Electronic Notes in Theoretical Computer Science 45, 119-140, 2001	47	2001

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