| 論文題目 | 第一作者 | 發表年度 | 刊物/會議名稱 |
|---|---|---|---|
| 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 | 計算機應用與軟件 |
