Map     中文
Papers 2008

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2008
Jump to: navigation, search


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Journal Papers Before 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. Weiliang MENG, Jinzhong WU, Weiwei LV, Enhua WU, An Improved Approach for Generation of Intermediate Deformation Models in Shape Space, JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, VOL.21, NO.7, PP.943-948
  8. Liming YANG, Weneheng WANG, Enhua WU, Viewpoint Selection by Feature Measurement on the Viewing Plane, JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, 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. Jing LI, Wencheng WANG, Enhua WU, Convex Decomposition of Polyhedrons Using Occlusion Relations Among Edges/Facets (In Chinese), JOURNAL OF SOFTWARE, 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. Jing LI, Wencheng WANG, Enhua WU, Optimizing Grid Resolutions for Ray Tracing (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, 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. Gang YU, Xinxin LIU, Two Values Passing CPS Transformation for Call-by-Name Calculus with Constants (In Chinese), Journal of Software, VOL.19, NO.10, PP.2508-2516
  16. Guihong XU, Jian ZHANG, First-Order Logic Reasoning Support for the Semantic Web (In Chinese), Journal of Software, VOL.19, NO.12, PP.3091-3099
  17. Kazmi Syed Asad Raza, Wenhui ZHANG, Intuitionistic Linear-Time μ-Calculus, Journal of Software, 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. Jian ZHANG, Sharp Static Analysis of Programs (In Chinese), CHINESE JOURNAL OF COMPUTERS, 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. Feitong Liu, Wencheng Wang, Peijie Huang, Enhua Wu, Texture Synthesis via the Matching Compatibility between patches (In Chinese), Science in China Series 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. Xiaojun DAI, Reverse enumeration of sentences of context-free languages (In Chinese), COMPUTER ENGINEERING AND DESIGN, 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. Shiguang LIU, Guojun CHEN, Peng YANG, Jiawan ZHANG, Jizhou SUN, Realistic Simulation of Stains on Cloth (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, VOL.20, NO.9, PP.1110-1116
  30. Rongjie YAN, Wenliang ZHANG, Zhisong TANG, Truly Bitstate-Hashing for SCC-Based Emptiness Checking Algorithms (In Chinese), CHINESE JOURNAL OF COMPUTERS, 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. Shuxia YU, Yuyue DU, A Model of Electronic Commerce on Grid Computing (In Chinese), JOURNAL OF INFORMATION, 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. Lei ZHANG, Yang LI, Wenbo ZHANG, Liujun DENG, PRAM:PRAM:efficient calendar queue algorithm based on Markov model (In Chinese), APPLICATION RESEARCH OF COMPUTERS, VOL.25, NO.9, PP.2625-2630
  41. Du LI, Towards test order selection strategy (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.29, NO.4, PP.781-783
  42. Lin ZUO, Shaohua LIU, Jun WEI, Yulin FENG, Guochuang FAN, Adaptive Component Replica Selection Model and Algorithms (In Chinese), JOURNAL OF SOFTWARE, VOL.19, NO.5, PP.1212-1223
  43. Lin ZUO, Shaohua LIU, Yulin FENG, Jun WEI, Yang LI, A Web Application Server Replication Scheme for Complex Transaction Patterns (In Chinese), JOURNAL OF SOFTWARE, VOL.19, NO.2, PP.432-445
  44. Bowen ZHOU, Liping DING, Yongji WANG, Framework of forensic system against intrusion (In Chinese), APPLICATION RESEARCH OF COMPUTERS, VOL.25, NO.4, PP.1117-1119
  45. Yue LI, Juan LI, Wei CHEN, Test plan method based on constraint satisfaction problem (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.29, NO.3, pp.535-539
  46. Qing WANG, Shujian WU, Mingshu LI, Software Defect Prediction (In Chinese), JOURNAL OF SOFTWARE, VOL.19, NO.7, PP.1565-1580
  47. Hui ZHOU, Dan LI, Yongji WANG, Fundamental Problems with Available Bandwidth Measurement Systems (In Chinese), JOURNAL OF SOFTWARE, VOL.19, NO.5, PP.1234-1255
  48. Junchao XIAO, Qing WANG, Mingshu LI, Lei ZHANG, Dapeng LIU, An organization-Entity Capability Based Software Process Modeling Method (In Chinese), JOURNAL OF SOFTWARE, 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. Shengfei LIU, Yunquan ZHANG, Improved Pattern Matching Algorithm of BMH, COMPUTER SCIENCE (In Chinese), VOL.35, NO.11, PP.164-165
  51. Kai LIU, Yuxin TANG, Yunquan ZHANG, Yucheng LI, Research on implementation technology of cluster parallel database system (In Chinese), COMPUTER ENGINEERING AND DESIGN, VOL.29, NO.3, PP.526-529
  52. Gang SONG, Mengqi JIANG, Yunquan ZHANG, Yucheng LI, OpenMP Parallelization of Element Computation Subroutine of Finite Element Method (In Chinese), COMPUTER ENGINEERING, VOL.34, NO.6, PP.80-81
  53. Kaishi LI, Yunquan ZHANG, Yucheng LI, Parallelization of Blocked FM-index Algorithm and Its Implementation (In Chinese), COMPUTER ENGINEERING, VOL.34, NO.8, PP.53-54
  54. 侯晓吻, 张云泉, Analysis of Key Techniques in KOJAK Toolkit Package (In Chinese), Journal of Computer Research and Development, VOL.45 suppl, PP.18-25
  55. 孙家昶, A New Kind of Three-variable Orthogonal Polynomial and Its Recurrence Formula (In Chinese), Science In China Series A: Mathematics, VOL.38, NO.2, PP.221-240


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Li Jiao, A Method for Verifying Deadlock Freedom and Liveness of Petri Nets, 2008 IEEE International Symposium on Circuits and Systems, 2008
  2. Xiaowei Huang, Li Jiao, Weiming Lu, Weak Parametric Failure Equivalences and Their Congruence Formats, 14th Computing:The Australasian Theory Symposium, 2008
  3. Jun Sun, Zhiyong Shen, Hui Li, Yidong Shen, Clustering Via Local Regression, European conference, ECML PKDD 2008, 2008
  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
  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
  6. Jianfeng Du, Guilin Qi, Yidong Shen, Lexicographical Inference over Inconsistent DL-Based Ontologics, Sencond International Conference, RR2008, 2008
  7. Zhiyong Shen, Jun Sun, Yidong Shen, Collective Latent Dirichlet Allocation, IEEE ICDM2008, 2008
  8. Jianfeng Du, Yidong Shen, Computing Minimum Cost Diagnoses to Repair Populated DL-based Ontologies, WWW 2008, 2008
  9. Huimin Lin, Srratifying Winning Positions in Parity Games, 29th International Conference, PETRI NETS 2008, 2008
  10. Liang Xu, SMT-based Bounded Model Cheching for Real-time Systems, QSIC 2008, 2008
  11. Zhongxing Xu, Jian Zhang, Path and Context Sensitive Inter-procedural Memory Leak Detection, QSIC 2008, 2008
  12. Sergey Bereg, Minghui Jiang, Wencheng Wang, Boting Yang, Binhai Zhu, Simplifying 3D Polygonal Chains Under the Discrete Frechet Distance, LATIN2008: Theoretical Informatics, 2008
  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
  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
  17. Angsheng Li, Mingji Xia, A Theory for Valiant's matchcircuits, STACS2008, 2008
  18. Hongtao Huang, Detection of Disjunctive Normal Form Predicate in Distributed Systems, ICDCN2008, 2008
  19. Hongtao Huang, Detection of a Set of States in Distributed Systems, 15th Asia-Pacific Software Engineering Conference, 2008
  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
  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
  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, PRICAI 2008, 2008
  25. Hongji Wang, Gang Yao, Xiaoxi Han, A New Concurrent Signature Scheme Based on the FAPKC3's Signature Scheme, 2008 ASID
  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, 2008
  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, 2008
  28. Lei Chen, Haiming Chen, Efficient Type Checking for a Subclass of Regular Expression Types, The 9th International conference for Young Computer Scientists, 2008
  29. Haiming Chen, Lei chen, Inclusion Test Algorithms for One-Unambiguous Regular Expressions, ICTAC2008, 2008
  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


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. ISCAS-LCS-08-01, Yunmei DONG, Linear-time Lexicographic-order Enumeration of Derivation Trees of Context-free grammars (In Chinese)
  2. ISCAS-LCS-08-02, Yonghui WU, The Complete Decomposition of the Normalization Design of XML Database Schema Eliminating Structural Redundancies and Irregularity (In Chinese)
  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



Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki