We stand with Ukraine  

Wei Zhang

Orcid: 0009-0004-2983-8592

Affiliations:
  • China Aerospace Academy of Systems Science and Engineering, Beijing, China


According to our database1, Wei Zhang authored at least 2 papers in 2023.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Strategy to Unwind Loops in Incremental Bounded Model Checking for Software.
[BibTeX]
[DOI]
Yu Wu
,
Qilin Deng
,
Wei Zhang
Proceedings of the 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum, 2023

Multi-Property Bounded Model Checking for Java Numerical Error.
[BibTeX]
[DOI]
Qilin Deng
,
Yu Wu
,
Fengli Sun
,
Wei Zhang
Proceedings of the 3rd Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence and Big Data Forum, 2023


  Loading...