| 论文题目 | 第一作者 | 发表年度 | 刊物/会议名称 |
|---|---|---|---|
| Modeling the Large-Scale Device Control System Based on PI-Calculus | Deng,P | 2011 | ADVANCED SCIENCE LETTERS |
| ON GUESS AND DETERMINE ANALYSIS OF RABBIT | Feng,XT | 2011 | INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
| On the derandomization of the graph test for homomorphism over groups | Tang,LQ | 2011 | THEORETICAL COMPUTER SCIENCE |
| On the number of infinite sequences with trivial initial segment complexity | Barmpalias,G | 2011 | THEORETICAL COMPUTER SCIENCE |
| Real Time Edit Propagation by Efficient Sampling | Bie,XH | 2011 | COMPUTER GRAPHICS FORUM |
| Exploring structural symmetry automatically in symbolic trajectory evaluation | Li,YJ | 2011 | FORMAL METHODS IN SYSTEM DESIGN |
| EXTENDED PROBABILISTIC LATENT SEMANTIC ANALYSIS MODEL FOR TOPICS IN TIME-STAMPED IMAGES | Liao,XF | 2011 | INTELLIGENT AUTOMATION AND SOFT COMPUTING |
| Free Appearance-Editing with Improved Poisson Image Cloning | Bie,XH | 2011 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY |
| Improved Integral Attacks on Rijndael | Li,YJ | 2011 | JOURNAL OF INFORMATION SCIENCE AND ENGINEERING |
| Inferring specifications for resources from natural language API documentation | Zhong,H | 2011 | AUTOMATED SOFTWARE ENGINEERING |
| Kolmogorov complexity of initial segments of sequences and arithmetical definability | Barmpalias,G | 2011 | THEORETICAL COMPUTER SCIENCE |
| A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL | 2011 | THEORETICAL COMPUTER SCIENCE | |
| AN ALMOST-UNIVERSAL CUPPING DEGREE | 2011 | JOURNAL OF SYMBOLIC LOGIC | |
| A Case Study on REST-Style Architecture for Cyber-Physical Systems: Restful Smart Gateway | 2011 | COMPUTER SCIENCE AND INFORMATION SYSTEMS | |
| A comparative study of TF*IDF, LSI and multi-words for text classification | 2011 | EXPERT SYSTEMS WITH APPLICATIONS | |
| A NEW METHOD OF LINE FEATURE GENERALIZATION BASED ON SHAPE CHARACTERISTIC ANALYSIS | 2011 | METROLOGY AND MEASUREMENT SYSTEMS | |
| 网络分布计算与软件工程 | 冯玉琳 | 2011 | |
| 面向MapReduce的数据处理流程开发方法 | 易小华 | 2011 | 计算机科学与探索 |
| stable cohesion metrics for evolving ontologies | 马应龙 | 2011 | Journal of Software Maintenance and Evolution |
| 动态网络空间中的k-NN查询 | 殷晓岚 | 2011 | 电子学报 |
| 多租户Web应用的CPU资源动态评估方法 | 王伟 | 2011 | 计算机学报 |
| 一种面向Mashup自动构造的目标分解方法 | 白琳 | 2011 | 计算机科学 |
| 一种支持声明式表示层集成的组件模型 | 李辉 | 2011 | 计算机系统应用 |
| 空间事件的检测及优化策略研究 | 胡佳锋 | 2011 | 软件学报 |
| 支持JSR286和WSRP2.0规范的Portlet协作的设计 | 孙国洋 | 2011 | 计算机应用与软件 |
| 一种多门户环境下服务管理框架的设计 | 尼建 | 2011 | 计算机应用与软件 |
| Portlet桥接的设计与实现 | 樊伟 | 2011 | 计算机工程与设计 |
| 收益驱动的复合服务恢复策略选择方法 | 夏永霖 | 2011 | 小型微型计算机系统 |
| 应用层组播动态调整问题的研究 | 张更欣 | 2011 | 计算机工程与设计 |
| 一种轻量级数据持久框架的设计与实现 | 屈夏 | 2011 | 计算机应用与软件 |
