Alan Jeffrey 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2909	481
h 指数	29	13
i10 指数	53	15

180

135

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 14 9 24 32 22 31 46 21 53 73 105 134 180 172 156 163 136 93 118 142 120 124 120 86 69 73 99 67 114 93 71 36

开放获取的出版物数量

查看全部

3 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

James RielyProfessor of Computing, DePaul University在 cs.depaul.edu 的电子邮件经过验证
Radha JagadeesanProfessor. School of Computing.在 depaul.edu 的电子邮件经过验证
Andrew D GordonMicrosoft Research and University of Edinburgh在 microsoft.com 的电子邮件经过验证
Julian RathkeUniversity of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Corin PitcherAssociate Professor of Computer Science, DePaul University在 cdm.depaul.edu 的电子邮件经过验证
matthew hennessyProfessor of Computer Science在 cs.tcd.ie 的电子邮件经过验证
Ian WakemanUniversity of Sussex在 sussex.ac.uk 的电子邮件经过验证
Guy LeducProfessor of Computer Science, Université de Liège, Montefiore Institute, Belgium在 ulg.ac.be 的电子邮件经过验证
Glenn BrunsCalifornia State University Monterey Bay在 csumb.edu 的电子邮件经过验证
Michael BenediktProfessor of Computer Science, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
William FerreiraUCL在 ucl.ac.uk 的电子邮件经过验证
Frank MittelbachLaTeX Project在 latex-project.org 的电子邮件经过验证
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila在 ru.is 的电子邮件经过验证
Craig DisselkoenUC San Diego在 cs.ucsd.edu 的电子邮件经过验证
Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de Paris在 irif.fr 的电子邮件经过验证
Vijay K. GurbaniIllinois Institute of Technology / Vail Systems在 iit.edu 的电子邮件经过验证
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surrey在 surrey.ac.uk 的电子邮件经过验证
Frits W. VaandragerProfessor of Computer Science, Radboud University在 cs.ru.nl 的电子邮件经过验证
Cormac FlanaganProfessor of Computer Science, University of California Santa Cruz在 ucsc.edu 的电子邮件经过验证
Tim DisneyUniversity of California Santa Cruz在 ucsc.edu 的电子邮件经过验证

关注

Alan Jeffrey

Roblox

在 roblox.com 的电子邮件经过验证 - 首页

Programming Languages Type Systems Security Concurrency Reactive Programming


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Authenticity by typing for security protocols AD Gordon, A Jeffrey Journal of computer security 11 (4), 451-519, 2003	345	2003
Types and effects for asymmetric cryptographic protocols AD Gordon, A Jeffrey Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE, 77-91, 2002	219	2002
Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely Computer Security–ESORICS 2009, 152-167, 2009	148	2009
Java Jr: Fully abstract trace semantics for a core Java language A Jeffrey, J Rathke Programming Languages and Systems, 423-438, 2005	130	2005
A fully abstract may testing semantics for concurrent objects A Jeffrey, J Rathke IEEE Logic in Computer Science, 101-112, 2002	107	2002
Model checking firewall policy configurations A Jeffrey, T Samak 2009 IEEE International Symposium on Policies for Distributed Systems and …, 2009	94	2009
A theory of weak bisimulation for core CML W Ferreira, M Hennessy, A Jeffrey Journal of Functional Programming 8 (05), 447-491, 1998	88	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	87	2012
A calculus of untyped aspect-oriented programs R Jagadeesan, A Jeffrey, J Riely ECOOP 2003--Object-Oriented Programming, 54-73, 2003	86	2003
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory A Jeffrey, J Riely IEEE Logic in Computer Science, 2016	84	2016
Contextual equivalence for higher-order pi-calculus revisited A Jeffrey, J Rathke Logical Methods in Computer Science 1 (1), 2005	84	2005
Typing correspondence assertions for communication protocols AD Gordon, A Jeffrey Theoretical Computer Science 300 (1-3), 379-409, 2003	77	2003
Towards a theory of bisimulation for local names A Jeffrey, J Rathke Logic in Computer Science, 1999. Proceedings. 14th Symposium on, 56-66, 1999	70	1999
μABC: A minimal aspect calculus G Bruns, R Jagadeesan, A Jeffrey, J Riely CONCUR 2004-Concurrency Theory, 209-224, 2004	57	2004
Pattern-matching spi-calculus C Haack, A Jeffrey Formal Aspects in Security and Trust, 55-70, 2005	56	2005
Typing correspondence assertions for communication protocols AD Gordon, A Jeffrey Electronic Notes in Theoretical Computer Science 45, 119-140, 2001	54	2001
Premonoidal categories and a graphical view of programs A Jeffrey	53	1997
Typed parametric polymorphism for aspects R Jagadeesan, A Jeffrey, J Riely Science of Computer Programming 63 (3), 267-296, 2006	52	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 Weak Bisimulation for Core CML A Jeffrey Proceedings of the 1996 ACM SIGPLAN International Conference on Functional …, 1996	51*	1996

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用