Wenda Li
发表
Wenda Li,
2017,
Arch. Formal Proofs.
Xihui Zhang,
Wenda Li,
Xinyuan Wang,
2007,
Geoinformatics.
Xiaohui Lei,
Wenda Li,
Tianxiang Zhang,
2017,
Adv. Eng. Softw..
Wenda Li,
2013,
Arch. Formal Proofs.
Yuanping Zhu,
Wenda Li,
Hongyuan Chen,
2016,
2016 8th International Conference on Wireless Communications & Signal Processing (WCSP).
Lawrence C. Paulson,
Wenda Li,
Grant Olney Passmore,
2017,
Journal of Automated Reasoning.
Jie Zou,
Jianing Liang,
Huiyun Li,
2018,
2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS).
Wenda Li,
2018,
Arch. Formal Proofs.
Wenda Li,
2014,
Arch. Formal Proofs.
Yangdi Xu,
Robert J. Piechocki,
Wenda Li,
2017,
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC).
Wenda Li,
2017,
Arch. Formal Proofs.
Wenda Li,
Angeliki Koutsoukou Argyraki,
2019,
Arch. Formal Proofs.
Wenda Li,
Michael Burrow,
Yueyue Tao,
2018,
2018 IEEE SENSORS.
Robert J. Piechocki,
Wenda Li,
Bo Tan,
2018,
2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech).
Robert J. Piechocki,
Wenda Li,
Bo Tan,
2016,
2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom).
Robert J. Piechocki,
Wenda Li,
Bo Tan,
2016,
2016 IEEE International Conference on Communications (ICC).
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2018,
Journal of Automated Reasoning.
Wenda Li,
Nicole Metje,
Michael Burrow,
2020,
IEEE Access.
Robert J. Piechocki,
Karl Woodbridge,
Wenda Li,
2017,
IEEE Communications Magazine.
Wenda Li,
Angeliki Koutsoukou Argyraki,
2018,
Arch. Formal Proofs.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2016,
CPP.
Wenda Li,
Michael Burrow,
Zijun Li,
2018,
2018 IEEE SENSORS.
Lawrence C. Paulson,
Wenda Li,
Lawrence Charles Paulson,
2016,
ITP.
Lawrence C. Paulson,
Wenda Li,
Anthony Bordg,
2021,
Arch. Formal Proofs.
Lawrence C. Paulson,
Wenda Li,
Angeliki Koutsoukou-Argyraki,
2021,
Experimental Mathematics.
Lawrence C. Paulson,
Wenda Li,
Yuhuai Wu,
2021,
ICLR.
Wenda Li,
Fox Thomson,
2021,
Arch. Formal Proofs.
Wenda Li,
Anthony Bordg,
Lawrence Paulson,
2021,
ArXiv.