| 論文題目 | 第一作者 | 發表年度 | 刊物/會議名稱 |
|---|---|---|---|
| Improving Word Sense Induction by Exploiting Semantic Relevance | 張振中 | 2011 | the 5th International Joint Conference on Natural Language Processing |
| Checking compatibility of context-aware service protocols | 高楚舒 | 2011 | The 6th International Symposium on Service-Oriented System Engineering |
| Scalability studies of an implicit shallow water solver for the Rossby-Haurwitz problem | 楊超 | 2011 | Lecture Notes in Computer Science |
| PolyE+CTR: A Swiss-Army-Knife Mode for Block Ciphers | 張立廷 | 2011 | |
| A Benefit-aware On-demand Provisioning Approach for Cloud Computing | 吳恒 | 2011 | Third Asia Pacific Symposium on Internetware 2011 Nanning |
| Detecting Class Loading Problems in Java Web Applications | 周曉煒 | 2011 | Third Asia Pacific Symposium on Internetware 2011 Nanning |
| Toward Highly Concurrent Process Virtual Machine Based on Event-driven Architecture | 吳東堯 | 2011 | Third Asia Pacific Symposium on Internetware 2011 Nanning |
| Runtime Monitoring of Composite Web Services with BC-Mon4BPEL | 邵小哲 | 2011 | Third Asia Pacific Symposium on Internetware 2011 Nanning |
| Enhancing Flexibility of TCG’s TNC through Layered Property Attestation | 于愛民 | 2011 | |
| A DRTM-based Method for Trusted Network Connection | 馮偉 | 2011 | |
| CoolMag: a tangible interaction tool to customize instruments for children in music education | 張誠 | 2011 | UbiComp '11 Proceedings of the 13th international conference on Ubiquitous computing |
| 空間事件檢測的加速策略研究 | 胡佳鋒 | 2011 | 第7屆全國普適計算學術會議 |
| 第三屆中文傾向性分析評測ISCAS-Opinion系統報告 | 韓先培 | 2011 | 第三屆中文傾向性分析評測論文集 |
| Security of the SMS4 Block Cipher Against Differential Cryptanalysis | Su,BZ | 2011 | JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY |
| IOT Gateway: Bridging Wireless Sensor Networks into Internet of Things | 朱倩 | 2010 | |
| FireGuide: A Context-Aware Fire Response Guide for the Building Occupants | 李元平 | 2010 | |
| information security and cryptology | 林東岱 | 2010 | |
| Recent Advances in Program Verification through Computer Algebra | 2010 | Frontiers of Computer Science in China | |
| On Hierarchically Developing Reactive Systems | 2010 | INFORMATION AND COMPUTATION | |
| Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence | Xiaowei Huang | 2010 | THE COMPUTER JOURNAL |
| 采用了剪枝優化的子類型關系判定算法 | 戴曉君 | 2010 | 軟件學報 |
| 改進的以SMT為基礎的實時系統限界模型檢測 | 徐亮 | 2010 | 軟件學報 |
| A Heuristic Approach to Positive Root Isolation for Multiple Power Sums | 2010 | Journal of Universal Computer Science | |
| The Computational SLR: A Logic for Reasoning about Computational Indistinguishability | 2010 | Math. Struct.in Comp. Science | |
| Loop Formulas for Description Logic Programs | 2010 | Theory and Practice of Logic Programming | |
| Extending the Strand Space Method with Timestamps: Part I the Theory | 李勇堅 | 2010 | Jounal of Information Security |
| Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V | 李勇堅 | 2010 | Jounal of Information Security |
| 基于復用計算的大紋理實時合成 | 陳昕 | 2010 | 計算機學報 |
| 用圓錐體擬合線性模型點云數據的優化計算 | 孫春娟 | 2010 | 計算機輔助設計與圖形學學報 |
| Parametric Search: Three New Applications | 王文成 | 2010 | Front. Math. China |
