Robert P. Kurshan - Concepedia

Author

Robert P. Kurshan

Also Known As

Kurshan, Robert, Kurshan, Robert P., R. Kurshan, R. P. KURSHAN, R. P. Kurshan, R.P Kurshan, R.P. Kurshan, Robert Kurshan, Robert P. Kurshan, Serdar Tasiran

118

Publications

3.4K

Citations

H-Index

Concepts

All Affiliations

AT&T (United States)Nokia (United States)Carnegie Mellon University Technion – Israel Institute of Technology University of California, Berkeley

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	19	1K
2	Business	1	1	58
3	Education	1	1	16
4	Language Studies	1	1	28
5	Communication	1	1	71

Robert P. Kurshan

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
A structural induction theorem for processes Robert P. Kurshan, Kenneth L. McMillan EngineeringProcesses AuthorsMining MethodsInductive InferenceCausal Inference	1989	164
Computer-aided verification E. M. Clarke, Robert P. Kurshan IEEE Spectrum EngineeringAutomated ReasoningProgram AnalysisMechanical VerificationVerification	1996	152
Software for Analytical Development of Communications Protocols Zvi Har'el, Robert P. Kurshan AT&T Technical Journal EngineeringLogical TestingAnalytical DevelopmentVerificationSoftware Engineering	1990	101
Timing Verification by Successive Approximation Rajeev Alur, Alon Itai, Robert P. Kurshan, Information and Computation EngineeringTiming AnalysisSuccessive ApproximationVerificationFormal Methods	1995	90
Analysis of digital circuits through symbolic reduction Robert P. Kurshan, Kenneth L. McMillan IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Circuit ComplexityEngineeringHomomorphic TransformationsVerificationComputer-aided Verification	1991	90
A Structural Induction Theorem for Processes Robert P. Kurshan, Kenneth L. McMillan Information and Computation EngineeringStructural Induction TheoremInductive InferenceAutomated ReasoningProbability Theory	1995	71
Formal verification in a commercial setting Robert P. Kurshan TechnologyEngineeringAutomated ReasoningMechanical VerificationSoftware Testing	1997	71
A Calculus for Protocol Specification and Validation. Sudhir Aggarwal, Robert P. Kurshan, Krishan Sabnani Biological Trace Element Research	1983	69
Rings whose cyclic modules have finitely generated socle Robert P. Kurshan Journal of Algebra Abstract AlgebraCommutative AlgebraCyclic ModulesRing Theory	1970	65
On the Addressing Problem of Loop Switching L. Brandenburg, B. Gopinath, Robert P. Kurshan Bell System Technical Journal Mathematical ProgrammingComputational Complexity TheoryEngineeringNetwork OperationComputer Architecture	1972	58

Page 1