Frontiers Comput. Sci. China

Keyphrases

Publications

volume 6, number 1, 2012

Anh Tuan Luu, Jun Sun, Yang Liu, Jin Song Dong, Xiaohong Li, Thanh Tho Quan
SeVe: automatic tool for verification of security protocols. Frontiers Comput. Sci. China 6 (1) (2012)
Hong Zhu
An institution theory of formal meta-modelling in graphically extended BNF. Frontiers Comput. Sci. China 6 (1) (2012)
David Lorge Parnas
The use of mathematics in software quality assurance. Frontiers Comput. Sci. China 6 (1) (2012)
Xiaochen Li, Wenji Mao, Daniel Zeng
Forecasting complex group behavior via multiple plan recognition. Frontiers Comput. Sci. China 6 (1) (2012)
Jiliang Tang, Xufei Wang, Huiji Gao, Xia Hu, Huan Liu
Enriching short text representation in microblog for clustering. Frontiers Comput. Sci. China 6 (1) (2012)
Xiaolong Li, Gang Pan, Zhaohui Wu, Guande Qi, Shijian Li, Daqing Zhang, Wangsheng Zhang, Zonghui Wang
Prediction of urban human mobility using large-scale taxi traces and its applications. Frontiers Comput. Sci. China 6 (1) (2012)
Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6 (1) (2012)
Zhiyuan Liu, Xinxiong Chen, Maosong Sun
Mining the interests of Chinese microbloggers via keyword extraction. Frontiers Comput. Sci. China 6 (1) (2012)
Shaoying Liu
Formal engineering methods for software quality assurance. Frontiers Comput. Sci. China 6 (1) (2012)
Tao Wang, Qingpeng Zhang, Zhong Liu, Wenli Liu, Ding Wen
On social computing research collaboration patterns: a social network perspective. Frontiers Comput. Sci. China 6 (1) (2012)

volume 5, number 1, 2011

volume 5, number 2, 2011

volume 5, number 3, 2011

volume 5, number 4, 2011