地图     English
往年学术论文

出自计算机科学国家重点实验室

首页 > 学术研究 > 往年学术论文
跳转到: 导航, 搜索


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  • 2006年
  1. 晏荣杰,李广元,徐雨波,刘春明:有限精度时间自动机的可达性检测,软件学报,Vol17.No.1 p.p.1-10
  2. 夏传良,焦莉,陆维明:Petri网精细化操作及其在系统设计中的应用,软件学报,Vol17.No.1 p.p.11-19
  3. Zhang Wei,Liu Hengchang,Zhao Baohua,Qu Yugui:Power Consumption Model in Two-tiered Wireless Sensor Networks,Chinese Journal of Electronics, Vol15.No.1 p.p.160-165
  4. Heng-Chang,Zhao Baohua, A Near-Optimal Optimization Algorithm for Link Assignment in Wireless Ad-Hoc Networks,Journal of Computer Science and Technology, Vol21.No.1 p.p.89-94
  5. 赵保华, 张炜, 刘恒昌, 屈玉贵: 无线传感器网络中的组划分算法, 计算机学报, Vol29.No.1 p.p.161-165
  6. 李胜,冀俊峰,刘学慧,吴恩华:超大规模地形场景的高性能漫游,软件学报,Vol17.No.3 p.p.535-545
  7. 柳有权,刘学慧,吴恩华:基于GPU带有复杂边界的三维实时流体模拟,软件学报,Vol17.No.3 p.p. 568-576
  8. 杨刚,孙汉秋,王文成,吴恩华:基于GPU真实感毛发绘制,软件学报,Vol17.No.3 p.p. 577-586
  9. 朱雪阳,唐稚松:Statecharts的组合语义与求精,软件学报,Vol17.No.4 p.p. 670-681
  10. 王文成,魏峰,吴恩华:绘制大规模场景的可见性计算技术,计算机辅助设计与图形学学报,Vol18.No.2 p.p.181-188
  11. 刘保权,吴恩华,刘学慧:基于GPU的交互式动态折射绘制算法,计算机辅助设计与图形学学报,Vol18.No.11 p.p. 1652-1657
  12. 冀俊峰, 李胜,刘学慧,吴恩华:细节高度复杂表面模型的视点相关渐进传输,软件学报,Vol17.No.10 p.p. 2192-2199
  13. 王文成,魏峰,吴恩华:View Dependent Sequential Point Trees,Journal of Computer Science and Technology,Vol21.No.2 p.p. 181-188
  14. 朱红斌,刘学慧,柳有权,吴恩华:Simulation of Miscible Binary Mixtures Based on Lattice Boltzmann Method,Computer Animation & Virtual Worlds,Vol17.No.3-4 p.p. 403-411
  15. 孙春娟,王文成,李静,吴恩华:基于凸片段分解的多边形窗口线裁剪算法,计算机辅助设计与图形学学报,Vol18.No.12 p.p. 1799-1805
  16. 魏峰, 王文成, 吴恩华:体数据可视化的线绘制视频,计算机学报,Vol19.No.12 p.p. 2086-2095
  17. 焦莉,T. Y. Cheung:Compositional Verification for Workflow Nets,Journal of Circuits, Systems and Computers,Vol15.No.4 p.p. 551-570
  18. 凌波,吴永辉:xml模式中隐式冗余不存在的充分条件,计算机研究与发展,增刊.No.43. p.p. 407-412
  19. 吴端仪,陈雷,陈海明:上下文无关文法的句子生成方法综述,计算机科学,增刊.No.33. p.p. 63-67
  20. Gilles Dowek,蒋颖:Eigenvariables, bracketing and the decidability of positive minimal predicate logic,Theoretical Computer Science,p.p. 193-208
  21. 董韫美:CFL 句子计数和分层词典序枚举,中国科学 E辑 信息科学,Vol36.No.12 p.p. 1375-1413
  22. 张文辉:Structure of proofs and the complexity of cut elimination,Theoretical Computer Science,p.p. 63-70
  23. 易锦,张文辉:从基于迁移的扩展Buchi自动机到Buchi自动机,Journal of Software,Vol17.No.4 p.p. 720-728
  24. 王一平,王文成,吴恩华:块纹理合成的优化计算,计算机辅助设计与图形学学报,Vol18.No.10 p.p. 1502-1507
  25. 王文成, 李奎宇,吴恩华:Stick Textures for image-based rendering,Graphical Models,p.p. 294-306
  26. 吴艳,王文成,吴恩华:三维面模型的几何压缩技术综述,计算机科学,Vol33.No.3 p.p.1-6
  27. 陈海明,董韫美:Facilitating formal specification acquisition by using recursive functions on context-free languages,Knowledge-Based SYSTEMS,p.p.141-151
  28. 魏峰, 王文成,吴恩华:快速高精度的可见面选择,Journal of Software,Vol17.No.10 p.p. 2199-2210
  29. 朱红斌,刘学慧,柳有权,吴恩华:基于Lattice Boltzmann模型的液-液混合流模拟,计算机学报,Vol29.No.12 p.p.2071-2079
  30. 潘宏,林惠民,吕毅:Model Checking Data Consistency for Cache Coherence Protocols,JCST,Vol21.No.5 p.p. 765-775
  31. 徐贵红,张健:基于约束的主动规则终止性分析,计算机研究与发展,Vol43.No.5 p.p. 894-900
  32. 季晓慧,张健:一种求解混合约束问题的快速完备算法,计算机研究与发展,Vol43.No.3 p.p. 551-556
  33. 吴萍,陈意云,张健:多线程程序数据竞争的静态检测,计算机研究与发展,Vol43.No.2 p.p. 329-335
  34. 黄蒙,舒风笛,李明树, “一种风险驱动的迭代开发需求优先级排序方法”,软件学报,2006,Vol.17, No.12: 2450-2460
  35. 武占春,王青,李明树, “一种基于PDCA的软件过程控制与改进模型”,软件学报,2006,Vol.17, No.8: 1669-1680
  36. Mingshu Li,Barry W.Boehm,Leon J. Osterweil, “Unifying the Software Process Spectrum”,软件学报,2006,Vol.17, No.4: 649-657
  37. 赵欣培,李明树,陈振冲,王青, “一种基于协商的软件过程协同方法”,计算机研究与发展,2006,Vol.43, No.2: 314-320
  38. 李娟,袁峰,李明树,王青, “一种基于模型融合的CMM实施过程建模方法”,计算机学报,2006,Vol.19, No.1: 54-65
  39. 陈 靖,张云泉,张林波,袁伟:一种新的MPI Allgather算法及其在万亿次机群系统上的实现与性能分析,计算机学报,Vol.29,No.5. pp.808-814
  40. 张勇、黄涛、魏峻、陈宁江.:基于容器中间件的组件系统体系结构性能评价,软件学报,Vol.17,No.6.PP1328-1337
  41. 张文博、陈宁江、魏峻、黄涛: QoS获益驱动的中间件调度框架研究,软件学报, Vol.17,No.6 P1381-1390
  42. 官荷卿、张文博、魏峻、黄涛: 一种应用敏感的Web服务请求调度策略,计算机学报,Vol.29,No.7 P1189-1198
  43. 黄涛、丁晓宁、魏峻: 基于应用语义的网构软件松弛事务模型研究,《中国科学》(E辑信息科学), Vol.36,No.10 P1170-1188
  44. 陈宁江、魏峻、杨波、黄涛: Web应用服务器的适应性失效检测,软件学报, Vol.16,No.11, P1929-1938
  45. Huang Tao,Ding Xiaoning, Wei jun:An application-semantics-based relaxed transaction model for internetware, Science in China SeriesF—Information Sciences, Vol.49,No.6 P774-791
  46. Carl G. Gockusch Jr., Angsheng Li: Restricted jump interpolation in the d.c.e. degrees, Mathematical Structures in Computer Science (2006), Vol. 16, pp 841 –865
  47. 刘军祥,王永吉,王源,邢建生,曾海涛:基于逻辑"或"约束优化的实时系统设计,软件学报,Vol. 17,No.7,2006,pp. 1641-1649.
  48. 薛云志,陈伟,王永吉,赵琛,王青,一种基于Messy GA的结构测试数据自动生成方法,软件学报,Vol. 17,No. 8,2006,pp. 1688-1697
  49. 童杰,王永吉,基因电路研究综述,小型微型计算机系统,Vol. 27,No. 6,2006,pp. 1129-1133
  50. 陈秋萍,吴立国,王永吉,基于JSF的网格门户设计与实现,计算机工程与设计,Vol. 27,No. 19,2006,pp. 3511-3514


  • 2005年
  1. H.J.Huang, 焦莉, T.Y.Cheung:Property-preserving Subnet Reductions for Designing Manufacturing Systems with Shared Resources,Theoretical Computer Science ,2005,Vol.332 ,No.1-3, p.p. 461-485
  2. 季晓慧,张健: 求解布尔与非线性数值约束相混合的约束问题, 软件学报, 2005, Vol.16 , No.5 p.p. 659-668
  3. 吴鹏, 施小纯, 唐江峻, 林惠民: 关于蜕变测试和特殊用例测试的实例研究, 软件学报,2005, Vol.7 ,No.16, p.p. 1210-1220
  4. 吴鹏: Analyzing Interoperability of Protocols Using Model Checking, Chinese Journal of Electronics, Vol.14,No.3, p.p. 453-457
  5. 李韶华,张健:Survey Propagation:一种求解SAT的高效算法,计算机科学,Vol.32 ,No.1, p.p. 132-137
  6. 翟洁,邵志清:基于Tecton的验证系统Violet,华东理工大学学报,Vol.31,No.2, p.p. 198-202
  7. 程华,邵志清,房一泉:Internet流量的多重分形分析,通信学报,Vol.25,No.1, p.p. 27-30
  8. 关涛,邵志清,李庆超,吴庆涛:基于DNA序列切片重组技术的信息加密算法,计算机工程,Vol.31,No.4, p.p. 152-154
  9. 朱雪阳,唐稚松:UML活动图的时序逻辑语义,计算机研究与发展,Vol.42,No.9, p.p. 1478-1484
  10. 李石君,欧伟杰,简伟,黄河:基于有限状态自动机提取不规范表结构Web信息,武汉大学(工学版),2005.6
  11. 王文成,李静,吴恩华: 2D Point-in-polygon test by classifying edges into layers, COMPUTERS & GRAPHICS, Vol.26, p.p. 427-439
  12. 郭力真,费广正,王文成,吴恩华: 结合纹理特征的模型简化误差度量算子, 计算机学报, Vol.28,No.28, p.p. 1055-1061
  13. 魏峰,王文成,吴恩华: 结合可见性处理的顺序点模型树, 计算机学报, Vol.28,No.28, p.p. 950-958
  14. 柳有权,王文成,吴恩华:快速真实地生成树的自然摇曳,.计算机学报 Vol.28,No.28, p.p. 1185-1191
  15. 王海洋,蔡康颖,王文成,吴恩华: 外存模型简化中数据读取及内存分配的优化, 计算机辅助设计与图形学学报,Vol.17,No.8, p.p. 1736-1743
  16. 焦莉, hejiao huang, to-yat cheung: Property-Preserving Composition by Place Merging, Journal of Circuits,Systems,And Computers, Vol.14,No.4, p.p. 793-812
  17. 焦莉, to-yat cheung,陆维明: Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction, The Computer Journal, Vol.48,No.6, p.p. 642-701
  18. li liang 马华东,李广元: Formal Specification and Model-Checking of CSMA/CA Using Finite Precision Timed Automata, The Journal of China Universities of Posts and Telecommunications, Vol.12,No.3, p.p. 33-38
  19. 柳有权,朱宏斌,刘学慧,吴恩华:real time simulation of physically based on-surface flow, the visual computer international journal of computer graphics ,Vol.10,No.8, p.p. 727-734
  20. 柳有权,刘学慧,朱宏斌,吴恩华:基于物理的流体模拟动画综述,计算机辅助设计与图形学学报,Vol.10,No.12,
  21. 吴金钟,刘学慧,吴恩华:超量外存地表模型的实时绘制技术研究,计算机辅助设计与图形学学报,Vol.10,No.12,
  22. 黄拙,张健:由一阶逻辑公式得到命题逻辑可满足性问题实例,软件学报, Vol.16, No.3 p.p. 327-335
  23. 吴萍,陈意云,张健:并发Java程序同步操作的有效删除,软件学报,Vol.16, No.10 p.p. 1708-1716
  24. 季晓慧,黄拙,张健:约束求解与优化技术的结合,计算机学报,Vol.28, No.11 p.p. 1790-1797
  25. 冷小羽,张健:基于ActiveX Scripting 技术的测试软件开发,计算机工程与设计,Vol.26,No.2, p.p. 488-494
  26. 张健,黄拙:Reducing Symmetries to Generate Easier SAT Instances,Electronic Notes in Theoretical Computer Science,Vol.125,No.3, p.p. 149-151
  27. 林惠民:A Predicate μ-Calculus for Mobile Ambients,JCST,Vol.20,No.1,p.p. 95-104
  28. 张国强,蒋颖:On an open problem of Amadio and Curien: The finite antichain condition,Information and Computation, p.p. 87-103
  29. 沈扬,陈海明:基于上下文依赖规则覆盖的句子生成,计算机工程与应用,Vol.41,No.17, p.p. 96-100
  30. 陈坚,王文成,吴恩华:单目视频中无标记的人体运动跟踪,计算机辅助设计与图形学学报,Vol.17,No.9, p.p. 2033-2039
  31. 王文成,孙汉秋,吴恩华:Projective volume rendering by exculding occluded voxels,International Journal of Image and Graphics,Vol.5,No.2, p.p. 413-431
  32. 张文辉:模态逻辑与模型检测,中国计算机学会通讯,Vol.2,No.1, p.p. 22-26
  33. 吴志林:Quasi-star-free languagaes on infinite words,Acta Cybernetica,Vol.17,No.1, p.p. 75-93
  34. 杨刚,王文成,吴恩华:基于边界图的纹理合成方法,计算机研究与发展,Vol.42,No.12, p.p. 2118-2125
  35. 陈坚,吴恩华:单目视频中人体三维运动的迭代优化估计,计算机辅助设计与图形学学报,Vol17,No.7, p.p. 1523-1528
  36. 李勇坚:contextual labelled semantics for higher-order process calculi,ENTCS, p.p. 61-77
  37. 吕欣岩,赵保华, 周颢:一种动态协议一致性测试方法,中国科学技术大学学报,Vol35,No.3, p.p. 396-403
  38. 郭雄辉,赵保华,钱兰:被动测试中的错误诊断算法,中国科学技术大学学报,Vol35,No.3, p.p. 385-391
  39. 柯尧,赵保华,屈玉贵:基于组件系统的可靠性分析,中国科学技术大学学报,Vol28,No.6, p.p. 115-119
  40. 卢武昌,胡山立:基于神经网络的Agent电子商务协商模型,计算机应用,Vol25,No.7, p.p. 1638-1650
  41. 肖美华,薛锦云:Moleling and Verifying Cryptographic Protocols Using SPIN/Promela,International Journal of Computer & Information Science,Vol6,No.1, p.p. 1-12
  42. 郑宇君,石海鹤,薛锦云:Spec#语言中的形式化特性,计算机科学,Vol32,No.8, p.p. 135-139
  43. 郑宇君,王连来,薛锦云: 面向装备联勤保障的约束程序设计框架, 南京大学学报, Vol41, p.p. 30-34
  44. 唐渊,孙家昶,张云泉:集群网络评测模型的新探索,软件学报,Vol16,No.6 p.p.1131-1139
  45. 袁伟,张云泉,孙家昶:国产万亿次机群系统NPB性能测试分析,计算机研究与发展,Vol42,No.6, p.p. 1079-1084
  46. 赫然,王永吉,王青:一种改进的自适应逃逸微粒群算法及试验分析,软件学报,Vol16,No.12,p.p. 2036-2044
  47. 丁丽萍,王永吉:计算机取证的相关法律技术问题研究,软件学报,Vol16,No. 2,p.p.260-275
  48. 张晓刚,李明树:基于工作流的知识流建模与控制,软件学报,Vol16,No. 2,p.p. 184-193
  49. 邢建生,刘军祥,王永吉:RM及其扩展可调度性判定算法的性能分析,计算机研究与发展,Vol42,No.11,p.p. 2025-2032
  50. 李娟,李明树,武占春:基于SPEM的CMM软件过程元模型,软件学报,Vol16,No.18,p.p. 1366-1377
  51. 廖渊,怀晓永,李明树:QuCOM:一种面向构件系统的QoS管理模型,计算机研究与发展,Vol42,No.10,p.p. 1802-1808
  52. 张晓钢,李明树, “基于工作流的知识流建模与控制”,软件学报,2005,Vol.16, No.2: 184-193
  53. Li Mingshu, “Expanding the Horizons of Software Development Processes: A 3-D Integrated Methodology", Software Process Workshop 2005: 54-67
  54. 王晓曦,王永吉,周津慧:基于改进网络模型的大时滞网络拥塞控制算法,电子学报,Vol33,No.5,p.p. 842-846
  55. 廖渊,唐磊,李明树:一种基于Qos的服务构件组合方法,计算机学报,Vol28,No.4,p.p. 627-634
  56. 陈宁江,魏俊,杨波,黄涛:web应用服务器的适应性失效检测,软件学报,Vol16.No.11 p.p.1929-1938
  57. 王永吉, Matthew Cartmell, Qiuming Tao, Han Liu, A Generalized Real-Time Obstacle Avoidance Method without the Cspace Calculation, Journal of Computer Science and Technology (JCST),Vol. 20, No.6, 2005, pp. 774-787.
  58. Chenyong Hu, Benyu Zhang, 王永吉, Zheng Chen, Qing Wang, Qiang Yang: Learning quantifiable associations via Principal Sparse Non-negative Matrix Factorization, International Journal Intelligent Data Analysis, 2005, pp. 603-620.
  59. 刘军祥,王永吉,M. Cartmell,一种改进的RM可调度性判定算法,软件学报,Vol. 16,No. 1,2005,pp. 89-100
  60. 丁丽萍,王永吉,计算机取证研究综述,通讯和计算机(Journal of Communication and Computer),Vol. 2,No. 8,2005,pp. 1-9


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  • 2006年
  1. Jing Li,Yu Gu,Wei Zhang,赵葆华:MIMO Techniques in Cluster-Based Wireless Sensor Networks,International Workshop on Sensor Networks(IWSN2006),2006年1月
  2. 詹乃军:Connecting Algebraic and Logical Descriptions of Concurrent Systems,IEEE-ISoLA 2006,2006年11月
  3. 蒲飞,张文辉,王绍春:An Improved Case-Based Approach to LTL Model Checking,RISE 2005,2006年
  4. Weiya Yue,徐艳艳,Kaile Su:BDDRPA: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning,AI 2006,2006年
  5. 张文辉:SAT-Based Verification of LTL Formulas,FMICS 2006,2006年8月
  6. 蒲飞,张文辉:LTL Model Checking via Search Space Partition,QSIC 2006,2006年
  7. 王一平,王文成,吴恩华:Optimizing the Parameters for Patch-based Texture Synthesis, VRCIA 2006,2006年6月
  8. 蔡康颖,刘迎,王文成:Progressive Out-of-Core Compression Based on Multi-Level Adaptive Octree,VRCIA 2006,2006年6月
  9. 黄沛杰,王文成,杨刚,吴恩华:Traversal Field for Ray Tracing Dynamic Scenes,VRST 2006,2006年11月
  10. 陈海明,Tseren-Onolt Ishdorj,Gheorghe Paun:Computing Along the Axon,BIC-TA 2006,2006年9月
  11. 陈海明,董韫美:Towards Practical Computable Functions on Context-Free Languages,TAMC 2006,2006年5月
  12. 陈海明,Mihai Ionescu,Andrei Paun,Gheorghe Paun,Bianca Popa:On Trace Languages Generated by (small) Spiking Neural P Systems,Eighth International Workshop on Descriptional Complexity of Formal Systems,2006年6月
  13. 杨刚,孙汉秋,王文成,吴恩华:Interactive Fur Modeling Based on Hierarchical Texture Layers,VRCIA 2006,2006年6月
  14. 林羚,卢江,赵瑞莲:基于UML状态图的MM路径形式化表示及生成,CTC2006,2006年8月
  15. 吴鹏,林惠民:Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints,WSPC,2006年6月
  16. 严俊,张健:Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing,COMPSAC06,
  17. 刘生,张健:Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem,WI 06
  18. 许中兴,张健:A Test Data Generation Tool for Unit Testing of C Programs,QSIC 2006
  19. 严俊,Zhongjie Li,Yuan Yuan,Wei Sun,张健:BPEL4WS Unit Testing : Test Case Generation Using a Concurrent Path Analysis Approach,ISSRE06
  20. 贾祥雪,张健:A Powerful Technique to Eliminate Isomorphism in Finite Model Search,IJCAR 2006,2006年8月
  21. 刘生,张健:Using Hajos Construction to Generate Hard Graph 3-Colorability Instances,AISC2006,2006年9月
  22. 严俊,张健,许中兴:Finding Relations Among Linear Constraints,AISC2006,2006年9月
  23. 吴恩华,朱红斌,刘学慧,柳有权:simulation of Fluid Dynamics and Interactions,International Conference CYBERWORLDS 2006,2006年11月
  24. 李勇坚,Jun Pang:Generalized Unsolicited Tests for Authentication Protocol Analysis,Seventh International Conference on Parallel and Distributed Computing Applications and Technologies,2006年12月
  25. 刘保全,吴恩华,刘学慧:Interactive Rendering Dynamic Caustics on GPU,CGI2006,
  26. Mingshu Li, Meng Huang, Fengdi Shu, Juan Li: A risk-driven method for eXtreme programming release planning. ICSE 2006: Shanghai, China
  27. Qing Wang, Nan Jiang, Lang Gou, Xia Liu, Mingshu Li, Yongji Wang: BSR: a statistic-based approach for establishing and refining software process performance baseline. ICSE 2006
  28. Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du, “A Negotiation Model for the Process Agent in an Agent-Based Process-Centered Software Engineering Environment”, SEKE’06, San Francisco.California, 2006年7月
  29. Feng Yuan, Mingshu Li, Zhigang Wan, “SPEM2XPDL-Towards SPEM Model Enactment”, SERP’06, Las vegas.Nevada, 2006年6月
  30. Qing Wang, Junchao Xiao, Mingshu Li, M.Wasif Nisar, Rong Yuan, Lei Zhang, A Process-Agent Construction Method for Software Process Modeling in SoftPM, Software Process Workshop/Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006), Shanghai, China, 2006年5月
  31. Mingshu Li, “Assessing 3-D Integrated Software Development Processes: A New Benchmark”,Software Process Workshop/Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006) 2006年5月
  32. Mingshu Li, Qiusong Yang, Jian Zhai, Gouwei Yang,:On Mibility of Software Processes, Software Process Workshop/Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006), Shanghai, China, 2006年5月
  33. Da Yang, Yuxiang Wan, Zinan Tang, Jianshu Wu, Mei He, Mingshu Li, “COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty”, Software Process Workshop/Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006), Shanghai, China, 2006年5月
  34. Guoliang Chen, Guangzhong Sun, Yunquan Zhang, Zeyao Mo: Study on Parallel Computing, Journal of Computer Science and Technology, the 20th Anniversary of NSFC,2006年9月
  35. 宋刚,蒋孟奇,张云泉,李玉成,柳锴,陈靖:压缩算法的OpenMP并行化实现及并行解压缩初探, 2006全国高性能计算学术年会,2006年10月
  36. 陆涵隽,姚继锋,张云泉:循环语句存取复杂性模型及其应用, 2006全国高性能计算学术年会,2006年10月
  37. Yong Fu, 王宏安: Distributed Utilization Control for Real-Time Clusters with Load Balancing, Proc. RTSS, Rio, Brazil, 2006
  38. Weixin Wang, Hui Wang, 戴国忠,王宏安:Visualization of large hierarchical data by circle packing, ACM Conference on Human Factors in Computing Systems (CHI'06), Canada, 2006年4月
  39. Xiang Ao, Junfeng Li, Xugang Wang ,戴国忠: Structuralizing Digital Ink for Efficient Selection, the Proceedings of ACM International Conference on Intelligent User Interfaces (IUI), 2006, Sydney, Australia, pp.148 – 153
  40. Xugang Wang, Junfeng Li, Xiang Ao, Gang Wang ,戴国忠: Multimodal Error Correction for Continuous Handwriting Recognition in Pen-based user Interfaces, the Proc. of ACM International Conference on Intelligent User Interfaces (IUI), 2006, Sydney, Australia, pp.324-326
  41. Xiuli Wang, 王永吉, Hui Zhou : QSCM: Engineering QoS in Web-based Software Configuration Management System, In proceedings of IEEE/WIC/ACM International Conference on Web Intelligence (IEEE/WIC/ACM WI’2006), Published by IEEE Press, Hongkong, China, 2006, pp. 1-4
  42. Xiuli Wang, 王永吉, Haitao Zeng, Hui Zhou, Particle Swarm Optimization with Escape Velocity, In proceedings of International Conference on Computational Intelligence and Security (CIS’2006), Published by IEEE Press, Guangzhou, China, 2006, pp. 457-460.
  43. Li Ruan, 王永吉, Fengdi Shu, Haitao Zeng, ARIMAmmse: An Improved ARIMA-based Software Productivity Prediction Method, In proceedings of Int. Computer Software and Applications Conference, Published by IEEE Press, Chicago, USA, 2006, pp. 135-138.
  44. Hui Zhou, 王永吉, Xiuli Wang, Xiaoyong Huai, Difficulties in Estimating Available Bandwidth, In proceedings of IEEE International Conference on Communications (IEEE ICC 2006), Istanbul, Turkey, 2006, pp. 1-6
  45. Xiuli Wang, 王永吉, Hui Zhou, Xiaoyong Huai, PSO-PID: A Novel Controller for AQM Routers, In proceedings of IEEE and IFIP International Conference on Wireless and Optical Communications Networks (IEEE/IFIP WOCN 2006), Bangalore, India, 2006, pp. 1-5
  46. Shen Zhang, 王永吉, Jie Tong, Jinhui Zhou, Li Ruan, Evaluation of Project Quality: A DEA-Based Approach, Proceedings of SPW/ProSim 2006, LNCS 3966, May 2006, Shanghai, China, pp.88-96.


  • 2005年
  1. 吴鹏,Iterative Metamorphic Testing,COMPSAC 2005, 2005.7.26-28
  2. 李勇坚:The Inductive Approach to Strand Space theory,Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
  3. 吴鹏,张冬梅:Compositional Modelling and Verification of IPv6 Mobility,Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
  4. 詹乃军,Mila Majster-Cederbaum:Deriving Non-determinism from Conjunction and Disjunction,3 Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
  5. 詹乃军,Jinzhao Wu:Compositional of Fixpoint Logic with Chop,Theoretical Aspects of Computing2005,2005.10.17-21
  6. 晏荣杰,李广元,唐稚松:Symbolic Model Checking of Finite Precision Time Automata,Theoretical Aspects of Computing2005,2005.10.17-21
  7. 李石君,Weijie Ou,Junqing Yu:Ontology-Based HTML to XML Conversion,Advances in Web-Age Information Management,2005.10
  8. 焦莉:COMPOSITIONAL ANALYSIS FOR REGULARITY ,LIVENESS AND BOUNDEDNESS,ICINCO2005,2005.9.14-17
  9. 王文成,吴艳,孙庆杰,吴恩华:Decomposing Polygons into Stripes for Fast Rendering,2005 The first Korea-China Joint Conference on Geometric and Visual Computing,2005.8.24-26
  10. 王文成,魏峰,吴恩华:An Improved Approach on View Dependent Rendering of Point Models,Pacific Graphics 2005,2005.10.12-14
  11. 焦莉:Decomposition of Nets and Veritication in terms of Decomposition,CIMCA2005,2005.11.28-30
  12. Yi Duan,马华东:Modeling Flexible Workflow Based on Temproal Logic,CSCWD2005
  13. 冀俊峰,吴恩华,李胜,刘学慧:Dynamic LOD on GPU,CGI2005,2005.6
  14. 冀俊峰,李胜,吴恩华,刘学慧:Interactive Transmission of Highly Detailed Surfaces,Computational Science and its Applications2005,2005.9
  15. 沈一栋,Qian Yang:Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops, 15th International Conference ,ILP2005,2005.8
  16. 吴永辉:Normalization Design of XML Database Schema for Eliminating Structural Redundancies, Intelligent Information Management Systems and Technologies2005,2005.9
  17. 浦飞,张文辉,王绍春:An Improved Case-Based Approach to LTL Model Checking,RISE2005,2005.9.8-9
  18. 张健:Computer Search for Counterexamples to Wikie's Identity,20th International Conference on Automated Deduction,2005.7.22-27
  19. 贾祥雪,张健:Predicate-Oriented Isomorphism Elimination in Model Finding,Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05)
  20. 吴鹏,林惠民:Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints,QSIC 2005,2005.9.19-20
  21. 邓维佳,林惠民:Extended Symbolic Transition Graphs with Assignment,COMPSAC 2005,2005.7.26-28
  22. 晏荣杰,李广元,唐稚松:Symobolic Model Checking of Finite Precision Timed Automata,The Second Iternational Colloquium on Theoretical Aspects of Computing,2005.10.17-21
  23. 黄浩达,xian-sheng Hua,shipeng Li,hong-jiang Zhang:online end ditection for llive-broadcast sports tv programs,IEEE International Conference on Multimed & Expro,2005.7.6-8
  24. 詹乃军,Mila Majster-Cederbaum,周巢尘:Program Verification by Using DISCOVERER,FORTE05,2005.10.2-5
  25. Yu Gu,Wei Zhang,Hengchang Liu,赵保华,Yugui Qu:Energy-Efficient Target Localization Based on a Prediction Model,EUC workshops 2005
  26. Zhao Li,Wei Zhang,Hengchang Liu,赵保华,Yugui Qu:Multicast Routing With Minimum Energy Cost and Minimum Delay in Wireless Sensor Networks,EUC workshops 2005
  27. xiang chen,胡山立:Vickrey-Type Protocol and Strategy for Automated Multi-Attribute Auction,2005 International Conference on Machine Learning and Cybernetics,2005.8.18-21
  28. Wu Haiyan,胡山立:Modeling Agents Combined with Environment,Mental states and Utility,JICC 2005
  29. 吴海燕,胡山立:基于决策效用和学习的多问题协商,中国人工智能学会第11届全国学术年会
  30. zheng yj,zhu yl,薛锦云:Partially introducing formal methods in software evolution :A quality metrics driven approach,JICC 2005,2005.11.10-12
  31. zheng yj,wang jq,薛锦云:Implementing templated design patterns: a category theoretic approach,JICC 2005,2005.11.10-12
  32. zheng yujun,薛锦云:A Maintenance Process Framework for Formally Derived Software,Software Process Workshop 2005,2005.5.25-27
  33. Yujun zheng,薛锦云:MISCE: A Semi-Automatic Development Environment for Logistic Information Systems,2005 IEEE International Conference on Sevice Operations and Logistics ,and Informatics,2005.8.10-12
  34. zheng yujun,shi haihe,薛锦云:Toward a Unified Implementation for Dynamic Programming,8th International Conference for Young Computer Scientists,2005.9.20-22
  35. 金宏,王宏安,王晖:Scheduling design of controllers with fuzzy deadline,2005年模糊系统和知识挖掘国际会议,2005
  36. 金宏,王宏安,王晖:Scheduling fuzzy-deadline control tasks with preemption threshold,国际智能计算大会,2005
  37. 王青,李明树:Measuring and Improving Software Process in China,软件工程国际研讨会,2005.11.17-18
  38. 武占春,李明树:A Survey of CMM/CMMI Implementation in China,软件工程国际研讨会,2005
  39. 周辉,王永吉,王青:Measuring Internet Bottlenecks:Location,Capacity,and Available bandwidth,International Conference on Computer Networks and Mobile Computing,2005
  40. 张云泉:Performance characteristics of Itanium2 and Opteron for numerical scientific computing: a common usr's view,DCABES and ICPACE Joint Conference on Distributed Algorithms for Science and Engineering,2005
  41. 张云泉,袁伟:Performance Evaluation of Allgather Algorithms On Terascale Linux Cluster with Fast Ethernet,proceedings of HPC Asia 2005,2005
  42. 张云泉:Performance of A New Allgather Algorithm on Terascale DeepComp 6800,DCABES and ICPACE Joint Conference on Distributed Algorithms for Science and Engineering,2005
  43. Junfeng Li, Xiwen Zhang, Xiang Ao, 戴国忠, Sketch recognition with continuous feedback based on incremental intention extraction, Proceedings of the 10th International Conference on Intelligent User Interfaces (IUI), San Diego, California, USA, pp. 145-150, ACM Press, New York, NY, USA, 2005
  44. Liping Ding, Qiusong Yang, Liang Sun, Jie Tong, 王永吉: Evaluation of the Capability of Personal Software Process Based on Data Envelopment Analysis, Proceedings of SPW 2005, LNCS 3840, May 2005, Beijing, China, pp.235-248.
  45. Chenyong Hu, 王永吉, Benyu Zhang, Qiang Yang, Qing Wang, Mining quantitative associations in large database, Proceedings of The Seventh Asia Pacific Web Conference (APWEB05), March 29- April 1, 2005, Shanghai, China, pp. 405-416


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  • 2006年
  1. ISCAS-LCS-06-01:吴永辉,XML模式中隐式冗余不存在的充要条件
  • 2005年
  1. ISCAS-LCS-05-01:林惠民,μ-Calculus Model Checking is Polynomial -A Preliminary Report
  2. ISCAS-LCS-05-02:吴鹏、张冬梅,Compositional Analysis of Mobile Network Protocols
  3. ISCAS-LCS-05-03:李静、王文成、吴恩华,基于边/面遮挡关联性的多面体凸剖分方法
  4. ISCAS-LCS-05-04:柳欣欣、董焕防,Expansive-bisimulation for normed BPA
  5. ISCAS-LCS-05-05:董韫美,上下文无关语言的句子计数和自然枚举
  6. ISCAS-LCS-05-06:季晓慧、张健,一种求解混合约束问题的快速完备算法
  7. ISCAS-LCS-05-07:陈海明,Towards Practical Computable Functions on Context-Free Languages


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号