Ji‐Cheng Zhao
Papers
2
Total Citations
20
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 20 citations
Programming language2 · 20 citations
CTL*2 · 20 citations
Temporal logic2 · 20 citations
Theoretical computer science2 · 20 citations
Simple (philosophy)1 · 13 citations
Branching (polymer chemistry)1 · 13 citations
Extension (predicate logic)1 · 13 citations
Formal language1 · 7 citations
Determinism1 · 7 citations
Epistemology1 · 7 citations
Artificial intelligence1 · 7 citations
Key Achievements
2
H-Index
2
Papers
20
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Goal specification in presence of non-deterministic actions
13 citations · 2004
📈 Most Prolific Year: 2004 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Arizona State University
Top Papers
- 1Goal specification in presence of non-deterministic actions13 citations · 2004
- 2Goal specification, non-determinism and quantifying over policies7 citations · 2006
Key Collaborators
Not generated yet