Zining Cao
2003–2026 年に発表
- 所属
- Soochow UniversityNanjing University of Aeronautics and AstronauticsNanjing UniversityPeking UniversityCommercial Aircraft Corporation of China (China)State Key Laboratory of Civil Aircraft Flight SimulationNanjing University of Science and Technologyこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-4673-200X
- 62
- 論文数
- 154
- 被引用数
- 6
- h 指数
- 5
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science86.1%
- Engineering6.9%
- Social Sciences3%
- Agricultural and Biological Sciences1%
- Business, Management and Accounting1%
- Decision Sciences1%
- その他1%
トピック
- Formal Methods in Verification18.8%
- Software Reliability and Analysis Research10.6%
- Logic, programming, and type systems10%
- Logic, Reasoning, and Knowledge10%
- Blockchain Technology Applications and Security7.1%
- Software Testing and Debugging Techniques7.1%
- その他36.5%
よく組む共著者
全論文
論文を読み込んでいます…