About Frontiers of Computer Science in China(FCS)
aims to provide a forum for the publication of peer-reviewed papers to promote rapid communication and exchange between computer scientists in China and abroad. The journal covers all major branches of computer science
What's new
Number 2 / June, 2010
Documenting and verifying systems assembled from components 2010, 4(2): 151-161
Zhiying Liu, David Lorge Parnas, Baltasar Trancon y Widemann
A concern-based approach to generating formal requirements specifications 2010, 4(2): 162-172
Ying Jin, Jing Zhang, Weiping Hao, Pengfei Ma, Yan Zhang, Haiyan Zhao, Hong Mei
On the computation of quotients and factors of regular languages 2010, 4(2): 173-184
Mircea Marin, Temur Kutsia
Guest Editors: Shuo Bai, Shouyang Wang, Lean Yu, Aoying Zhou
--financial risk analysis and modeling
--strategic games, financial distress diagnosis and fund performance evaluation
--business cycle turning point forecasting, option pricing, and Chinese public pension system
Number 1 / March, 2010
Special section on Trustworthy Computing 2010, 4(1)
Guest Editor: He Jifeng
Recent advances in program verification through computer algebra 2010, 4(1): 1-16
Lu YANG, Chaochen ZHOU, Naijun ZHAN, Bican XIA
Static worst-case execution time analysis of the 
C/OS-II
real-time kernel 2010, 4(1): 17-27
Mingsong LV, Nan GUAN, Qingxu DENG, Ge YU, Wang YI
A semantic model of confinement and Locality theorem 2010, 4(1): 28-46
Shuling WANG, Qin SHU, Yijing LIU, Zongyan QIU
TRainbow: a new trusted virtual machine based platform 2010, 4(1): 47-64
Yuzhong SUN, Haifeng FANG, Ying SONG, Lei DU,et al
Special sections and CFP
CFP on Interdisciplinary progresses on network(ing) science, information theory, and bioinformatics 2011
CFP on Cognitive Sense of China 2010, 4(3)
CFP on Trustworthy Computing 2010, 4(1)
CFP on Financial Information Processing and the development of Emerging Financial Markets 2010, 4(2)
Parallel architecture, algorithm and programming 2009, 3(3)
Complex networks and computing 2009, 3(3)
Financial information processing 2009, 3(2)
From nature to computing and back 2009, 3(1)
Software Engineering 2008, 2(4)
Peer-to-Peer computing and Web data management 2008, 2(3)
Theoretical quantum computing 2008, 2(2)
Foundations of software 2008, 2(1)
Most cited articles
A model for BPEL-like languages He Jifeng, Zhu Huibiao, Pu Geguang 2007,1(1):9-19
Controlled teleportation Xihan Li,Fuguo Deng 2008, 2(2):147-160
Offline Chinese handwriting recognition: an assessment of current technology Sargur N. Srihari1 , Xuanshen Yang1 and
Gregory R. Ball1 2007,1(2):137-155
A survey of passive technology for digital image forensics Luo Weiqi, Qu Zhenhua, Pan Feng ,Huang Jiwu 2007, 1(2):166-179
