Dexter Kozen

IBM Research - Thomas J. Watson Research Center

论文数

2

总引用数

392

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

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

代表论文

  1. 1
    Limits for automatic verification of finite-state concurrent systems
    375 次引用 · 1986
  2. 2
    Parallel Resultant Computation
    17 次引用 · 1990

主要合作者

DIDoug Ierardi1 篇合著论文KRKrzysztof R. Apt1 篇合著论文
尚未生成