James Riely

Citado por

	Total	Desde 2019
Citas	2377	399
Índice h	22	12
Índice i10	38	14

200

100

150

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 6 8 14 51 62 74 82 104 119 132 183 134 129 119 80 72 72 86 67 72 74 66 55 60 85 50 86 79 42 56

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Radha JagadeesanProfessor. School of Computing.Dirección de correo verificada de depaul.edu
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Corin PitcherAssociate Professor of Computer Science, DePaul UniversityDirección de correo verificada de cdm.depaul.edu
Alan JeffreyRobloxDirección de correo verificada de roblox.com
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillDirección de correo verificada de cs.unc.edu
Brijesh DongolUniversity of SurreyDirección de correo verificada de surrey.ac.uk
Glenn BrunsCalifornia State University Monterey BayDirección de correo verificada de csumb.edu
Ehab Al-ShaerCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Lars NylandArchitect, NVIDIA CorporationDirección de correo verificada de nvidia.com
Julian RathkeUniversity of SouthamptonDirección de correo verificada de ecs.soton.ac.uk
Rance CleavelandDepartment of Computer Science, University of MarylandDirección de correo verificada de cs.umd.edu
Craig DisselkoenUC San DiegoDirección de correo verificada de cs.ucsd.edu
Anton PodkopaevJetBrains Research, Constructor University BremenDirección de correo verificada de jetbrains.com
Simon CookseyResearch Scientist, NVIDIADirección de correo verificada de nvidia.com
Ilya KaysinUniversity of CambridgeDirección de correo verificada de cam.ac.uk
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Dirección de correo verificada de ncsu.edu

Seguir

James Riely

Professor of Computing, DePaul University

Dirección de correo verificada de cs.depaul.edu - Página principal

Programming Languages Semantics Concurrency Parallelism Security


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Resource access control in systems of mobile agents M Hennessy, J Riely Information and Computation 173 (1), 82-120, 2002	295	2002
A typed language for distributed mobile processes J Riely, M Hennessy Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	203	1998
Resource access control in systems of mobile agents M Hennessy, J Riely Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998	202	1998
Towards a theory of accountability and audit R Jagadeesan, A Jeffrey, C Pitcher, J Riely Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009	149	2009
Trust and partial typing in open systems of mobile agents J Riely, M Hennessy Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	117	1999
Specifications of a high-level conflict-free firewall policy language for multi-domain networks B Zhang, E Al-Shaer, R Jagadeesan, J Riely, C Pitcher Proceedings of the 12th ACM symposium on Access control models and …, 2007	115	2007
Information flow vs. resource access in the asynchronous pi-calculus M Hennessy, J Riely Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000	108	2000
Information flow vs. resource access in the asynchronous pi-calculus M Hennessy, J Riely ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (5), 566-591, 2002	98	2002
On thin air reads towards an event structures model of relaxed memory A Jeffrey, J Riely Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016	88	2016
A calculus of untyped aspect-oriented programs R Jagadeesan, A Jeffrey, J Riely ECOOP 2003–Object-Oriented Programming: 17th European Conference, Darmstadt …, 2003	86	2003
Distributed processes and location failures J Riely, M Hennessy International Colloquium on Automata, Languages, and Programming, 471-481, 1997	73	1997
Distributed processes and location failures J Riely, M Hennessy Theoretical Computer Science 266 (1-2), 693-735, 2001	66	2001
Local memory via layout randomization R Jagadeesan, C Pitcher, J Rathke, J Riely 2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011	60	2011
Testing-based abstractions for value-passing systems R Cleaveland, J Riely International Conference on Concurrency Theory, 417-432, 1994	59	1994
μABC: A Minimal Aspect Calculus G Bruns, R Jagadeesan, A Jeffrey, J Riely CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004	57	2004
Generative operational semantics for relaxed memory models R Jagadeesan, C Pitcher, J Riely Programming Languages and Systems: 19th European Symposium on Programming …, 2010	56	2010
Type-safe execution of mobile agents in anonymous networks M Hennessy, J Riely Secure Internet Programming: Security Issues for Mobile and Distributed …, 1999	53	1999
Typed parametric polymorphism for aspects R Jagadeesan, A Jeffrey, J Riely Science of Computer Programming 63 (3), 267-296, 2006	52	2006
Pomsets with preconditions: a simple model of relaxed memory R Jagadeesan, A Jeffrey, J Riely Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020	41	2020
The code that never ran: Modeling attacks on speculative evaluation C Disselkoen, R Jagadeesan, A Jeffrey, J Riely 2019 IEEE Symposium on Security and Privacy (S&P), 1238-1255, 2019	35	2019

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores