by Jifeng, He
Published in Symposium on Real-Time and Hybrid Systems (01.01.2018)

by Wang, Xin, Yang, Jun, Chen, Lei, He, Jifeng
Published in Energies (Basel) (2017)

by Liu, Changjian, Gong, Shuhui, Su, Hui, Chen, Jianwei, Guo, Honglei, He, Jifeng, Jing, Changfeng, Liu, Yu
Published in International journal of digital earth (31.12.2024)

by Sheng, Feng, Zhu, Huibiao, He, Jifeng, Yang, Zongyuan, Bowen, Jonathan P.
Published in Formal aspects of computing (01.07.2020)

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 Jifeng, He, Li, Xiaoshan, Liu, Zhiming
Published in Theoretical computer science (10.11.2006)

by Sherif, Adnan, Cavalcanti, Ana, Jifeng, He, Sampaio, Augusto
Published in Formal aspects of computing (01.03.2010)

by Jifeng, He
Published in Unifying Theories of Programming (2017)

by He, Jifeng, Hoare, Tony
Published in Theoretical computer science (06.03.2010)

by Chao, Luo, Jun, Yang, Zhi, Du, Jifeng, He, Mingsong, Liu
Published in Energy procedia (01.08.2015)

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

by Aichernig, Bernhard K., Jifeng, He
Published in Formal aspects of computing (01.02.2009)

by Liu, Zhiming, He, Jifeng
Year of Publication 2006

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 HE JIFENG, HOARE, Tony
Published in Lecture notes in computer science (2006)

by HE JIFENG, SANDERS, J. W
Published in Lecture notes in computer science (2006)

by Liu, Zhiming, Woodcock, Jim, Zhu, Huibiao
Year of Publication 2013

by Zhao, Yongxin, Jifeng, He
Published in Formal Methods and Software Engineering (2011)

by HE JIFENG, SHENGCHAO QIN, SHERIF, Adnan
Published in Lecture notes in computer science (2006)

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