Robert P. Kurshan
Robert P. Kurshan publishes mostly in Software, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Software Testing and Debugging Techniques.
- World rank
- #183,824 of 1,633,909 ranked researchers
- Rank in United States
- #75,185 of 358,040
- Works
- 26
- Citations
- 145
- Citations per work
- 5.6
What does Robert P. Kurshan research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Software28% of their works
- 2Computational Theory and Mathematics24% of their works
- 3Computer Networks and Communications7% of their works
- 4Artificial Intelligence7% of their works
- 5Control and Systems Engineering7% of their works
- 6Industrial and Manufacturing Engineering3% of their works
Research topics
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Systems Engineering Methodologies and Applications
- Algorithms and Data Compression
- Advanced Software Engineering Methodologies
- Computability, Logic, AI Algorithms
Which keywords describe Robert P. Kurshan's research?
The keywords of their largest research topics: Architecture-Based Approach, Model Checking, Software Reliability Modeling, Symbolic Model Checker, Automated Testing, Complex Adaptive Systems, Domain-Specific Languages and Model-Based Systems Engineering.
- Suffix Arrays
- Computability
- Autonomic Computing
- Software Fault Localization
- Model-Based Systems Engineering
- Complex Adaptive Systems
- Symbolic Model Checker
- Model Checking
- Architecture-Based Approach
- Software Reliability Modeling
- Automated Testing
- Domain-Specific Languages
- Model-Driven Engineering
- Algorithmic Information Theory
- Compression
- Self-Adaptive Systems
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 16 words, with their numbers
- Architecture-Based Approach41 topic
- Model Checking41 topic
- Software Reliability Modeling41 topic
- Symbolic Model Checker41 topic
- Automated Testing21 topic
- Complex Adaptive Systems21 topic
- Domain-Specific Languages21 topic
- Model-Based Systems Engineering21 topic
- Model-Driven Engineering21 topic
- Software Fault Localization21 topic
- Algorithmic Information Theory11 topic
- Autonomic Computing11 topic
- Compression11 topic
- Computability11 topic
- Self-Adaptive Systems11 topic
- Suffix Arrays11 topic
Where does Robert P. Kurshan work?
Robert P. Kurshan's main affiliation in the publication record is Cadence Design Systems (United States), United States.
How many publications and citations does Robert P. Kurshan have?
Science Explorer counts 26 works and 145 citations for Robert P. Kurshan, ranking #183,824 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.