by LAI YONG, LIN SEN, SUN HAO, SONG LEI, CHEN MINGSHUAI, ZHANG BING, ZHAO MINGBIN, DING PENG, ZI FUSHENG, YANG PU
Year of Publication 04.04.2023

by TAN JIAYUAN, GU DONGCHANG, LIU GUOHUA, CHEN MINGSHUAI, LI HAICHAO
Year of Publication 23.02.2021

by LI GEN, JI JINGNAN, CHEN MINGSHUAI, LI ZHIQIANG, WANG PENG, CHENG SHIYONG, FAN XINBO, HAO RIWA, WANG SHOUCHEN, ZHAO XIAODONG
Year of Publication 02.09.2022

by WANG WEI, LAI YONG, SUN HAO, YANG XIAOYU, YUE ZHEN, CHEN MINGSHUAI, FU AO, DING PENG, ZI FUSHENG, YANG PU, LAI QIANRU, GAO YUAN
Year of Publication 09.06.2023

by GUO MINGYU, MA MENG, ZHANG ZHIHU, LI HONGRU, WAN HUAN, CHEN MINGSHUAI, LI WENYUAN, TAN ZHONGJIAN, TAN WEIXIONG, YUAN RENGUO
Year of Publication 05.07.2022

by CHEN MINGSHUAI, LIU DAOXIN, ZHANG YULIN, LI HONGZUO
Year of Publication 25.05.2018

by MA WENHUA, SUN HAO, SONG LEI, WANG RUNGUI, LIU HONG, WANG XINTAO, CHEN MINGSHUAI, ZHAO MINGBIN, ZHANG BING, YANG PU, HU KUAN
Year of Publication 04.06.2021

by LIN SEN, SUN HAO, DU SHANZHI, CHEN MINGSHUAI, MU SITONG, ZHANG BING, YANG PU, DU ZUOTAO, HU DIANAI, AN XIAOHUA, WANG JIAMIAN
Year of Publication 25.03.2022

by GUO MINGYU, MA JINXIN, LI HONGRU, FU QIANG, YANG XU, TAN ZHONGJIAN, TAN WEIXIONG, ZHANG XIANGQIAN, MA MENG, LI HUI, CHEN MINGSHUAI, REN HONG, HU YUN
Year of Publication 11.02.2022

by LIANG MEI, CHEN MINGSHUAI, SU SHIJIN, FENG XUEXIANG
Year of Publication 10.05.2017

by MA WENHUA, SUN HAO, CHEN MIAO, SONG LEI, WANG RUNGUI, XU CHONGJIE, CHEN MINGSHUAI, ZHAO MINGBIN, YIN MINGZE, HU KUAN, HAN ZHENGDAO
Year of Publication 09.02.2021

by ZHUANG XIAWEI, CHEN MINGSHUAI, BAI LUYANG, DING ZEFENG, LI YAO, FANG HAIYU
Year of Publication 08.06.2018

by CHEN DEWEI, CHEN MINGSHUAI, FAN XING
Year of Publication 24.04.2013

by CHEN MINGSHUAI, LIU HUIRAN, ZHANG HAN, XIE XUHONG, LI BIDE, GENG FEI, LI SHUNSHUN
Year of Publication 31.05.2017

by Chen, Mingshuai, Han, Xiao, Tang, Tao, Wang, Shuling, Yang, Mengfei, Zhan, Naijun, Zhao, Hengjun, Zou, Liang
Published in Provably Correct Systems