Journal 2008

时间：2019-07-22 分类：Journal Paper

Xiang Zhou, Ehrenfeucht-Fraisse Games in Finite Set Theory, Information Processing Letters, VOL.108, PP.3-9
Li Jiao, A Note on Regular Petri Nets, Information Processing Letters, VOL.108, PP.110-114
Li Jiao, Refining and Verifying Regular Petri Nets, International Journal of Systems Science, VOL.39, NO.1, PP.17-27
Li Jiao, Handling Resource Sharing Problem Using property-Preserving Place Fusion of Petri Nets, Journal of Circuits,Systems, and Computers, VOL.17, NO.3, PP.1-23
Yidong Shen, Reasoning with Recursive Loops Under the PLP Framework, ACM Transactions on Computational Logic, VOL.9, NO.4
Nengfa Zhou, Taisuke Sato, Yidong Shen, Linear Tabling Strategies and Optimizations, Theory and Parctice of Logic Programming, VOL.8,NO.1, PP.81-109
孟维亮, 吴金钟, 吕伟伟, 吴恩华, 形态空间中模型变化的插值生成, 计算机辅助设计与图形学学报, VOL.21, NO.7, PP.943-948
杨利明, 王文成, 吴恩华, 基于视平面上特征计算的视点选择, 计算机辅助设计与图形学学报, VOL.20, NO.9, PP.1097-1103
Yongjian Li, Rui Xue, Design of a CIL Connector to Spin, International Journal of Software Engineering and Knowledge Engineering, VOL.18, NO.1, PP.65-91
Qiwen Xu, Naijun Zhan, Formalising Scheduling Theories in Duration Calculus, Nordic Journal of Computing, VOL.14, PP.173-201
李静, 王文成, 吴恩华, 基于边/面遮挡关联性的多面体凸剖分方法, 软件学报，VOL.19, NO.7, PP.1766-1782
Wencheng Wang, Chunjuan Sun, Jing Li, Enhua Wu, Line Clipping by managing Polygon Edges in Convex Polylines, Journal of Graphics Tools, VOL.13, NO.2, PP.55-71
李静, 王文成, 吴恩华, 加快光线跟踪计算的网格优化划分, 计算机辅助设计与图形学学报, VOL.20, NO.8, PP.968-977
Wencheng Wang, Jing Li, Hanqiu Sun, Enhua Wu, Layer-Based Representation of Polyhedrons for point Containment Tests, IEEE Transcations on Visualization and Computer Graphics, VOL.14, NO.1, PP.73-83
喻钢, 柳欣欣, 传名调用演算的二值传递CPS变换, 软件学报, VOL.19, NO.10, PP.2508-2516
徐贵红, 张健, 语义网的一阶逻辑推理技术支持, 软件学报, VOL.19, NO.12, PP.3091-3099
Kazmi Syed Asad Raza, 张文辉, 直觉线性mu-演算, 软件学报, VOL.19, NO.12, PP.3122-3133
Huang Peijie, Gu Yuanting, Wu Xiaolong, Chen yanyun, Wu Enhua, Time-Varying Clustering for Local Lighting and Material Design, Science in China Series F:Information Sciences, VOL.52, NO.1, PP.1-12
张健, 精确的程序静态分析, 计算机学报, VOL.31, NO.9, PP.1549-1553
Jun Yan, Jian Zhang, An Efficient Method to Generate Feasible Paths for Basis path Testing, Information Processing Letters, VOL.107, PP.87-92
Jun Yan, Jian Zhang, A backtracking Search Tool for Constructing Combinatorial Test suites, the Journal of systems and software, VOL.81, PP.1681-1693
Jian Zhang et al, Basic Research in Computer Science and Software Engineering at SKLCS, Front. Comput. Sci. China, VOL.2, NO.1, PP.1-11
Wencheng Wang, feitong liu, peijie huang, Enhua Wu, Texture Synthesis via the Matching Compatibility between patches, Science in China Series F:Information Sciences, VOL.52, NO.1, PP.1-10
刘飞彤, 王文成, 黄沛杰, 吴恩华, 基于匹配相容性的高效纹理合成, 中国科学 E辑：信息科学, VOL.39, NO.1, PP.1-3
S. Barry Cooper, Ansheng Li, On Lachlan’s Major Sub-degree Problem Mathiematical logic, VOL.47, PP.341-434
Paul Bordhead, Ansheng Li, Weilin Li, Continuity of Capping in Cbt, Annals of Pure and Spplied Logic, VOL.155, PP.1-15
戴晓君, 上下文无关语言句子的反向自然枚举, 计算机工程与设计, VOL.29, NO.8, PP.1874-1877
Haiming Chen, Mihai Lonescu, Tseren-Onolt Ishdorj, Andrei paun, Gheorghe paun, Spiking Neural P Systems With Extended Rules:Universality and Languages, Nat Comput, NO.7, PP.147-166
刘世光, 陈国军, 杨鹏, 张加万, 孙济州, 布料上污渍效果的真实感模拟, 计算机辅助设计与图形学学报, VOL.20, NO.9, PP.1110-1116
晏荣杰, 张文亮, 唐稚松, 基于SCC空性检测中状态空间的缩减方法, 计算机学报, VOL.31, NO.6, PP.979-988
Yichuan jiang, Jiuchuan Jiang, Contextual Resource Negotiation-Based Task Allocation and Load Balancing in complex Software Systems, IEEE Transcations on Parallel and Distributed System, PP.1-29
Jiang YiChuan, On Self-Adjustment of Social Conventions to Small Perturbations, CHIN.PHYS.Lett, VOL.25, NO.12, PP.4215-4218
Yuyue Du, Hong Zheng, Shuxia yu, Analysis and Verification of Dynamic stock Trading Systems, Information Technology Journal, VOL.7, NO.3, PP.466-473
Hong Zheng, Yuyue Du, Shuxia yu, Modeling Non-Repudiation in Distributed Systems, Information Technology Journal, VOL.7,NO.1, PP.228-230
于淑霞, 杜玉越, 一种基于网格的电子商务模式, 情报杂志, NO.4, PP.97-99
Yuyue Du, Changjun Jiang, Mengchu Zhou, A Petri-Net-Based Correctness Analysis of Internet Stock Trading systems, IEEE Transactions on Systems ,Man,and Cybernetics, PP.93-99
Du Yuyue, Jiang Changjun, On the Design and Temporal Petri net Verification of Grid Commerce Architecture, Chinese Journal of Electronics, VOL.17, NO.2 PP.247-251
Du Yuyue, Jiang Changjun, A Formal Approach for Obligation Analysis of E-Commerce, Chinese Journal of Electronics, VOL.17, NO.2, PP.200-204
Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, Jun Yue, Existence of universal entangler, JOURNAL OF MATHEMATICAL PHYSICS, VOL.49
张磊, 李洋, 张文博, 邓柳军, PRAM:基于Markov模型的高效日历队列算法, 计算机应用研究, VOL.25, NO.9, PP.2625-2630
李都, 测试顺序选择策略研究, 计算机工程研究, VOL.29, NO.4, PP.781-783
左林, 刘邵华, 魏俊, 冯玉琳, 范国闯自适应组件副本选择模型及算法, 软件学报, VOL.19, NO.5, PP.1212-1223
左林, 刘邵华, 冯玉琳, 魏俊, 李洋支持复杂事务模式的web应用服务器复制机制, 软件学报, VOL.19, NO.2, PP.432-445
周博文, 丁丽萍, 王永吉, 面向入侵的取证系统框架, 计算机应用研究, VOL.25, NO.4, PP.1117-1119
李悦, 李娟, 陈伟, 基于约束满足的测试计划方法, 计算机工程与设计, VOL.29, NO.3, pp.535-539
王青, 伍书剑, 李明树, 软件缺陷预测技术, 软件学报, VOL.19, NO.7, PP.1565-1580
周辉, 李丹, 王永吉, 可用带宽度量系统中的若干基本问题, 软件学报, VOL.19, NO.5, PP.1234-1255
肖俊超, 王青, 李明树, 张镭, 刘大鹏, 一种基于组织实体能力的软件过程建模方法, 软件学报, VOL.19, NO.3, PP.533-544
Sun Jiachang, a new class of three-variable orthogonal polynomials and their recurrences relations, Science in china Series A:Mathematics, VOL.51, NO.6,PP.987-1146
刘胜飞, 张云泉, 一种改进的BMH模式匹配算法, 计算机科学, VOL.35, NO.11, PP.164-165
柳锴, 唐雨新, 张云泉, 李玉成, 基于机群架构的并行数据库实现技术研究, 计算机工程与设计, VOL.29, NO.3, PP.526-529
宋刚, 蒋孟奇, 张云泉, 李玉成, 有限元单元计算子程序的OpenMP并行化, 计算机工程, VOL.34, NO.6, PP.80-81
李开士, 张云泉, 李玉成, FM-index分块并行算法及其实现, 计算机工程, VOL.34, NO.8, PP.53-54
侯晓吻, 张云泉, 并行程序性能分析工具集KOJAK若干关键技术剖析, 计算机研究与发展, VOL.45 suppl, PP.18-25
孙家昶, 新的一类三变量正交多项式及其递推公式, 中国科学 A辑：数学, VOL.38, NO.2, PP.221-240