Concepedia

Robert P. Kurshan

RP

27

Publications

1.3K

Citations

16

H-Index

1970

Active since

Affiliations

AT&T (United States)(Current)

Nokia (United States)

Carnegie Mellon University

Technion – Israel Institute of Technology

University of California, Berkeley

Robert P. Kurshan is an author at AT&T (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationAutomated ReasoningFormal VerificationComputer EngineeringProgram AnalysisSoftware AnalysisSystems Engineering

Publications per year

1970–2004

27

Publications

27

A structural induction theorem for processes

Robert P. Kurshan, Kenneth L. McMillan · 1989 · 164 citations · Full text

Engineering, Processes Authors, Mining Methods +16

Computer-aided verification

E. M. Clarke, Robert P. Kurshan · IEEE Spectrum · 1996 · 152 citations

Engineering, Automated Reasoning, Program Analysis +13

Software for Analytical Development of Communications Protocols

Zvi Har'el, Robert P. Kurshan · AT&T Technical Journal · 1990 · 101 citations

Engineering, Logical Testing, Analytical Development +22

Timing Verification by Successive Approximation

Rajeev Alur, Alon Itai, Robert P. Kurshan et al. · Information and Computation · 1995 · 90 citations

Engineering, Timing Analysis, Successive Approximation +8

Analysis of digital circuits through symbolic reduction

Robert P. Kurshan, Kenneth L. McMillan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1991 · 90 citations

Circuit Complexity, Engineering, Homomorphic Transformations +22

Rows per page

1–5 of 27