Jianwen Li

发表

Kaishi Zhang, Fangtan Jiao, Jianwen Li, 2018 .

Moshe Y. Vardi, Jianwen Li, Kristin Yvonne Rozier, 2019, CAV.

Jianwen Li, Kun He, Hongfei Wang, 2018, 2018 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Kun He, Jianwen Li, Hongfei Wang, 2020, 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

Geguang Pu, Moshe Y. Vardi, Yueling Zhang, 2018, AAAI.

Geguang Pu, Moshe Y. Vardi, Lijun Zhang, 2019, Formal Methods Syst. Des..

Jianwen Li, Boyuan Ma, 2011, 2011 2nd International Conference on Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC).

Jianwen Li, Kun He, Hongfei Wang, 2019, ACM Trans. Design Autom. Electr. Syst..

Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2019, VSTTE.

Jianwen Li, Zheyu Feng, 2018, 2018 Ubiquitous Positioning, Indoor Navigation and Location-Based Services (UPINLBS).

Lei Ma, Yang Liu, Geguang Pu, 2020, IEEE Transactions on Information Forensics and Security.

Geguang Pu, Moshe Y. Vardi, Jianwen Li, 2021, AAAI.