Volume 2, Number 1, March 2008
- Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS.
1-11
- Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi:
Calculi of meta-variables.
12-21
- Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio, Yasuwo Ikeda:
Human factors in continuous time-concerned cooperative systems represented by N Sigma-labeled calculus.
22-28
- Yixiang Chen, Hengyang Wu:
Semantics of sub-probabilistic programs.
29-38
- Asem Kasem, Tetsuo Ida:
Computational origami environment on the web.
39-54
- Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the verification of polynomial system solvers.
55-66
- Wenqin Zhou, David J. Jeffrey:
Fraction-free matrix factors: new forms for LU and QR factors.
67-80
- Lifei Chen, Qingshan Jiang:
An extended EM algorithm for subspace clustering.
81-86
- Chuangbai Xiao, Jing Yu, Kaina Su:
Gibbs artifact reduction for POCS super-resolution image reconstruction.
87-93
- Juanzi Li, Jie Tang, Jing Zhang, Qiong Luo, Yunhao Liu, MingCai Hong:
Arnetminer: expertise oriented search using social networks.
94-105
- Lingling Wang, Guoyin Zhang, Chunguang Ma:
ID-based deniable ring authentication with constant-size signature.
106-112
Volume 2, Number 2, June 2008
- Guilu Long, Tzyh Jong Tarn:
Progress in theoretical quantum computing.
113
- Xiuhong Gao, Albeverio Sergio, Kai Chen, Shaoming Fei, Xianqing Li-Jost:
Entanglement of formation and concurrence for mixed states.
114-128
- Wei Cui, Zairong Xi, Yu Pan:
Decoherence control for high-temperature reservoirs.
129-137
- Dafa Li:
Quantum fixed-point search algorithm with general phase shifts.
138-142
- Hao Chen:
Constructing quantum codes.
143-146
- Xihan Li, Fuguo Deng:
Controlled teleportation.
147-160
- Jiafu Xu, Fanming Song:
Quantum programming languages.
161-166
- Guilu Long, Yang Liu:
Duality quantum computing.
167-178
- Ting Gao, Fengli Yan, Zhixi Wang, Youcheng Li:
Quantum probabilistically cloning and computation.
179-189
- Yuchun Wu, Guangcan Guo:
High-dimension Bell inequalities.
190-192
- Daowen Qiu, Lvzhou Li:
An overview of quantum computation models: quantum automata.
193-207
Volume 2, Number 3, September 2008
- Aoying Zhou:
Introduction to the special section on peer-to-peer computing and web data management.
209-210
- Bin Yang, Weining Qian, Aoying Zhou:
Using Wide Table to manage web data: a survey.
211-223
- Rong Zhang, Koji Zettsu, Yutaka Kidawara, Yasushi Kiyoki:
Decentralized architecture for resource management of group-based distributed systems.
224-233
- Mei Li, Wang-Chien Lee, Anand Sivasubramaniam, Jizhong Zhao:
Supporting K nearest neighbors query on high-dimensional data in P2P systems.
234-247
- Jianliang Xu, Xueyan Tang, Wang-Chien Lee:
Distributed query processing in flash-based sensor networks.
248-256
- Fengrong Li, Takuya Iida, Yoshiharu Ishikawa:
Traceable P2P record exchange: a database-oriented approach.
257-267
- Yuanyan Tang:
Status of pattern recognition with wavelet analysis.
268-294
- Jian Yang, Jing-Yu Yang, David Zhang:
Median Fisher Discriminator: a robust feature extraction method with applications to biometrics.
295-305
- Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv:
Dynamic description logic model for data integration.
306-330
Volume 2, Number 4, December 2008
- Lan Lin, Jesse H. Poore:
Pushing requirements changes through to changes in specifications.
331-343
- Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic.
344-356
- Jun Pang, Zhengqin Luo, Yuxin Deng:
On automatic verification of self-stabilizing population protocols.
357-367
- Jun Sun, Yang Liu, Jin Song Dong, Jing Sun:
Compositional encoding for bounded model checking.
368-379
- Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua:
Automated verification of pointer programs in pointer logic.
380-397
- Antonio Brogi, Razvan Popescu:
Workflow-based semantics for peer-to-peer specifications.
398-412
- Lianwei Guan, Xingyu Li, Hao Hu, Jian Lu:
A Petri net-based approach for supporting aspect-oriented modeling.
413-423
- Yue Hu, Xiaoyu Gao, Li Li, Qingshi Gao:
Style transformation in natural languages.
424-430
- Yunping Zheng, Chuanbo Chen, Mudar Sarem:
An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles.
431-437
- Xin Li, Bei Hua, Yi Shang, Yan Xiong:
A robust localization algorithm in wireless sensor networks.
438-450
- Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui:
Types, structures and theories in NKI.
451-459
Last update Thu May 23 18:48:07 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
