We stand with Ukraine  

Qianshan Yu

Orcid: 0000-0003-4584-6125

According to our database1, Qianshan Yu authored at least 5 papers between 2016 and 2022.

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

Timeline

2016
2017
2018
2019
2020
2021
2022
0
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Efficient Summary Reuse for Software Regression Verification.
[BibTeX]
[DOI]
Fei He
,
Qianshan Yu
,
Liming Cai
IEEE Trans. Software Eng., 2022

2020
Incremental predicate analysis for regression verification.
[BibTeX]
[DOI]
Qianshan Yu
,
Fei He
,
Bow-Yaw Wang
Proc. ACM Program. Lang., 2020

2019
Enhancing precision of structured merge by proper tree matching.
[BibTeX]
[DOI]
Fengmin Zhu
,
Fei He
,
Qianshan Yu
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
When Regression Verification Meets CEGAR.
[BibTeX]
[DOI]
Fei He
,
Qianshan Yu
,
Liming Cai
CoRR, 2018

2016
A platform for identifying experts and paper retrieval in citation networks.
[BibTeX]
[DOI]
Qianwei Wang
,
Qianshan Yu
,
Xinyue Yu
Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016


  Loading...