Jiang Liu

发表

Mingjun Du, Jiang Liu, Feng Ni, 2021, Journal of Systems Science and Complexity.

Jiang Liu, 2020, 2010.03949.

Naijun Zhan, Hengjun Zhao, Jiang Liu, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Naijun Zhan, Hengjun Zhao, Hengjun Zhao, 2011 .

Chaochen Zhou, Liang Zou, Naijun Zhan, 2010, APLAS.

Naijun Zhan, Hengjun Zhao, Jiang Liu, 2011, Math. Comput. Sci..

Jiang Liu, Jiang Liu, 2018, J. Syst. Sci. Complex..

Jiang Liu, 2017, Journal of Systems Science and Complexity.

Liang Zou, Naijun Zhan, Hengjun Zhao, 2014, FM.

Chengling Fang, Jiang Liu, Jiang Liu, 2017, ArXiv.

Jiang Liu, Feng Ni, Jiang Liu, 2021, J. Symb. Comput..

Guohua Wu, Jiang Liu, Guohua Wu, 2007, J. Log. Comput..

Johanna N. Y. Franklin, Guohua Wu, D. Cenzer, 2011, Arch. Math. Log..

Guohua Wu, Douglas A. Cenzer, Johanna N. Y. Franklin, 2009, TAMC.