Concepedia

James Riely

JR

21

Publications

1.1K

Citations

17

H-Index

1998

Active since

Affiliations

DePaul University(Current)

University of Sussex

North Carolina State University

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

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSoftware AnalysisVerificationSystem SoftwareAutomated ReasoningComputer Engineering

Publications per year

1998–2022

21

Publications

21

Resource Access Control in Systems of Mobile Agents

Matthew Hennessy, James Riely · Information and Computation · 2002 · 258 citations

Agent-based System, Engineering, Mobile Agent +8

Information flow vs. resource access in the asynchronous pi-calculus

Matthew Hennessy, James Riely · ACM Transactions on Programming Languages and Systems · 2002 · 99 citations · Full text

Engineering, Information Security, Software Analysis +21

Resource Access Control in Systems of Mobile Agents

Matthew Hennessy, James Riely · Electronic Notes in Theoretical Computer Science · 1998 · 90 citations · Full text

Engineering, Autonomous Agent System, Formal Verification +19

A typed language for distributed mobile processes (extended abstract)

James Riely, Matthew Hennessy · 1998 · 89 citations

Engineering, Verification, Software Engineering +19

Trust and partial typing in open systems of mobile agents

James Riely, Matthew Hennessy · 1999 · 88 citations

Partial Typing, Engineering, Information Security +29

Rows per page

1–5 of 21