Chunna Zhao

Capital Normal University, Yunnan University

Papers

2

Total Citations

14

H-Index

2

About

No biography available yet.

Research Focus

Algorithm1 · 11 citations
Artificial intelligence1 · 11 citations
Automated theorem proving1 · 11 citations
Computer science1 · 11 citations
Correctness1 · 11 citations
Formal verification1 · 11 citations
Robot1 · 11 citations
Applied mathematics1 · 3 citations
Mathematics1 · 3 citations
Order (exchange)1 · 3 citations
Calculus (dental)1 · 3 citations
Fractional calculus1 · 3 citations

Key Achievements

2
H-Index
2
Papers
14
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of a collision-free algorithm of dual-arm robot in HOL4
11 citations · 2014
📈 Most Prolific Year: 2014 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: Capital Normal University, Yunnan University

Top Papers

  1. 1
    Formal verification of a collision-free algorithm of dual-arm robot in HOL4
    11 citations · 2014
  2. 2
    Formalization of fractional calculus and fractional order PI controller
    3 citations · 2019

Key Collaborators

MJMurong Jiang1 shared papersLLLiming Li1 shared papersHWHongxing Wei1 shared papersYHYaqun Huan1 shared papersZSZhiping Shi1 shared papersJZJie Zhang1 shared papersYGYong Guan1 shared papersDCDali Chen1 shared papers
Not generated yet