Krzysztof R. Apt
Papers
1
Total Citations
375
H-Index
1
About
No biography available yet.
Research Focus
Abstraction1 · 375 citations
Artificial intelligence1 · 375 citations
Computer science1 · 375 citations
Correctness1 · 375 citations
Decidability1 · 375 citations
Finite-state machine1 · 375 citations
Formal verification1 · 375 citations
Model checking1 · 375 citations
Operational semantics1 · 375 citations
Probabilistic logic1 · 375 citations
Programming language1 · 375 citations
Robot1 · 375 citations
Key Achievements
1
H-Index
1
Papers
375
Total Citations
375
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: 1
🏛 Institutions: IBM Research - Thomas J. Watson Research Center
Top Papers
- 1Limits for automatic verification of finite-state concurrent systems375 citations · 1986
Key Collaborators
Not generated yet