James Riely - Concepedia

Author

James Riely

DePaul University ORCID

Also Known As

J.W. Riely, JAMES RIELY, James Riely, Riely, James

Publications

1.7K

Citations

H-Index

Concepts

All Affiliations

DePaul University University of Sussex North Carolina State University

About

James Riely is an author at DePaul University specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	18	1.1K
2	Business	4	4	459
3	Communication	3	3	138
4	Language Studies	1	1	18
5	Social Sciences	1	1	54

James Riely

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Resource Access Control in Systems of Mobile Agents Matthew Hennessy, James Riely Information and Computation Agent-based SystemEngineeringMobile AgentAutomationBusiness	2002	258
Information flow vs. resource access in the asynchronous pi-calculus Matthew Hennessy, James Riely ACM Transactions on Programming Languages and Systems EngineeringInformation SecuritySoftware AnalysisResource AccessFormal Verification	2002	99
Resource Access Control in Systems of Mobile Agents Matthew Hennessy, James Riely Electronic Notes in Theoretical Computer Science EngineeringAutonomous Agent SystemFormal VerificationAgent-based SystemResource Access Control	1998	90
A typed language for distributed mobile processes (extended abstract) James Riely, Matthew Hennessy EngineeringVerificationSoftware EngineeringPermissions.a Type SystemFormal Verification	1998	89
Trust and partial typing in open systems of mobile agents James Riely, Matthew Hennessy Partial TypingEngineeringInformation SecurityVerificationPartially-typed Semantics	1999	88
Distributed processes and location failures James Riely, Matthew Hennessy Theoretical Computer Science Reliability EngineeringEngineeringLocation FailuresSystems EngineeringHigh Availability	2001	80
Specifications of a high-level conflict-free firewall policy language for multi-domain networks Bin Zhang, Ehab Al‐Shaer, Radha Jagadeesan, EngineeringInformation SecurityNext-generation FirewallNetwork AnalysisFormal Verification	2007	76
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory Alan Jeffrey, James Riely EngineeringComputer ArchitectureCognitionMemory Model (Programming)Software Analysis	2016	54
Local Memory via Layout Randomization Radha Jagadeesan, Corin Pitcher, Julian Rathke, EngineeringPlot KinInformation SecurityComputer ArchitectureLocal Memory	2011	43
Typed parametric polymorphism for aspects Radha Jagadeesan, Alan Jeffrey, James Riely Science of Computer Programming Automated ReasoningPolymorphism (Computer Science)Type TheoryTyped Parametric PolymorphismType System	2006	38

Page 1