Robert P. Kurshan
Papers
2
Total Citations
53
H-Index
2
About
No biography available yet.
Research Focus
Software engineering2 · 53 citations
Model checking2 · 53 citations
Computer science2 · 53 citations
Software2 · 53 citations
Programming language2 · 53 citations
Theoretical computer science1 · 39 citations
Unified Modeling Language1 · 39 citations
Object-oriented analysis and design1 · 39 citations
Formal methods1 · 39 citations
Executable1 · 39 citations
Automaton1 · 39 citations
Software design1 · 39 citations
Key Achievements
2
H-Index
2
Papers
53
Total Citations
27
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
39 citations · 2001
📈 Most Prolific Year: 2001 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Providence College
Top Papers
- 1
- 2Lessons Learned from Model Checking a NASA Robot Controller14 citations · 2004
Key Collaborators
Not generated yet