Frontiers of Computer Science in China
An institution theory of formal meta-modelling in graphically extended BNF
Enriching short text representation in microblog for clustering
Forecasting complex group behavior via multiple plan recognition
Formal engineering methods for software quality assurance
Mining the interests of Chinese microbloggers via keyword extraction
On social computing research collaboration patterns: a social network perspective
Prediction of urban human mobility using large-scale taxi traces and its applications
rCOS: a formal model-driven engineering method for component-based software
SeVe: automatic tool for verification of security protocols
The use of mathematics in software quality assurance