地图     English
往年学术论文

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

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


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  • 2007年
  1. 黄沛杰、王文成、杨刚、吴恩华:基于中介面加快光线跟踪计算,计算机学报,Vol.30,No.2,PP. 262-271
  2. 李静、王文成、吴恩华:基于凸剖分的多边形窗口线裁剪算法,计算机辅助设计与图形学学报,Vol.19,No.4,PP. 425-429
  3. 杨刚、孙汉秋、王文成、吴恩华:采用非均匀纹理层的短毛实时绘制,计算机辅助设计与图形学学报,Vol.19,No.4,PP. 430-435
  4. 李静、王文成、吴恩华:基于凸剖分的点在多边形内的高效判定,自然科学进展,Vol.17,No.7,PP. 995-1000
  5. Hao-Da huang、Xin Tong、Wen-Cheng Wang:Accelerated Parallel Texture Optimization,Jouranal of Computer Science and Technology,Vol.22,No.5,PP. 761-769
  6. Jing Li、Wencheng Wang、Enhua Wu:Point-in-polygon Tests by Convex Decomposition,Computers & Graphics,Vol.37,PP. 636-648
  7. Jiang Ying,Zhang Guo-Qiang:Weakly Distributive Domains,Frot. Comput.Sci. China,Vol.1,No.4,PP. 373-384
  8. Mingji Xia、Peng Zhang、Wenbo Zhao:Computational Complexity of Counting Problems on 3-Regular Planar Graphs,Theoretical Computer Science,Vol384,PP. 111-125
  9. 高鹰、陈意云:基于抽象解释的代码迷惑有效性比较框架,计算机学报,Vol.30,No.5,PP. 806-814
  10. Peng Zhang:A New Approximation Algorithm for the K-facility Location Problem,Theoretical Computer Science,Vol.384,PP. 126-135
  11. 吕毅、王源、李晓林:服务网格的用户3A使用模式,电子学报,Vol.35,No.2,PP. 292-298
  12. 王向云、张文辉、王鹏、李永超、蔡开元:一种基于监控理论的软件设计方法:状态性质变化方法,控制理论与应用,Vol.24,No.2,PP. 187-199
  13. Pu Fei、Zhang Wenhui:Combining Search Space Partition and Abstraction for LTL Model Checking,Science in China F: Information Sciences,Vol.50,No.6,PP. 793-810
  14. Zhilin Wu:A Not on the Characterization of Tl[EF],Information Processing Letters,Vol.102,PP. 48-54
  15. 吴志林、张文辉:命题线性时序逻辑的对偶模型问题的复杂性,Journal of Software,Vol.18,No.7,PP. 1573-1581
  16. Xiangyun Wang、Wenhui Zhang、Yongchao Li、Kaiyuan Cai:A Polynomial Dynamic System Approach to Software Design for Attractivity Requirement,Information Sciences,Vol.177,PP. 2712-2725
  17. 夏传良、焦莉、陆维明:Petri网共享PP-型子网合成性质分析,Vol.18,No.1,PP. 22-32
  18. 夏传良:Petri网共享T型子网合成活性分析,系统仿真学报,Vol.19,增刊,PP. 4-8
  19. 夏传良:Petri网共享PB型子网合成及其在系统设计中的应用,系统仿真学报,Vol.19,No.4,PP. 846-851
  20. 焦莉、陆维明:基于共享位置的petri网系统综合与保性,计算机学报,Vol.30,No.3,PP. 352-360
  21. Zhou Chaochen:Duration Calculus,Logics of Specification Languages,PP. 609-611
  22. 朱雪阳:双重软件体系结构描述框架XYZ/ADL,计算机研究与发展,Vol.44,No.9,PP. 1485-1494
  23. Yuan Feng、Runyao Duan、Zhengfeng Ji、Mingsheng Ying:Probabilistic Bisimulations for Quantum Processes,Information and Computation,Vol.205,PP. 1608-1639
  24. 吕伟伟、刘学慧、薛盖超、吴恩华:基于圆盘近似的动态场景柔和阴影实时绘制,计算机辅助设计与图形学学报,Vol.19,No.12,PP. 1587-1592
  25. Haiming Chen、Rudolf Freund、Mihai Ionescu、Gheorghe Paun、Mario J. Perez-Jimenez:On String Languages Generated by Spiking Neural P Systems,Fundamenta Informaticae,Vol.75,PP. 141-162
  26. Chen Haiming、Tseren-Onolt Ishdorj、Gheorghe Paun:Computing along the Axon,Progress in Natural Science,Vol.17,No.4,PP. 417-423
  27. 季晓慧、张健:约束问题求解,自动化学报,Vol.33,No.2,PP. 125-131
  28. 陈云霁、张健、沈海华、胡伟武:一种基于SAT的运算电路查错方法,计算机学报,Vol.30,No.12,PP. 2082-2089
  29. Enhua Wu、Hongbin Zhu、Xuehui Liu、Youquan Liu:Simulation and Interaction of Fluid Dynamics,Visual Comput.,Vol.23,PP. 299-308
  30. Xiaoying Li、Baoquan Liu、Enhua Wu:Full Solid Angle Panoramic Viewing by Depth Image Warping on Field Programmable Gate #Array,The International Journal of Virtual Reality,Vol.6,No.2,PP. 69-77
  31. 刘保权、刘学慧、吴恩华:基于GPU的实时深度图像前向映射绘制算法,软件学报,Vol.6,No.18,PP. 1531-1542
  32. 古元亭、吴恩华:一种纹理特征分析与合成的方法,计算机辅助设计与图形学学报,Vol.19,No.12,PP. 1535-1539
  33. 刘迎、刘学慧、吴恩华:基于模版的三角网格拓扑压缩,计算机辅助设计与图形学学报,Vol.19,No.6,PP. 703-707
  34. 张勇、黄涛、陈宁江、金蓓弘:基于在线模型评估的动态WEB系统性能保障,Journal of Software,Vol.18,No.7,PP. 1660-1671
  35. Zhang Yunquan、Chen Guoliang、Sun Guangzhong、Miao Qiankun:Models of Parallel Computation: A Survey and Classification,Front. Comput. Sci. China,Vol.1,No.2,PP. 156-165
  36. 张云泉:新一代高性能计算系统Benchmark软件包框架研究,高性能计算技术,Vol.184,No.2,PP. 11-16
  37. 陈虎、张云泉、刘锴、李玉成:基于机群架构的并行数据库中间件系统改进研究,计算机研究与发展, Vol.44,PP. 142-146
  38. 李洋、陈宁江、金蓓弘、左林、黄涛:一个基于自管理单元支持差分服务的Web容器,计算机研究与发展,Vol.44,No.8,PP. 1418-1428
  39. 胡剑军、官荷卿、魏峻、黄涛:一种基于性能模型的中间件自配置框架,软件学报,Vol.19,No.8,PP. 2117-2129
  40. 孙亮、赵芳、王永吉:DENGENE:一种高精度的基于密度的适用于基因表达数据的聚类算法,计算机应用研究,Vol.24,No.4,PP. 58-61
  41. Nasro Min-Allah、Wang Yongji、Jian-Sheng Xing、Wasif Nisar、Asad-Raza Kazmi:Towards Dynamic Voltage Scaling in Real-Time #Systems-A Survery,International Journal of Computer Science and Engineering Systems,Vol.2,No.1,PP. 93-103
  42. 余方、李娟、王晓程、王永吉:功能点分析方法研究,计算机科学,Vol.34,No.11,PP. 245-251
  43. 陈伟、薛云志、赵琛、李明树:一种基于时间自动机的实时系统测试方法,软件学报,Vol.18,No.1,PP. 62-73
  44. 李明树、何梅、杨达、舒风笛、王青:软件成本估算方法及应用,软件学报,Vol.18,No.4,PP. 775-795
  45. 舒风笛、赵玉柱、王继喆、李明树:个性化领域知识支持的用户主导需求获取方法,计算机研究与发展,Vol.44,No.6,PP. 1044-1052
  • 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年 往年会议论文
  • 2007年
  1. Yi Lv、Huimin Lin、Hong Pan:Computing Invariants for Parameter Abstraction,MEMOCODE2007,2007年5月
  2. Hao-da Huang、Yanyun Chen、Xing Tong、Wen-cheng Wang:Incremental Wavelet Importance Sampling for Direct IIIumination,VRST2007,2007年11月
  3. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan、Chaochen Zhou:Discovering Non-linear Ranking Function by Solving Semi-algebraic Systems(Invited Talk),Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  4. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan:Generating Polynomial Invariants with DISCOVERER and QEPCAD,Formal Methods and Hybrid Real-Time Systems,2007年7月
  5. Yi-Dong Shen、Jia-Huai You:A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints ,Twenty-Second AAAI Conference on Artificial Intelligence,2007年7月
  6. Jia-Huai You、Li Yan Yuan、Guohua Liu、Yi-Dong Shen:Logic Programs with Abstract Constraints: Representaton , Disjunction and Complexities,Logic Programming and Nonmonotonic Reasoning,2007年5月
  7. Jianfeng Du、Yi-Dong Shen:Partitioning Sboxes Based on Converting DL to Plain Datalog,2007 International Workshop on Description Logics,2007年6月
  8. Xin Chen、Jifeng He、Zhiming Liu、Naijun Zhan:A Model of Component-Based Programming,International Symposium on FSEN2007,2007年4月
  9. Jin Yi、Wenhui Zhang:Efficient State Space Reduction for Automata by Fair Simulation,International Symposium on FSEN2007,2007年4月
  10. Wenhui Zhang:Model Checking with SAT-Based Characterization of ACTL Formulas,9th International Conference on Formal Engineering Methods,ICFEM2007,2007年11月
  11. Jin Yi、Wenhui Zhang:Enhancing Simulation for Checking Language Containment,4th International Conference TAMC2007,2007年5月
  12. Fei Pu、Wenhui Zhang:Parition Reinaement in Abstract Model Cheing,Theoretical Aspects of Software Engineering,2007年6月
  13. Zhilin Wu:On the Expressive Power of QLTL,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  14. Takashi Kitamura、Huimin Lin:Controlling Process Modularity in Mobile Computing,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  15. Xinxin Liu、Haiyan Chen:Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
  16. Wenhui Zhang:SAT-Based Verification of LTL Formulas,Formal Methods : Applications and Technology,2007年8月
  17. Yanyan Xu、Wei Chen、Liang Xu、Wenhui Zhang:Evaluation of SAT-based Bounded Model Checking of ACTL Properties,TASE 2007,2007年6月
  18. Xiao Wei Huang、Li Jiao、Weiming Lu:A Semantic Preorder on Refinement and Fairness,TASE 2007,2007年6月
  19. Wenhui Zhang:Verification of ACTL Properties by Bounded Model Checking,Computer Aided Systems Theory-EUROCAST2007
  20. Xiaowei Huang、Li Jiao、Weiming Lu*:What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security,ICICS 2007,2007年12月
  21. Zhengfeng Ji、Jianxin Chen、Zhaohui Wei、Mingsheng Ying:The LU-LC Conjecture is False,The Eleventh Workshop on Quantum Information Processing,2007年12月
  22. Weiwei Lv、Xuehui Liu、Enhua Wu:EOF:Elliptical Occlusion Field for Real-time Soft Shadow Rendering in Animated Scenes,Symposium on Computer Animation2007
  23. Rongjie Yan、Guangyuan Li、Wenliang Zhang、Yunquan Peng:Improvements for the Symbolic Verification of Timed Automata,FORTE2007,2007年6月
  24. Xinxin Liu:Expansive-Bisimulation for Context-Free Processes,Formal Methods and Hybrid Real-Time Systems
  25. Sheng Liu、Jian Zhang、Binhai Zhu:Volume Computation Using a Direct Monte Carlo Method,COCOON2007,2007
  26. Matthew Flatt、Gang Yu、Robert Bruce Findler、Matthias Felleisen*:Adding Delimited and Composable Control to a Production Programming Environment,ICFP07,2007年1月
  27. Daguang Liu、Peng Wu、Huimin Lin:Symbolic Test Generation Using a Temporal Logic with Constrained Events,Formal Methods and Hybrid Real-Time Systems
  28. Yongjian Li、Jun Pang:Extending the Strand Space Method to Verify Kerberos V,Eighth International Conference on Parallel and Distributed Computing,Applications and Technologies,2007年12月
  29. Yongjian Li:Mechanized Proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized Verification of Cache Coherence Protocols,Applied Computing 2007,2007年3月
  30. Shixue Zhang、Enhua Wu:Deforming Surface Simplification Based on Feature Preservation,ICEC2007
  31. Bin Sheng、Enhua Wu:Topology-Consistent Design for 3D Freeform Meshes with Harmonic Interpolation,ICEC2007
  32. Bin Sheng、Enhua Wu:Image-Based Model Reconstruction Using Textured Planes,the Fourth International Conference on Image and Graphics,2007年8月
  33. Bin Sheng、Enhua Wu:Progressive Deformation Based Approximation on Deforming Meshes,the Fourth International Conference on Image and Graphics,2007年8月
  34. Jinzhong Wu、Xuehui Liu、Enhua Wu:Mesh Deormation under Skeleton-Based Detail-Preservation,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  35. Yuanting Gu、Enhua Wu:Feature Analysis and Texture Synthesis,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  36. Ying Liu、Xuehui Liu、Enhua Wu:Variable Code-Mode Based Connectivity Compression for Triangular Meshes,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  37. Qinghua Wu、Enhua Wu:Image Segmentation and Reconstruction Using Graph Cuts and Texton Mask,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  38. Yanci Zhang、Hanqiu Sun、Enhua Wu:B-Spline Surfaces of Clustered Point Sets with Normal Maps,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
  39. Hongbin Zhu、Kai Bao、Xuehui Liu、Enhua Wu:Miscible Liquid-Llquid Interactions Based-on a Stabilized Two-Fluid LBM,Symposium on Computer Animation2007
  40. Hongbin Zhu、Kai Bao Enhua Wu:Stable and Efficient Miscible Liquid-liquid Interactions,VRST 2007,2007年11月
  41. Bin Sheng、Enhua Wu:Walking into Images:Virtual Plane Mosaics for Plenoptic Modeling,IEEE Virtual Reality 2007,2007年3月
  • 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年 往年技术报告
  • 2007年
  1. lSCAS-LCS-07-01:易锦,Effcient State Space Reduction for Automata by Fair Simulation
  2. lSCAS-LCS-07-02:李静, 王文成, 吴恩华,基于空盒自适应生成的光线跟踪计算
  3. lSCAS-LCS-07-03:Mingren Chai、Nan Qu、Ying Jiang,Tree Process Calculus
  4. lSCAS-LCS-07-04:Jun Yan,A Backtracking Search Tool for Constructing Combinatorial Test Suites
  5. ISCAS-LCS-07-05:Feifei Ma, Jian Zhang,Searching for Orthogonal Arrays
  6. lSCAS-LCS-07-06:吴永辉,在无冲突标识符依赖集合的条件下XML数据库模式规范化设计的性质
  7. lSCAS-LCS-07-07:Yunhe Wang,Li Jiao,About the Reachability Graph Approach to Analysis of Petri Nets},
  8. lSCAS-LCS-07-08:Haiming Chen, Lei Chen,The Complexity of Inclusion Problem for One-Unambiguous Regular Expressions
  • 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号