Krzysztof R. Apt

IBM Research - Thomas J. Watson Research Center

论文数

1

总引用数

375

H-Index

1

关于

暂无简介。

研究焦点

Abstraction1 · 375 次引用
Artificial intelligence1 · 375 次引用
Computer science1 · 375 次引用
Correctness1 · 375 次引用
Decidability1 · 375 次引用
Finite-state machine1 · 375 次引用
Formal verification1 · 375 次引用
Model checking1 · 375 次引用
Operational semantics1 · 375 次引用
Probabilistic logic1 · 375 次引用
Programming language1 · 375 次引用
Robot1 · 375 次引用

主要成就

1
H 指数
1
论文
375
总引用数
375
篇均引用
🏆 最高被引论文
Limits for automatic verification of finite-state concurrent systems
375 次引用 · 1986
📈 最高产年份: 1986 (1 论文)
🤝 主要合作者: 1
🏛 所属机构: IBM Research - Thomas J. Watson Research Center

代表论文

  1. 1
    Limits for automatic verification of finite-state concurrent systems
    375 次引用 · 1986

主要合作者

DKDexter Kozen1 篇合著论文
尚未生成