Alan Jeffrey

Citée par

	Toutes	Depuis 2017
Citations	2743	469
indice h	28	11
indice i10	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

Accès public

Tout afficher

3 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

James RielyProfessor of Computing, DePaul UniversityAdresse e-mail validée de cs.depaul.edu
Radha JagadeesanAdresse e-mail validée de cs.depaul.edu
Andrew D GordonMicrosoft Research and University of EdinburghAdresse e-mail validée de microsoft.com
Julian RathkeUniversity of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
Corin PitcherAssociate Professor of Computer Science, DePaul UniversityAdresse e-mail validée de cdm.depaul.edu
matthew hennessyProfessor of Computer ScienceAdresse e-mail validée de cs.tcd.ie
Ian WakemanUniversity of SussexAdresse e-mail validée de sussex.ac.uk
Glenn BrunsCalifornia State University Monterey BayAdresse e-mail validée de csumb.edu
Michael BenediktProfessor of Computer Science, Oxford UniversityAdresse e-mail validée de cs.ox.ac.uk
Guy LeducProfessor of Computer Science, Université de Liège, Montefiore Institute, BelgiumAdresse e-mail validée de ulg.ac.be
William FerreiraUCLAdresse e-mail validée de ucl.ac.uk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaAdresse e-mail validée de ru.is
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyAdresse e-mail validée de surrey.ac.uk
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityAdresse e-mail validée de cs.ru.nl
Craig DisselkoenUC San DiegoAdresse e-mail validée de cs.ucsd.edu
Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de ParisAdresse e-mail validée de irif.fr
Peter F. Patel-SchneiderPARCAdresse e-mail validée de parc.com
Frank MittelbachLaTeX ProjectAdresse e-mail validée de latex-project.org
Peter J. DanielsenAdresse e-mail validée de uwalumni.com
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu

Suivre

Alan Jeffrey

Roblox

Adresse e-mail validée de roblox.com - Page d'accueil

Programming Languages Type Systems Security Concurrency Reactive Programming


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs