Concepedia

Peter J. McCann

PJ

Statistics

Publications

11

Citations

505

H-Index

11

Active since

1997

Affiliations

Washington University in St. Louis(Current)

Nokia (United States)

Peter J. McCann is an author at Washington University in St. Louis specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsMobile ComputingFormal VerificationProgram AnalysisSoftware AnalysisVerificationEdge ComputingSoftware Design

Publications per year

1997–2010

11

Publications

11

Mobile UNITY

Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun · ACM Transactions on Software Engineering and Methodology · 1997 · 111 citations · Full text

Engineering, Distributed Computing, Network Communication Protocol +11

Peter J. McCann, Satish Chandra · ACM SIGCOMM Computer Communication Review · 2000 · 89 citations · Full text

Hardware Security, Networking Code, Engineering +14

Compositional programming abstractions for mobile computing

Peter J. McCann, G.-C. Roman · IEEE Transactions on Software Engineering · 1998 · 86 citations · Full text

Mobile Components, Engineering, Mobile Connectivity +20

Peter J. McCann, Satish Chandra · 2000 · 47 citations

What packets may come

Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann et al. · 2001 · 28 citations

Engineering, Network Protocol, Verification +16

1–5 of 11