Mingsheng Ying
发表
Sanjiang Li,
Mingsheng Ying,
2008,
Theor. Comput. Sci..
Chengqi Zhang,
Mingsheng Ying,
Guoxin Su,
2012,
2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
MFCS.
Mingsheng Ying,
Qisheng Wang,
2018
.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2003
.
Mingsheng Ying,
M. Ying,
2006,
Artif. Intell..
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2007,
Physical review letters.
Yuan Feng,
Mingsheng Ying,
Andrea Turrini,
2019,
ArXiv.
Mingsheng Ying,
1992,
Math. Log. Q..
Mingsheng Ying,
M. Ying,
1991,
Math. Log. Q..
Mingsheng Ying,
M. Ying,
1999,
Journal of Computer Science and Technology.
Sanjiang Li,
Yongming Li,
Mingsheng Ying,
2004,
Fundam. Informaticae.
Yongzhi Cao,
Mingsheng Ying,
M. Ying,
2004,
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
Mingsheng Ying,
M. Ying,
1994,
Journal of Symbolic Logic.
Li Zhou,
Mingsheng Ying,
M. Ying,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Li Zhou,
Mingsheng Ying,
Nengkun Yu,
2018,
ArXiv.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
Arch. Formal Proofs.
Lirong Xia,
Jérôme Lang,
Mingsheng Ying,
2007,
AAAI.
Mingsheng Ying,
M. Ying,
2011,
TOPL.
Mingsheng Ying,
2001
.
Mingsheng Ying,
M. Ying,
2012,
Springer New York.
Jianxin Chen,
Mingsheng Ying,
2010,
Quantum Inf. Comput..
Yongzhi Cao,
Mingsheng Ying,
M. Ying,
2004,
IEEE Transactions on Fuzzy Systems.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
Inf. Comput..
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2003
.
Sanjiang Li,
Mingsheng Ying,
M. Ying,
2003,
Artif. Intell..
Mingsheng Ying,
Nengkun Yu,
Li Zhou,
2020,
Theor. Comput. Sci..
Yuan Feng,
Yuxin Deng,
Mingsheng Ying,
2012,
TOCL.
Mingsheng Ying,
Qisheng Wang,
2020,
ArXiv.
Mingsheng Ying,
2002,
Theor. Comput. Sci..
Mingsheng Ying,
Yangjia Li,
M. Ying,
2017,
Proc. ACM Program. Lang..
Mingsheng Ying,
Yuan Feng,
2020,
ArXiv.
Chengqi Zhang,
Mingsheng Ying,
Guoxin Su,
2010,
ECSA.
Yongzhi Cao,
Mingsheng Ying,
2006,
IEEE Trans. Autom. Control..
Bernadette Bouchon-Meunier,
Mingsheng Ying,
1997,
J. Appl. Non Class. Logics.
Yongzhi Cao,
Lirong Xia,
Mingsheng Ying,
2006,
J. Comput. Syst. Sci..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2005,
IEEE Transactions on Information Theory.
Mingsheng Ying,
M. Ying,
1999,
IEEE Trans. Fuzzy Syst..
Bernadette Bouchon-Meunier,
Mingsheng Ying,
1998
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2010,
POPL '11.
Mingsheng Ying,
M. Ying,
1996,
Theor. Comput. Sci..
Mingsheng Ying,
1992,
Math. Log. Q..
Mingsheng Ying,
Yangjia Li,
M. Ying,
2014,
CONCUR.
Mingsheng Ying,
Yangjia Li,
M. Ying,
2014,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Yuan Feng,
Runyao Duan,
Guoming Wang,
2008,
IEEE Transactions on Information Theory.
Mingsheng Ying,
M. Ying,
2016
.
Mingsheng Ying,
2008,
Journal of Computer Science and Technology.
Guoqing Chen,
Mingsheng Ying,
Yingming Liu,
2007,
Fuzzy Sets Syst..
Mingsheng Ying,
M. Ying,
2005,
Acta Informatica.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2009,
Quantum Inf. Comput..
Li Zhou,
Mingsheng Ying,
Nengkun Yu,
2019,
PLDI.
Jianxin Chen,
Zhaohui Wei,
Mingsheng Ying,
2007,
Quantum Inf. Comput..
Martin Wirsing,
Mingsheng Ying,
2001,
Theor. Comput. Sci..
Yuan Feng,
Mingsheng Ying,
Ji Guan,
2018
.
Junyi Liu,
Mingsheng Ying,
Li Zhou,
2019,
ArXiv.
Li Zhou,
Gilles Barthe,
Justin Hsu,
2019,
ArXiv.
Mingsheng Ying,
Zhaowei Xu,
Shenggang Ying,
2018,
ArXiv.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2005,
ArXiv.
Yuan Xie,
Gushu Li,
Yufei Ding,
2019,
ArXiv.
Ruqian Lu,
Mingsheng Ying,
M. Ying,
1998
.
Mingsheng Ying,
Nengkun Yu,
2012,
CONCUR.
Mingsheng Ying,
Guoqing Chen,
Yingming Liu,
2009,
Int. J. Intell. Syst..
Huaiqing Wang,
Mingsheng Ying,
2002,
Artif. Intell..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2011,
Sci. Comput. Program..
Guangwen Yang,
Xiaoming Sun,
Mingsheng Ying,
2018,
IEEE Transactions on Parallel and Distributed Systems.
Li Zhou,
Runyao Duan,
Shusen Liu,
2017,
1710.09500.
Yuan Feng,
Mingsheng Ying,
2010,
Acta Informatica.
Gushu Li,
Mingsheng Ying,
Yuan Xie,
2020,
Proc. ACM Program. Lang..
Sanjiang Li,
Mingsheng Ying,
M. Ying,
2002,
Fundam. Informaticae.
Yuan Feng,
Mingsheng Ying,
2009,
IEEE Transactions on Computers.
Mingsheng Ying,
Qisheng Wang,
M. Ying,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sanjiang Li,
Mingsheng Ying,
Weiming Liu,
2009,
Artif. Intell..
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2007,
Physical review letters.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
CONCUR.
Runyao Duan,
Mingsheng Ying,
Nengkun Yu,
2012,
IEEE Transactions on Information Theory.
Mingsheng Ying,
M. Ying,
2002,
IEEE Trans. Fuzzy Syst..
Mingsheng Ying,
2008,
Journal of Computer Science and Technology.
Runyao Duan,
Xiaoming Sun,
Mingsheng Ying,
2005,
IEEE Trans. Inf. Theory.
Yuan Feng,
Runyao Duan,
Yu Xin,
2007,
IEEE Transactions on Information Theory.
Sanjiang Li,
Mingsheng Ying,
Xiangzhen Zhou,
2020,
ArXiv.
Mingsheng Ying,
M. Ying,
2001
.
Mingsheng Ying,
Wang Fang,
Ji Guan,
2020,
ArXiv.
Mingsheng Ying,
M. Ying,
2005,
Artif. Intell..
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
CAV.
Mingsheng Ying,
Yangjia Li,
M. Ying,
2018,
ArXiv.
Mingsheng Ying,
Heng Zhang,
M. Ying,
2010,
AAAI.
Shaopeng Zhu,
Shih-Han Hung,
Xiaodi Wu,
2018,
Proc. ACM Program. Lang..
Mingsheng Ying,
Qisheng Wang,
M. Ying,
2020,
ArXiv.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2004,
Journal of Computer Science and Technology.
Mingsheng Ying,
Zhengfeng Ji,
2020,
ArXiv.
Li Zhou,
Yang He,
Runyao Duan,
2017,
Symposium on Real-Time and Hybrid Systems.
Mingsheng Ying,
2009
.
Mingsheng Ying,
M. Ying,
1987,
Inf. Sci..
Yuan Feng,
Mingsheng Ying,
M. Ying,
2018,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Ji Guan,
2018,
Quantum Inf. Comput..
Bernadette Bouchon-Meunier,
Mingsheng Ying,
M. Ying,
1998,
Int. J. Intell. Syst..
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2015,
ArXiv.
Mingsheng Ying,
2010,
APLAS.
Mingsheng Ying,
M. Ying,
2016
.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2009,
Physical review letters.
Mingsheng Ying,
M. Ying,
2003,
Acta Informatica.
Mingsheng Ying,
Shenggang Ying,
M. Ying,
2014,
Inf. Comput..
Mingsheng Ying,
Guoqing Chen,
Yongzhi Cao,
2006
.
Shaopeng Zhu,
Shih-Han Hung,
Xiaodi Wu,
2018,
ArXiv.
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs
Mingsheng Ying,
2001
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2010,
TOPL.
Guoqing Chen,
Mingsheng Ying,
Yingming Liu,
2009,
Int. J. Intell. Syst..
Mingsheng Ying,
2005,
GrC.
Mingsheng Ying,
Chunlai Zhou,
M. Ying,
2012,
Theor. Comput. Sci..
Mingsheng Ying,
M. Ying,
2010,
Artif. Intell..
Xiaotong Zhang,
Sanjiang Li,
Mingsheng Ying,
2008,
AAAI.
Lirong Xia,
Jérôme Lang,
Mingsheng Ying,
2007,
TARK '07.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2012,
J. Comput. Syst. Sci..
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2010,
TOCL.
Mingsheng Ying,
M. Ying,
2002,
Theor. Comput. Sci..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
ArXiv.
Runyao Duan,
Mingsheng Ying,
Yuan Feng,
2005
.
Mingsheng Ying,
M. Ying,
2018,
Formal Aspects of Computing.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
IEEE Transactions on Information Theory.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2011,
IEEE Transactions on Software Engineering.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2012,
ArXiv.
Mingsheng Ying,
M. Ying,
2004,
2005 IEEE International Conference on Granular Computing.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Guoqing Chen,
Yongzhi Cao,
Mingsheng Ying,
2005,
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
Mingsheng Ying,
M. Ying,
2002,
IEEE Trans. Fuzzy Syst..
Yuan Feng,
Mingsheng Ying,
Ji Guan,
2016,
J. Comput. Syst. Sci..
Mingsheng Ying,
Nengkun Yu,
Yangjia Li,
2013,
Acta Informatica.
Mingsheng Ying,
M. Ying,
2014,
1405.4443.
Sanjiang Li,
Mingsheng Ying,
M. Ying,
2004,
Artif. Intell..
Xiaodi Wu,
Mingsheng Ying,
Shenggang Ying,
2017,
POPL.
Martin Wirsing,
Mingsheng Ying,
2000,
AMAST.
Mingsheng Ying,
Jingzhe Guo,
M. Ying,
2020,
IEEE Transactions on Software Engineering.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
TOCL.
Jianxin Chen,
Yuan Feng,
Runyao Duan,
2007,
Inf. Process. Lett..
Junyi Liu,
Mingsheng Ying,
Qisheng Wang,
2021,
J. Comput. Syst. Sci..
Tao Liu,
Mingsheng Ying,
Naijun Zhan,
2016,
ArXiv.
Mingsheng Ying,
Qisheng Wang,
2018,
ArXiv.
Guoqing Chen,
Yongzhi Cao,
Mingsheng Ying,
2007,
IEEE Transactions on Fuzzy Systems.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
Theor. Comput. Sci..
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
Journal of Computer Science and Technology.
Mingsheng Ying,
2001
.
Chengqi Zhang,
Mingsheng Ying,
Guoxin Su,
2012,
ArXiv.
Mingsheng Ying,
M. Ying,
1999,
Journal of Computer Science and Technology.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2015,
CONCUR.
Yi Zhou,
Yan Zhang,
Mingsheng Ying,
2011,
IJCAI.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2014,
ArXiv.
Mingsheng Ying,
M. Ying,
2014,
ArXiv.
Mingsheng Ying,
Ji Guan,
Wang Fang,
2021,
CAV.
Mingsheng Ying,
Ji Guan,
Qisheng Wang,
2021,
Quantum Inf. Comput..
Yuan Feng,
Mingsheng Ying,
2021
.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2021,
International Journal of Automation and Computing.
Yuan Feng,
Mingsheng Ying,
M. Ying,
2020,
ACM Transactions on Quantum Computing.
Mingsheng Ying,
M. Ying,
2021,
FM.
Gilles Barthe,
Justin Hsu,
Mingsheng Ying,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Yuan Feng,
Mingsheng Ying,
2021
.
Yuan Feng,
Mingsheng Ying,
Sanjiang Li,
2021,
ACM Transactions on Computational Logic.
Yuan Feng,
Mingsheng Ying,
2021
.
Yuan Feng,
Mingsheng Ying,
2021
.
Yuan Feng,
Mingsheng Ying,
Sanjiang Li,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Yuan Feng,
Mingsheng Ying,
M. Ying,
2021
.
Yuan Feng,
Mingsheng Ying,
2021
.
Xiaodi Wu,
Mingsheng Ying,
Yuxiang Peng,
2021,
ArXiv.
Mingsheng Ying,
Zhaowei Xu,
Benoit Valiron,
2021,
ArXiv.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2012
.
Mingsheng Ying,
Guoming Wang,
M. Ying,
2006
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007
.
Mingsheng Ying,
M. Ying,
2000
.
Zhaohui Wei,
Mingsheng Ying,
2004
.
Mingsheng Ying,
M. Ying,
2016
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006
.
Zhaohui Wei,
Mingsheng Ying,
2006
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004,
quant-ph/0404148.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2007,
Physical review letters.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2005
.
Mingsheng Ying,
Guoming Wang,
2008
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2005
.
Mingsheng Ying,
M. Ying,
1993
.
Runyao Duan,
Mingsheng Ying,
Nengkun Yu,
2010,
1010.2664.
Mingsheng Ying,
Guoming Wang,
M. Ying,
2007,
0710.4403.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2003
.
Yuan Feng,
Shengyu Zhang,
Xiaoming Sun,
2002
.
Runyao Duan,
Mingsheng Ying,
Yuan feng,
2005
.
Yuan Feng,
Mingsheng Ying,
Zhengfeng Ji,
2005
.
Zhaohui Wei,
Mingsheng Ying,
M. Ying,
2006
.
Mingsheng Ying,
M. Ying,
2007
.
Mingsheng Ying,
1993
.
Runyao Duan,
Mingsheng Ying,
Zhengfeng Ji,
2004
.
Mingsheng Ying,
Yongming Li,
Sanjiang Li,
2005,
ArXiv.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004
.
Runyao Duan,
Mingsheng Ying,
M. Ying,
2007,
0708.3559.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004
.
Zhaohui Wei,
Mingsheng Ying,
2007
.
Mingsheng Ying,
M. Ying,
1994
.
Mingsheng Ying,
M. Ying,
2016
.
Mingsheng Ying,
M. Ying,
1993
.
Yuan Feng,
Shengyu Zhang,
Runyao Duan,
2002
.
Mingsheng Ying,
Nengkun Yu,
M. Ying,
2015
.
An Equivalence of Entanglement-Assisted Transformation and Multiple-Copy Entanglement Transformation
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004
.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2004
.
Mingsheng Ying,
1990
.
Mingsheng Ying,
B. Qiao,
Chi Zhang,
2006
.
Mingsheng Ying,
M. Ying,
2000
.
Mingsheng Ying,
Nengkun Yu,
Shenggang Ying,
2018,
Journal of Mathematics and Physics.
Yuan Feng,
Runyao Duan,
Mingsheng Ying,
2006,
Physical review letters.
Mingsheng Ying,
Guoming Wang,
2005
.