Dexter Kozen
Papers
2
Total Citations
392
H-Index
2
About
No biography available yet.
Research Focus
Operational semantics1 · 375 citations
Programming language1 · 375 citations
Abstraction1 · 375 citations
Model checking1 · 375 citations
Probabilistic logic1 · 375 citations
Computer science1 · 375 citations
Correctness1 · 375 citations
Decidability1 · 375 citations
Artificial intelligence1 · 375 citations
Finite-state machine1 · 375 citations
Formal verification1 · 375 citations
Robot1 · 375 citations
Key Achievements
2
H-Index
2
Papers
392
Total Citations
196
Avg Citations/Paper
🏆 Most Cited Paper
Limits for automatic verification of finite-state concurrent systems
375 citations · 1986
📈 Most Prolific Year: 1986 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: IBM Research - Thomas J. Watson Research Center
Top Papers
- 1Limits for automatic verification of finite-state concurrent systems375 citations · 1986
- 2Parallel Resultant Computation17 citations · 1990
Key Collaborators
Not generated yet