by Liu, Hong, Zhang, Shuaipeng, Zhang, Pengfei, Zhou, Xinqiang, Shao, Xuebin, Pu, Geguang, Zhang, Yan
Published in IEEE transactions on vehicular technology (01.06.2021)

by Chen, Mingsong, Bao, Yongxiang, Fu, Xin, Pu, Geguang, Wei, Tongquan
Published in IEEE transactions on parallel and distributed systems (01.05.2017)

by Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu, Mishra, Prabhat
Published in IEEE transactions on computers (01.07.2016)

by Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)

by Su, Ting, Pu, Geguang, Miao, Weikai, He, Jifeng, Su, Zhendong
Published in Science China. Information sciences (01.09.2016)

by Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
Published in 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (01.11.2014)

by Finkbeiner, Bernd, Pu, Geguang, Zhang, Lijun
Year of Publication 2015

by Jianwen Li, Lijun Zhang, Geguang Pu, Vardi, Moshe Y., Jifeng He
Published in 2013 20th International Symposium on Temporal Representation and Reasoning (01.09.2013)

by Chen, Mingsong, Gu, Fan, Zhou, Lei, Pu, Geguang, Liu, Xiao
Published in 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems (01.01.2014)

by Qiu, Zongyan, Wang, Shuling, Pu, Geguang, Zhao, Xiangpeng
Published in FM 2005: Formal Methods (2005)

by Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)

by Shen, Yan, Li, Jianwen, Wang, Zheng, Su, Ting, Fang, Bin, Pu, Geguang, Liu, Wanwei, Chen, Mingsong
Published in 2014 21st Asia-Pacific Software Engineering Conference (01.12.2014)

by Yang, MengFei, Wang, Zheng, Pu, GeGuang, Qin, ShengChao, Gu, Bin, He, JiFeng
Published in Science China. Information sciences (01.12.2012)

by Liu, Hong, Zhang, Pengfei, Pu, Geguang, Yang, Tao, Maharjan, Sabita, Zhang, Yan
Published in IEEE transactions on vehicular technology (01.04.2020)

by Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu, Tian Hut Tan
Published in 2010 Asia Pacific Software Engineering Conference (01.11.2010)

Year of Publication 22.11.2015

by Pu, Geguang, Zhu, Huibiao, Qiu, Zongyan, Wang, Shuling, Zhao, Xiangpeng, He, Jifeng
Published in Formal Methods for Open Object-Based Distributed Systems (2006)

by Su, Ting, Fan, Lingling, Chen, Sen, Liu, Yang, Xu, Lihua, Pu, Geguang, Su, Zhendong
Published in IEEE transactions on software engineering (01.04.2022)

by GEGUANG PU, ZHANG CHONG, ZONGYAN QIU, ZUOQUAN LIN, HE JIFENG
Published in Lecture notes in computer science (2006)

by Wang, Zheng, Pu, Geguang, Li, Jianwen, He, Jifeng, Qin, Shengchao, Larsen, Kim G., Madsen, Jan, Gu, Bin
Published in Electronic proceedings in theoretical computer science (29.12.2012)