Min ZHANG
Scholar

Min ZHANG

Google Scholar ID: SH0id-wAAAAJ
East China Normal University
Formal MethodsTrustworthy Artificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
802
 
H-index
16
 
i10-index
25
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Background
  • Research interests include formal methods for real-time systems, AI-empowered systems, and blockchains. Published over 70 papers in top-tier conferences and journals such as CAV, NeurIPS, AAAI, ASE, ISSTA, OOPSLA, RTSS, FSE, TCS.
Co-authors
16 total
Kazuhiro Ogata
Kazuhiro Ogata
JAIST
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Mingsong Chen
Mingsong Chen
Software Engineering Institute, East China Normal University
Fu SONG
Fu SONG
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Guy Katz
Guy Katz
The Hebrew University of Jerusalem
Peixin Wang
Peixin Wang
East China Normal University
Kokichi FUTATSUGI
Kokichi FUTATSUGI
Professor of Computer Science, JAIST