| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An institution theory of formal meta-modelling in graphically extended BNF
|
Zhu, Hong
|
|
2012
|
6 |
1 |
p. 40-56
|
artikel
|
| 2 |
Enriching short text representation in microblog for clustering
|
Tang, Jiliang
|
|
2012
|
6 |
1 |
p. 88-101
|
artikel
|
| 3 |
Forecasting complex group behavior via multiple plan recognition
|
Li, Xiaochen
|
|
2012
|
6 |
1 |
p. 102-110
|
artikel
|
| 4 |
Formal engineering methods for software quality assurance
|
Liu, Shaoying
|
|
2012
|
6 |
1 |
p. 1-2
|
artikel
|
| 5 |
Mining the interests of Chinese microbloggers via keyword extraction
|
Liu, Zhiyuan
|
|
2011
|
6 |
1 |
p. 76-87
|
artikel
|
| 6 |
On social computing research collaboration patterns: a social network perspective
|
Wang, Tao
|
|
2011
|
6 |
1 |
p. 122-130
|
artikel
|
| 7 |
Prediction of urban human mobility using large-scale taxi traces and its applications
|
Li, Xiaolong
|
|
2011
|
6 |
1 |
p. 111-121
|
artikel
|
| 8 |
rCOS: a formal model-driven engineering method for component-based software
|
Ke, Wei
|
|
2012
|
6 |
1 |
p. 17-39
|
artikel
|
| 9 |
SeVe: automatic tool for verification of security protocols
|
Luu, Anh Tuan
|
|
2012
|
6 |
1 |
p. 57-75
|
artikel
|
| 10 |
The use of mathematics in software quality assurance
|
Parnas, David Lorge
|
|
2012
|
6 |
1 |
p. 3-16
|
artikel
|
Tijdschrift beschrijving