James Riely

Citado por

	Total	Desde 2020
Citas	2405	327
Índice h	23	10
Índice i10	39	10

200

100

150

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 6 8 15 49 63 73 81 103 125 137 183 134 133 115 78 73 75 85 69 72 72 68 54 62 84 45 85 75 46 54 21

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
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
Glenn BrunsCalifornia State University Monterey BayDirección de correo verificada de csumb.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	292	2002
Resource access control in systems of mobile agents M Hennessy, J Riely Electronic Notes in Theoretical Computer Science 16 (3), 174-188, 1998	209	1998
A typed language for distributed mobile processes J Riely, M Hennessy Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998	208	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	148	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	110	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	99	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	89	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	71	1997
Distributed processes and location failures J Riely, M Hennessy Theoretical Computer Science 266 (1-2), 693-735, 2001	70	2001
Local memory via layout randomization R Jagadeesan, C Pitcher, J Rathke, J Riely 2011 IEEE 24th Computer Security Foundations Symposium, 161-174, 2011	61	2011
Testing-based abstractions for value-passing systems R Cleaveland, J Riely CONCUR'94: 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	54	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	47	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	32	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