Bican Xia

发表

Marc Moreno Maza, Bican Xia, M. M. Maza, 2011 .

Bican Xia, Lu Yang, Lu Yang, 2016 .

Bican Xia, Jie Wang, Haokun Li, 2018, 1809.10848.

Bican Xia, Liyun Dai, 2015, Journal of Global Optimization.

Bican Xia, Yu Wang, 2019, Journal of Systems Science and Complexity.

Sergiy Bogomolov, Bai Xue, Martin Fränzle, 2020, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Joost-Pieter Katoen, Bican Xia, Naijun Zhan, 2018, CAV.

Bican Xia, Naijun Zhan, Lijun Zhang, 2017, ATVA.

Liyun Dai, Bican Xia, Bican Xia, 2012, J. Syst. Sci. Complex..

Bican Xia, Zhihai Zhang, Tian Fang, 2009, Science China Information Sciences.

Ting Zhang, Bican Xia, Bican Xia, 2007, Math. Comput. Sci..

Bai Xue, Zhikun She, Bican Xia, 2013, J. Symb. Comput..

Changbo Chen, Marc Moreno Maza, James H. Davenport, 2010, J. Symb. Comput..

Zhikun She, Bican Xia, Rong Xiao, 2006, Computational Intelligence.

Long Wang, Zhenbing Zeng, Wensheng Yu, 2006, Science in China Series F: Information Sciences.

Bican Xia, Lu Yang, Xiaorong Hou, 2001, Science in China Series F Information Sciences.

Bican Xia, Lu Yang, Naijun Zhan, 2008, ISoLA.

Liyun Dai, Bican Xia, Bican Xia, 2014, J. Glob. Optim..

Liyun Dai, Bican Xia, Naijun Zhan, 2013, CAV.

Bican Xia, Lu Yang, Lu Yang, 2004 .

Zhikun She, Bican Xia, Zhiming Zheng, 2011, J. Comput. Appl. Math..

Ting Zhang, Bican Xia, Bican Xia, 2006, Comput. Math. Appl..

Bican Xia, Lu Yang, Lu Yang, 2002, J. Symb. Comput..

Changbo Chen, Marc Moreno Maza, Bican Xia, 2009, ISSAC '09.

Chaochen Zhou, Yinghua Chen, Bican Xia, 2007, ICTAC.

Chaochen Zhou, Bican Xia, Lu Yang, 2005, VSTTE.

Marc Moreno Maza, Rong Xiao, Bican Xia, 2012, Mathematics in Computer Science.

Bican Xia, Zhenghong Chen, Xiaoxian Tang, 2014, ICMS.

Bican Xia, Lu Yang, Lu Yang, 2013, ArXiv.

Changbo Chen, Marc Moreno Maza, James H. Davenport, 2013, J. Symb. Comput..

Bican Xia, Zhenghong Chen, Xiaoxian Tang, 2013, J. Syst. Sci. Complex..

Bican Xia, Marc Moreno Maza, Rong Xiao, 2012, Mathematics in Computer Science.

Changbo Chen, Marc Moreno Maza, James H. Davenport, 2012, ACCA.

Changbo Chen, Marc Moreno Maza, James H. Davenport, 2011, ISSAC '11.

Changbo Chen, Marc Moreno Maza, James H. Davenport, 2011 .

Bican Xia, Lu Yang, Xiaorong Hou, 2000, Lecture Notes in Computer Science.

Bican Xia, Lu Yang, Lu Yang, 2005, Algorithmic Algebra and Logic.

Bican Xia, Zhikun She, Zhiming Zheng, 2009 .

Bican Xia, Haokun Li, Bican Xia, 2018, SCIENTIA SINICA Mathematica.

Dongming Wang, Bican Xia, Dongming Wang, 2005, ISSAC.

Bican Xia, Dongming Wang, Dongming Wang, 2005 .

Bican Xia, Jie Wang, Haokun Li, 2018, ISSAC.

N. Zhan, Bican Xia, Bai Xue, 2019, CAV.

Yu Wang, Bican Xia, Bican Xia, 2019, J. Syst. Sci. Complex..

Liyun Dai, Bican Xia, Naijun Zhan, 2013, J. Symb. Comput..

Xiaoxian Tang, Bican Xia, Zhenghong Chen, 2015, Journal of Systems Science and Complexity.

Bican Xia, Zhenghong Chen, Xiaoxian Tang, 2012, Science China Information Sciences.