地图     English
学术论文 2008

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

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


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年期刊论文
  1. Xiang Zhou, Ehrenfeucht-Fraisse Games in Finite Set Theory, Information Processing Letters, VOL.108, PP.3-9
  2. Li Jiao, A Note on Regular Petri Nets, Information Processing Letters, VOL.108, PP.110-114
  3. Li Jiao, Refining and Verifying Regular Petri Nets, International Journal of Systems Science, VOL.39, NO.1, PP.17-27
  4. 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
  5. Yidong Shen, Reasoning with Recursive Loops Under the PLP Framework, ACM Transactions on Computational Logic, VOL.9, NO.4
  6. Nengfa Zhou, Taisuke Sato, Yidong Shen, Linear Tabling Strategies and Optimizations, Theory and Parctice of Logic Programming, VOL.8,NO.1, PP.81-109
  7. 孟维亮, 吴金钟, 吕伟伟, 吴恩华, 形态空间中模型变化的插值生成, 计算机辅助设计与图形学学报, VOL.21, NO.7, PP.943-948
  8. 杨利明, 王文成, 吴恩华, 基于视平面上特征计算的视点选择, 计算机辅助设计与图形学学报, VOL.20, NO.9, PP.1097-1103
  9. 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
  10. Qiwen Xu, Naijun Zhan, Formalising Scheduling Theories in Duration Calculus, Nordic Journal of Computing, VOL.14, PP.173-201
  11. 李静, 王文成, 吴恩华, 基于边/面遮挡关联性的多面体凸剖分方法, 软件学报,VOL.19, NO.7, PP.1766-1782
  12. 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
  13. 李静, 王文成, 吴恩华, 加快光线跟踪计算的网格优化划分, 计算机辅助设计与图形学学报, VOL.20, NO.8, PP.968-977
  14. 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
  15. 喻钢, 柳欣欣, 传名调用演算的二值传递CPS变换, 软件学报, VOL.19, NO.10, PP.2508-2516
  16. 徐贵红, 张健, 语义网的一阶逻辑推理技术支持, 软件学报, VOL.19, NO.12, PP.3091-3099
  17. Kazmi Syed Asad Raza, 张文辉, 直觉线性mu-演算, 软件学报, VOL.19, NO.12, PP.3122-3133
  18. 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
  19. 张健, 精确的程序静态分析, 计算机学报, VOL.31, NO.9, PP.1549-1553
  20. Jun Yan, Jian Zhang, An Efficient Method to Generate Feasible Paths for Basis path Testing, Information Processing Letters, VOL.107, PP.87-92
  21. Jun Yan, Jian Zhang, A backtracking Search Tool for Constructing Combinatorial Test suites, the Journal of systems and software, VOL.81, PP.1681-1693
  22. 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
  23. 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
  24. 刘飞彤, 王文成, 黄沛杰, 吴恩华, 基于匹配相容性的高效纹理合成, 中国科学 E辑:信息科学, VOL.39, NO.1, PP.1-3
  25. S. Barry Cooper, Ansheng Li, On Lachlan's Major Sub-degree Problem Mathiematical logic, VOL.47, PP.341-434
  26. Paul Bordhead, Ansheng Li, Weilin Li, Continuity of Capping in Cbt, Annals of Pure and Spplied Logic, VOL.155, PP.1-15
  27. 戴晓君, 上下文无关语言句子的反向自然枚举, 计算机工程与设计, VOL.29, NO.8, PP.1874-1877
  28. 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
  29. 刘世光, 陈国军, 杨鹏, 张加万, 孙济州, 布料上污渍效果的真实感模拟, 计算机辅助设计与图形学学报, VOL.20, NO.9, PP.1110-1116
  30. 晏荣杰, 张文亮, 唐稚松, 基于SCC空性检测中状态空间的缩减方法, 计算机学报, VOL.31, NO.6, PP.979-988
  31. 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
  32. Jiang YiChuan, On Self-Adjustment of Social Conventions to Small Perturbations, CHIN.PHYS.Lett, VOL.25, NO.12, PP.4215-4218
  33. Yuyue Du, Hong Zheng, Shuxia yu, Analysis and Verification of Dynamic stock Trading Systems, Information Technology Journal, VOL.7, NO.3, PP.466-473
  34. Hong Zheng, Yuyue Du, Shuxia yu, Modeling Non-Repudiation in Distributed Systems, Information Technology Journal, VOL.7,NO.1, PP.228-230
  35. 于淑霞, 杜玉越, 一种基于网格的电子商务模式, 情报杂志, NO.4, PP.97-99
  36. 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
  37. 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
  38. Du Yuyue, Jiang Changjun, A Formal Approach for Obligation Analysis of E-Commerce, Chinese Journal of Electronics, VOL.17, NO.2, PP.200-204
  39. Jianxin Chen, Runyao Duan, Zhengfeng Ji, Mingsheng Ying, Jun Yue, Existence of universal entangler, JOURNAL OF MATHEMATICAL PHYSICS, VOL.49
  40. 张磊, 李洋, 张文博, 邓柳军, PRAM:基于Markov模型的高效日历队列算法, 计算机应用研究, VOL.25, NO.9, PP.2625-2630
  41. 李都, 测试顺序选择策略研究, 计算机工程研究, VOL.29, NO.4, PP.781-783
  42. 左林, 刘邵华, 魏俊, 冯玉琳, 范国闯自适应组件副本选择模型及算法, 软件学报, VOL.19, NO.5, PP.1212-1223
  43. 左林, 刘邵华, 冯玉琳, 魏俊, 李洋支持复杂事务模式的web应用服务器复制机制, 软件学报, VOL.19, NO.2, PP.432-445
  44. 周博文, 丁丽萍, 王永吉, 面向入侵的取证系统框架, 计算机应用研究, VOL.25, NO.4, PP.1117-1119
  45. 李悦, 李娟, 陈伟, 基于约束满足的测试计划方法, 计算机工程与设计, VOL.29, NO.3, pp.535-539
  46. 王青, 伍书剑, 李明树, 软件缺陷预测技术, 软件学报, VOL.19, NO.7, PP.1565-1580
  47. 周辉, 李丹, 王永吉, 可用带宽度量系统中的若干基本问题, 软件学报, VOL.19, NO.5, PP.1234-1255
  48. 肖俊超, 王青, 李明树, 张镭, 刘大鹏, 一种基于组织实体能力的软件过程建模方法, 软件学报, VOL.19, NO.3, PP.533-544
  49. 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
  50. 刘胜飞, 张云泉, 一种改进的BMH模式匹配算法, 计算机科学, VOL.35, NO.11, PP.164-165
  51. 柳锴, 唐雨新, 张云泉, 李玉成, 基于机群架构的并行数据库实现技术研究, 计算机工程与设计, VOL.29, NO.3, PP.526-529
  52. 宋刚, 蒋孟奇, 张云泉, 李玉成, 有限元单元计算子程序的OpenMP并行化, 计算机工程, VOL.34, NO.6, PP.80-81
  53. 李开士, 张云泉, 李玉成, FM-index分块并行算法及其实现, 计算机工程, VOL.34, NO.8, PP.53-54
  54. 侯晓吻, 张云泉, 并行程序性能分析工具集KOJAK若干关键技术剖析, 计算机研究与发展, VOL.45 suppl, PP.18-25
  55. 孙家昶, 新的一类三变量正交多项式及其递推公式, 中国科学 A辑:数学, VOL.38, NO.2, PP.221-240


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年会议论文
  1. Li Jiao:A Method for Verifying Deadlock Freedom and Liveness of Petri Nets,2008 IEEE International Symposium on Circuits and Systems,2008年5月
  2. Xiaowei Huang、Li Jiao、Weiming Lu:Weak Parametric Failure Equivalences and Their Congruence Formats,14th Computing:The Australasian Theory Symposium,2008年1月
  3. Jun Sun、Zhiyong Shen、Hui Li、Yidong Shen:Clustering Via Local Regression, European conference,ECML PKDD2008,2008年9月
  4. Jun Sun、Wenbo Zhang、Jiangwei Xue、Zhiyong Shen、Yidong Shen:Clustering with Feature Order Preferences,10th Pacific Rim International Conference on Artificial Inteligence,2008年12月
  5. Zhiyong Shen、Jun Sun、Yidong Shen、Ming Li:R-Map:Mapping Categorical Data for Clustering and Visualization Based on Reference Sets,12th Pacific-Asia Conference,PAKDD,2008年5月
  6. Jianfeng Du、Guilin Qi、Yidong Shen:Lexicographical Inference over Inconsistent DL-Based Ontologics, Sencond International Conference,RR2008,2008年10月
  7. Zhiyong Shen、Jun Sun、Yidong Shen:Collective Latent Dirichlet Allocation,IEEE ICDM2008,2008年12月
  8. Jianfeng Du、Yidong Shen:Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies,WWW2008,2008年4月
  9. Huimin Lin:Srratifying Winning Positions in Parity Games,29th International Conference,PETRI NETS2008,2008年6月
  10. Liang Xu:SMT-based Bounded Model Cheching for Real-time Systems,QSIC2008,2008年8月
  11. Zhongxing Xu、Jian Zhang:Path and Context Sensitive Inter-procedural Memory Leak Detection,QSIC2008,2008年8月
  12. Sergey Bereg、Minghui Jiang、Wencheng Wang、Boting Yang、Binhai Zhu:Simplifying 3D Polygonal Chains Under the Discrete Frechet Distance,LATIN2008: Theoretical Informatics,2008年4月
  13. Bican Xia、Lu Yang、Naijun Zhan:program Verification by Reduction to Semi-Algebraic Systems Solving,ISoLA2008
  14. Zhenbang Chen、Abdel hakim Hannousse、Dang Van Hung、Istvan Knoll、Xiaoshan Li、Zhiming Liu:Modelling with Relational Calculus of Object and Component Systems-rCOS,CoCoME
  15. Linyun Luo:Deciding Bisimilarity of Full BPA Processes Locally,ATVA2008,2008年10月
  16. Weiliang Meng、Bin sheng、Weiwei Lv、Enhua Wu:Differential Geometry Images:Remeshing and Morphing with Local Shape Preservation,The 16th pacific conference on Computer Graphics and Applications,2008年10月
  17. Angsheng Li、Mingji Xia:A Theory for Valiant's matchcircuits,STACS2008,2008年2月
  18. Hongtao Huang:Detection of Disjunctive Normal Form Predicate in Distributed Systems,ICDCN2008,2008年1月
  19. Hongtao Huang:Detection of a Set of States in Distributed Systems,15th Asia-Pacific Software Engineering Conference,2008年12月
  20. Yuxiang Shi、Jun Yan、Zhongjie Li、Jun Zhu:Path -Based Verification for Composition of Semantic Web Services,the 23rd Annual ACM Symposium on Applied Computing,2008年3月
  21. Hui Ruan、Jian Zhang、Jun Yan:Test Data Generation for C programs with String-Handling Functions,TASE2008
  22. Feifei Ma、Jian Zhang:Computer Search for large Sets of Idempotent Quasigroups,ASCM2007,2008年12月
  23. Jian Zhang:Checking Inconsisitency of Rule Sets in Active Real-time Databases,HASE2008
  24. Feifei Ma、Jian Zhang:Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints,PRICAI2008
  25. Hongji Wang、Gang Yao、Xiaoxi Han:A New Concurrent Signature Scheme Based on the FAPKC3's Signature Scheme, 2008ASID,2008年8月
  26. Hongji Wang、Gang Yao、Qingshan jiang:An Identity-Based Group key Agreement protocol from pairing,The Third International Conference on Availability,Reliability and Security
  27. Gang Yao、Hongji Wang、Qingshan Jiang:An Authenticated 3-Round Identity-Based Group Key Agreement Protocol,The Third International Conference on Availability,Reliability and Security
  28. Lei Chen、Haiming Chen:Efficient Type Checking for a Subclass of Regular Expression Types,The 9th International conference for Young Computer Scientists,2008年11月
  29. Haiming Chen、Lei chen:Inclusion Test Algorithms for One-Unambiguous Regular Expressions,ICTAC2008,2008年9月
  30. Takashi Kitamura、Huimin Lin:Specifying properties for modular pi-Calculus,TASE2008
  31. Chuanliang Xia:Property Preservation by Petri Net Synthesis in System Design,Information Technology and Environmental System Sciences2008
  32. Bai Su、Yidong Shen、Wei Xu:Modeling Concept Drift from The perspective of Classifiers,2008 International Conference on Cybernetics and Intelligent Systems,2008年9月


2014年 2013年 2012年 2011年 2010年 2009年 2008年 2007年 往年技术报告
  1. ISCAS-LCS-08-01:董韫美,上下文无关文法推导树词典序枚举的线性算法
  2. ISCAS-LCS-08-02:吴永辉,消除结构冗余和不规则的XML数据库模式规范化设计的完全分解
  3. ISCAS-LCS-08-03:Yunhe Wang,Bo Jiang,Li Jiao,Property Checking for Unbounded Petri Nets Based on Improved Reachability Tree
  4. ISCAS-LCS-08-04:Yunmei Dong,Linear algorithm for Lexicographic Enumeration of CFG Parse Trees
  5. ISCAS-LCS-08-05:Wang Wencheng, Liu Feitong, Huang Peijie, Wu Enhua,Texture Synthesis via the Matching Compatibility between Patches
  6. ISCAS-LCS-08-06:APSEC 2008 Workshop Proceedings,AOAsia 4
  7. ISCAS-LCS-08-07:APSEC 2008 Workshop Proceedings,ATGSE 2008
  8. ISCAS-LCS-08-08:APSEC 2008 Workshop Proceedings,SPACE 2008
  9. ISCAS-LCS-08-09:Hong Pan,Yi Lv,Huimin Lin,Environment Abstraction with State Clustering for Parameterized Systems
  10. ISCAS-LCS-08-10:Haiming Chen, Derivatives and Automata of one-Unambiguous Regular Expressions
  11. ISCAS-LCS-08-11:Li Jiao,Refining and Verifying Regular Petri Nets
  12. ISCAS-LCS-08-12: Li Jiao, Hejiao Huang, TO-YAT CHEUNG,Handling Resource Sharing Problem Using Property-Preserving Place Fusions Of Petri Nets
  13. ISCAS-LCS-08-13:Naijun Zhan, Mila Majster-Cederbaum, On Hierarchically Developing Reactive Systems
  14. ISCAS-LCS-08-14:Bican Xia, Lu Yang, Naijun Zhan, Program Verification by Reduction to Semi-Algebraic Systems Solving
  15. ISCAS-LCS-08-15:Qiwen Xu, Naijun Zhan, Formalising Scheduling Theories in Duration Calculus
  16. ISCAS-LCS-08-16:Zhenbang Chen, Zhiming Liu; Anders P.Ravn b, Volker Stolz, Naijun Zhan, Refinement and Verification in Component-based Model Driven Design
  17. ISCAS-LCS-08-17:Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic Decision Procedure for Termination of Linear Programs
  18. ISCAS-LCS-08-18:Naijun Zhan, Eun Young Kang, Zhiming Liu, Component Publications and Compositions
  19. ISCAS-LCS-08-19:Zhi-Yong Shen, Jun Sun, Yi-Dong Shen, Ming Li, R-Map: Mapping Categorical Data for Clustering and Visualization Based on Reference Sets
  20. ISCAS-LCS-08-20:Yidong Shen,Reasoning with Recursive Loops Under the PLP Framework
  21. ISCAS-LCS-08-21:Jun Sun,Zhiyong Shen,Hui Li,Yidong Shen,Clustering Via Local Regression
  22. ISCAS-LCS-08-22:Zhiyong Shen,Jun Sun,Hui Li,Yidong Shen,Collective Latent Dirichlet Allocation
  23. ISCAS-LCS-08-23:Bai Su, Yi-Dong Shen, Wei Xu,Modeling Concept Drift from The Perspective of Classifiers
  24. ISCAS-LCS-08-24:Jun Sun, Wenbo Zhao, Jiangwei Xue, Zhiyong Shen, Yidong Shen, Clustering with Feature Order Preferences
  25. ISCAS-LCS-08-25:Jianfeng Du,Guilin Qi, Yidong Shen, Lexicographical Inference over Inconsistent DL-Based ontologies
  26. ISCAS-LCS-08-26:Nengfa Zhou, Taisuke Sato, Yidong Shen, Linear tabling strategies and optimizations
  27. ISCAS-LCS-08-27:Jianfeng Du, Yidong Shen, Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies
  28. ISCAS-LCS-08-28:Haiming Chen, Lei Chen, Inclusion Test Algorithms for One-Unambiguous Regular Expressions
  29. ISCAS-LCS-08-29:Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj,Andrei P¸aun, Gheorghe P¸aun, Mario J. Perez-Jimenez, Spiking Neural P Systems with Extended Rules: Universality and Languages
  30. ISCAS-LCS-08-30:Lei Chen, Haiming Chen, Efficient Type Checking for a Subclass of Regular Expression Types
  31. ISCAS-LCS-08-31:Yongjian Li,Design of a CIL Connector to SPIN
  32. ISCAS-LCS-08-32:Wei Chen, Wenhui Zhang, ADirect Construction of Polynomial-sizeOBDDProof of Pigeon Hole Problem
  33. ISCAS-LCS-08-33:Syed Asad Raza Kazmi, Compositional Reasoning in Intuitionistic Linear-time-Calculus
  34. ISCAS-LCS-08-34:Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang, Improved Bounded Model Checking for the Universal Frag-ment of CTL
  35. ISCAS-LCS-08-35:Wenhui Zhang, Weak Bounded Semantics and Bounded Verifition of LTL Formulas



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