| 论文题目 | 第一作者 | 发表年度 | 刊物/会议名称 |
|---|---|---|---|
| An additive problem with primes in arithmetic progressions | 张振峰 | 2005-1-1 | Acta Mathematic Sinica, English Series |
| A randomized RSA-based partially blind signature scheme for Electronic cash | 曹天杰 | 2005-1-1 | Computers & Security |
| Collision Attack of Reduced-Round Camellia | 吴文玲 | 2005-1-1 | sciences in china,series F |
| Survey Propagation:一种求解SAT的高效算法 | 李韶华 | 2005-1-1 | 计算机科学 |
| An Effective Two-Stage Neural Network Model and Its Application on Flood Loss Prediction | 杨立 | 2005-1-1 | Lecture Notes in Computer Science |
| Survey Propagation:一种求解SAT的高效算法 | 李韶华 | 2005-1-1 | 计算机科学 |
| Web应用服务器中实体BEAN的性能优化策略 | 杨波 | 2005-1-1 | 计算机科学 |
| Cryptanalysis of some signature scheme with message recovery | 张振峰 | 2005-1-1 | Applied mathematics and Computation |
| Dynamic Enforcement of the Strict Integrity Policy | 张相锋 | 2005-1-1 | Chinese Journal of Electronics |
| 一种面向混合实时事务调度的并发控制协议 | 王强 | 2005-1-1 | 计算机研究与发展 |
| A survey and trends on Internet worms | 卿斯汉 | 2005-1-1 | Computers & Security |
| 面向对象的安全评估方法 | 李小满 | 2005-1-1 | 计算机工程与设计 |
| Co-operative Private Equality Test | 李荣花 | 2005-1-1 | International Journal of Network Security |
| 一种改进的基于记忆的自适应汉语语言模型 | 张俊林 | 2005-1-1 | 中文信息学报 |
| 广义向量Bent函数 | 张文英 | 2005-1-1 | 电子与信息学报 |
| 基于业务对象模型的业务规则语言的设计与实现 | 徐黎 | 2005-1-1 | 计算机应用研究 |
| The Implementation of an Enterprise Application Integration Platform | 徐俊刚 | 2005-1-1 | Chinese Journal of Electronics |
| 笔式用户界面交互信息模型研究 | 李杰 | 2005-1-1 | 软件学报 |
| Predicate μ-Calculus for Mobile Ambients | 林惠民 | 2005-1-1 | Journal of Computer Science and Technology |
| Projective volume rendering by excluding occluded voxels | 王文成 | 2005-1-1 | International Journal of Image and Graphics |
| Quasi-star-free languagaes on infinite words | 吴志林 | 2005-1-1 | Acta Cybernetica |
| 一种分布式系统中线程池的设计与实现 | 邵鸣年 | 2005-1-1 | 计算机工程与设计 |
| Early Results for Chinese Named Entity Recognition Using Conditional Random Fields Model, HMM and Maximum Entropy | 冯元勇 | 2005-10-30 | 民族语言处理与智能国际会议 |
| A Parking Management System Based on Wireless Sensor Network | 毕艳忠 | 2005-10-20 | 传感器网络与应用国际研讨会 |
| Compositional of Fixpoint Logic with Chop | 詹乃军 | 2005-10-17 | Theoretical Aspects of Computing2005 |
| Symbolic Model Checking of Finite Precision Time Automata | 晏荣杰 | 2005-10-17 | Theoretical Aspects of Computing2005 |
| Symobolic Model Checking of Finite Precision Timed Automata | 晏荣杰 | 2005-10-17 | The Second Iternational Colloquium on Theoretical Aspects of Computing |
| 三向交错网格上的Cauchy-Riemann方程的数值离散及快速求解 | 杨超 | 2005-10-17 | 2005全国高校计算数学年会暨全国青年计算数学研讨会 |
| 基于身份的可验证门限签密方案 | 张立武 | 2005-10-13 | 2005中国计算机大会 |
| Blocking MSN: A Case Study of Preventing the Abuse of IM | 胡振宇 | 2005-10-3 | 2005 亚太通信会议 |
