Ji‐Cheng Zhao
论文数
2
总引用数
20
H-Index
2
关于
暂无简介。
研究焦点
Computer science2 · 20 次引用
Programming language2 · 20 次引用
CTL*2 · 20 次引用
Temporal logic2 · 20 次引用
Theoretical computer science2 · 20 次引用
Simple (philosophy)1 · 13 次引用
Branching (polymer chemistry)1 · 13 次引用
Extension (predicate logic)1 · 13 次引用
Formal language1 · 7 次引用
Determinism1 · 7 次引用
Epistemology1 · 7 次引用
Artificial intelligence1 · 7 次引用
主要成就
2
H 指数
2
论文
20
总引用数
10
篇均引用
🏆 最高被引论文
Goal specification in presence of non-deterministic actions
13 次引用 · 2004
📈 最高产年份: 2004 (1 论文)
🤝 主要合作者: 1
🏛 所属机构: Arizona State University
代表论文
- 1
- 2
主要合作者
尚未生成