Ou Wei
发表
Yun Niu,
Wenyuan Liao,
Ou Wei,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Ou Wei,
Zonghao Guo,
2017,
计算机科学.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2011,
Inf. Comput..
Sijie Li,
Lisong Wang,
Ou Wei,
2019,
计算机科学.
Zhe Chen,
Yifan Wu,
Bin Sheng,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).
Zhiqiu Huang,
Bingfeng Xu,
Ou Wei,
2010,
2010 7th International Conference on Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing.
Shuang Liu,
Ou Wei,
Zonghao Guo,
2018,
计算机科学.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2008,
VMCAI.
Ou Wei,
2013
.
Xinye Cai,
Ou Wei,
Xinye Cai,
2013,
2013 10th IEEE International Conference on Control and Automation (ICCA).
Jun Hu,
Mingyu Huang,
Ou Wei,
2017,
计算机科学.
Hai Wan,
Weilin Luo,
Ou Wei,
2021,
IEEE Transactions on Reliability.
Marsha Chechik,
Aws Albarghouthi,
Arie Gurfinkel,
2010
.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2008,
ATVA.
Jun Hu,
Ou Wei,
Yunjiao Zhan,
2018,
计算机科学.
Zhiqiu Huang,
Jun Zheng,
Jun Hu,
2011
.
Weilin Luo,
Ou Wei,
2017,
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).
Ou Wei,
He Xiaoyuan,
Guo Shengming,
2016
.
Xinye Cai,
Zhiqiu Huang,
Ou Wei,
2012,
Comput. Informatics.
Jun Hu,
Yu Zhou,
Zhiqiu Huang,
2013,
MDS '13.
Yu Zhou,
Ou Wei,
Yufeng Shi,
2015,
计算机科学.
Sriram Sankaranarayanan,
Gogul Balakrishnan,
Aarti Gupta,
2008,
SAS.
Ou Wei,
Junhua Song,
2019,
计算机科学.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2006,
VMCAI.
Yu Zhou,
Zhiqiu Huang,
Yankai Huang,
2014,
Frontiers of Computer Science.
Yu Zhou,
Yufeng Shi,
Ou Wei,
2014,
InnoSWDev@SIGSOFT FSE.
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
pdf
Hai Wan,
Weilin Luo,
Ou Wei,
2019,
ArXiv.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2005,
CHARME.
Marsha Chechik,
Arie Gurfinkel,
Ou Wei,
2006,
CAV.
Mengsong Zou,
Lansheng Han,
Qiwen Liu,
2010,
2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE).
Yu Zhou,
Zhiqiu Huang,
Yankai Huang,
2015
.
Juanjuan Chen,
Ou Wei,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Zhe Chen,
Hongwei Xi,
Zhiqiu Huang,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Lansheng Han,
Peng Yu,
Ou Wei,
2016,
Trustcom/BigDataSE/ISPA.
Ou Wei,
2002
.
Xin Cheng,
Xinye Cai,
Yuanyuan Huang,
2014,
GECCO.
Mingyu Huang,
Ou Wei,
Yumei Liu,
2016,
计算机科学.
Jun Hu,
Mingyu Huang,
Sijie Li,
2018,
IEEE Access.
Wang Huan,
Ou Wei,
Xue Yongjun,
2020
.
Ou Wei,
Biqing Fang,
Hongzhen Zhong,
2021,
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD).