Map     中文
Papers Before 2007

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers Before 2007
Jump to: navigation, search


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Journal Papers Before 2007
  • Year 2006
  1. Rongjie YAN, Guangyuan LI, Yubo XU, Chunming LIU, Zhisong TANG, Reachability Checking of Finite Precision Timed Automata (In Chinese), Journal of Software, Vol17.No.1 p.p.1-10
  2. Chuanliang XIA, Li JIAO, Weiming LU, Petri Net Refinement and Its Application in System Design (In Chinese), Journal of Software, Vol17.No.1 p.p.11-19
  3. Zhang Wei, Liu Hengchang, Baohua ZHAO, Qu Yugui, Power Consumption Model in Two-tiered Wireless Sensor Networks, Chinese Journal of Electronics, Vol15.No.1 p.p.160-165
  4. Hengchang LIU, Baohua ZHAO, A Near-Optimal Optimization Algorithm for Link Assignent in Wireless Ad-Hoc Networks, Journal of Computer Science and Technology, Vol21.No.1 p.p.89-94
  5. Baohua ZHAO, Wei ZHANG, Hengchang LIU, Yugui QU, Cluster Partition Algorithm in Wireless Sensor Networks (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol29.No.1 p.p.161-165
  6. Sheng LI, Junfeng JI, Xuehui LIU, Enhua WU, High Performance Navigation of Very Large-Scale Terrain Environment (In Chinese), Journal of Software, Vol17.No.3 p.p.535-545
  7. Youquan LIU, Xuehui LIU, Enhua WU, Real-Time 3D Fluid Simulation on GPU with Complex Obstacles (In Chinese), Journal of Software, Vol17.No.3 p.p. 568-576
  8. Gang YANG, Hanqiu SUN, Wencheng WANG, Enhua WU, GPU-Based Realistic Fur Rendering (In Chinese), JOURNAL OF SOFTWARE, Vol17.No.3 p.p. 577-586
  9. Xueyang ZHU, Zhisong TANG, Compositional Semantics and Refinement of Statecharts (In Chinese), JOURNAL OF SOFTWARE, Vol17.No.4 p.p. 670-681
  10. Wencheng WANG, Feng WEI, Enhua WU, Visibility Determination for Rendering Large Scale Scenes (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol18.No.2 p.p.181-188
  11. Baoquan LIU, Enhua WU, Xuehui LIU, Interactively Rendering Dynamic Refraction on GPU (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol18.No.11 p.p. 1652-1657
  12. Junfeng JI, Sheng LI, Xuehui LIU, Enhua WU, View-Dependent Progressive Transmission of Highly Detailed Surfaces (In Chinese), Journal of Software, Vol17.No.10 p.p. 2192-2199
  13. Wencheng WANG, Feng WEI, Enhua WU, View Dependent Sequential Point Trees, Journal of Computer Science and Technology, Vol21.No.2 p.p. 181-188
  14. Hongbin ZHU, Xuehui LIU, Youquan LIU, Enhua WU, Simulation of Miscible Binary Mixtures Based on Lattice Boltzmann Method, Computer Animation & Virtual Worlds, Vol17.No.3-4 p.p. 403-411
  15. Chunjuan SUN, Wencheng WANG, Jing LI, Enhua WU, Line Clipping Against a Polygon through Convex Segments (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol18.No.12 p.p. 1799-1805
  16. Feng WEI, Wencheng WANG, Enhua WU, Line-Drawing Videos for Volume Visualization (In Chinese), CHINESE JOURNAL OF COMPUTERS,, Vol19.No.12 p.p. 2086-2095
  17. Li JIAO, T. Y. Cheung, Compositional Verification for Workflow Nets, Journal of Circuits, Systems and Computers, Vol15.No.4 p.p. 551-570
  18. Bo LING, Yonghui WU, Necessary Condition that Implicit Redundancies Don't Exist in XML Schemas (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol. Z3, No.43. p.p. 407-412
  19. Duanyi WU, Lei CHEN, Haiming CHEN, Summary of Sentence Generation Methods on Context-free Grammar (In Chinese), Computer Science, Vol. 33, No. 8, p.p. 63-67
  20. Gilles Dowek, Ying JIANG, Eigenvariables, bracketing and the decidability of positive minimal predicate logic, Theoretical Computer Science, p.p. 193-208
  21. Yunmei DONG, Counting and Enumeration According to Layered Lexicographic Order of CFL Sentences (In Chinese), Science In China Series E, Vol36.No.12 p.p. 1375-1413
  22. Wenhui ZHANG, Structure of proofs and the complexity of cut elimination, Theoretical Computer Science, p.p. 63-70
  23. Jin YI, Wenhui ZHANG, Efficient Translation from Transition-Based Generalized Büchi Automata to Büchi Automata (In Chinese), Journal of Software, Vol17.No.4 p.p. 720-728
  24. Yiping WANG, Wencheng WANG, Enhua WU, Optimizing Implementation of Patch-Based Texture Synthesis (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol18.No.10 p.p. 1502-1507
  25. Wencheng WANG, Kuiyv LI, Enhua WU, Stick Textures for image-based rendering, Graphical Models, p.p. 294-306
  26. Yan WU, Wencheng WANG, Enhua WU, Overview of Geometry Compression of 3D Models (In Chinese), COMPUTER SCIENCE, Vol33.No.3 p.p.1-6
  27. Haiming CHEN, Yunmei DONG, Facilitating formal specification acquisition by using recursive functions on context-free languages, Knowledge-Based SYSTEMS, p.p.141-151
  28. Feng WEI, Wencheng WANG, Enhua WU, Fast Selecting Visible Surfaces in High Precision (In Chinese), Journal of Software, Vol17.No.10 p.p. 2199-2210
  29. Hongbin ZHU, Xuehui LIU, Youquan LIU, Enhua WU, Binary Mixtures Simulation Based on Lattice Boltzmann Method (In Chinese), Chinese Journal of Computers, Vol29.No.12 p.p.2071-2079
  30. Hong PAN, Huimin LIN, Yi LV, Model Checking Data Consistency for Cache Coherence Protocols, Journal of Computer Science and Technology, Vol21.No.5 p.p. 765-775
  31. Guihong XU, Jian ZHANG,Constraint-Based Termination Analysis of Active Rules (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol43.No.5 p.p. 894-900
  32. Xiaohui JI, Jian ZHANG, An Efficient and Complete Method f or Solving Mixed Constraints (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol43.No.3 p.p. 551-556
  33. Ping WU, Yiyun CHEN, Jian ZHANG, Static Data-Race Detection for Multithread Programs (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol43.No.2 p.p. 329-335
  34. Meng HUANG, Fengdi SHU, Mingshu LI, A Risk-Driven Method for Prioritizing Requirements in Iteration Development (In Chinese), Journal of Software, 2006,Vol.17, No.12, 2450-2460
  35. Zhanchun WU, Qing WANG, Mingshu LI, A PDCA-Based Software Process Control and Improvement Model (In Chinese), Journal of Software, 2006,Vol.17, No.8, 1669-1680
  36. Mingshu Li,Barry W.Boehm,Leon J. Osterweil, Unifying the Software Process Spectrum, Journal of Software, 2006,Vol.17, No.4, 649-657
  37. Xinpei ZHAO, Mingshu LI, Keith CHAN, Qing WANG, A Negotiation-Based Approach for Software Process Collaboration (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT,2006,Vol.43, No.2, 314-320
  38. Juan LI, Feng YUAN, MingShu LI, Qing WANG, A Model Merging Based Approach for Modeling the CMM Implementation Process (In Chinese), Chinese Journal of Computers, 2006, Vol.19, No.1, 54-65
  39. Jing CHEN, Yunquan ZHANG, Linbo ZHANG, Wei YUAN, Implementation and Performance Analysis of a New MPI Allgather Algorithm on Terascale Linux Clusters (In Chinese), Chinese Journal of Computers,Vol.29,No.5. pp.808-814
  40. Yong ZHANG, Tao HUANG, Jun WEI, Ningjiang CHEN, Architectural Level Performance Modeling of Component System Based on Container Middleware (In Chinese), JOURNAL OF SOFTWARE, Vol.17,No.6.PP1328-1337
  41. Wenbo ZHANG, Ningjiang CHEN, Jun WEI, Tao HUANG, A QoS Benefit Driven Scheduling Framework for Middleware (In Chinese), JOURNAL OF SOFTWARE, Vol.17,No.6 P1381-1390
  42. Heqing GUAN, Wenbo ZHANG, Jun WEI, Tao HUANG, An Application-Aware Web Service Requests Scheduling Strategy (In Chinese), CHINESE JOURNAL OF COMPUTERS,Vol.29,No.7 P1189-1198
  43. Tao HUANG, Xiaoning DING, Jun WEI, Relaxed transaction model for Internetware Based on Applied Semantics (In Chinese), Science In China Series E, Vol.36,No.10 P1170-1188
  44. Ningjiang CHEN, Jun WEI, Bo YANG, Tao HUANG, Adaptive Failure Detection in Web Application Server (In Chinese), Journal of Software, 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. Junxiang LIU, Yongji WANG, Yuan WANG, Jiansheng XING, Haitao ZENG, Real-Time System Design Based on Logic OR Constrained Optimization (In Chinese), JOURNAL OF SOFTWARE, Vol. 17, No.7, 2006, pp. 1641-1649.
  48. Yunzhi XUE, Wei CHEN, Yongji WANG, Chen ZHAO, Qing WANG, An Automated Approach for Structural Test Data Generation Based on Messy GA (In Chinese), JOURNAL OF SOFTWARE, Vol. 17, No. 8, 2006, pp. 1688-1697
  49. Jie TONG, Yongji WANG, On Gene Circuits, a Survey (In Chinese), MINI-MICRO SYSTEMS, Vol. 27, No. 6, 2006, pp. 1129-1133
  50. Qiuping CHEN, Liguo WU, Yongji WANG, Design and implementation of JSF-based grid portal (In Chinese), COMPUTER ENGINEERING AND DESIGN, Vol. 27, No. 19, 2006, pp. 3511-3514


  • Year 2005
  1. H.J.Huang, Li JIAO, 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. Xiaohui JI, Jian ZHANG, Solving Boolean Combinations of Nonlinear Numerical Constraints (In Chinese), JOURNAL OF SOFTWARE, 2005, Vol.16 , No.5 p.p. 659-668
  3. Peng WU, Xiaochun SHI, Jiangjun TANG, Huimin LIN, T.Y CHEN, Metamorphic Testing and Special Case Testing, A Case Study (In Chinese), JOURNAL OF SOFTWARE, 2005, Vol.7 , No.16, p.p. 1210-1220
  4. Peng WU, Analyzing Interoperability of Protocols Using Model Checking, Chinese Journal of Electronics, Vol.14, No.3, p.p. 453-457
  5. Shaohua LI, Jian ZHANG, Survey Propagation, An Effective Algorithm for Solving SAT (In Chinese), Computer Science, Vol.32 , No.1, p.p. 132-137
  6. Jie ZHAI, Zhiqing SHAO, Proof System Violet Based on Tecton (In Chinese), JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION), Vol.31, No.2, p.p. 198-202
  7. Hua CHEN, Zhiqing SHAO, Yiquan FANG, Multifractal Analysis of Internet Traffic (In Chinese), Journal of Communications, Vol.25, No.1, p.p. 27-30
  8. Tao GUAN, Zhiqing SHAO, Qingchao LI, Qingtao WU, Information Encryption Algorithm Based on DNA Sequence Splicing (In Chinese), COMPUTER ENGINEERING, Vol.31, No.4, p.p. 152-154
  9. Xueyang ZHU, Zhisong TANG, A Temporal Logic Semantics for UML Activity Diagrams (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.42, No.9, p.p. 1478-1484
  10. Shijun LI, Weijie OU, Wei JIAN, He HUANG, Unregulated table structure Web information extraction based on finite state automata (In Chinese), ENGINEERING JOURNAL OF WUHAN UNIVERSITY, 2005.6
  11. Wencheng WANG, Jing LI, Enhua WU, 2D Point-in-polygon test by classifying edges into layers, COMPUTERS & GRAPHICS, Vol.26, p.p. 427-439
  12. Lizhen GUO, Guangzheng FEI, Wencheng WANG, Enhua WU, A Metric with Texture Feature Integrated for Model Simplification (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.28, No.28, p.p. 1055-1061
  13. Feng WEI, Wencheng WANG, Enhua WU, Sequential Point Trees with Visibility Processed Efficiently (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.28, No.28, p.p. 950-958
  14. Youquan LI, Wencheng WANG, Enhua WU, Fast and Realistic Simulation for Trees Swaying in Wind (In Chinese), .CHINESE JOURNAL OF COMPUTERS, Vol.28, No.28, p.p. 1185-1191
  15. Haiyang WANG, Kangying CAI, Wencheng WANG, Enhua WU, Optimizing Data Loading and Memory Allocation for Out-of-Core Simplification (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.17, No.8, p.p. 1736-1743
  16. Li JIAO, Hejiao Huang, Toyat Cheung, Property-Preserving Composition by Place Merging, Journal of Circuits, Systems, And Computers, Vol.14, No.4, p.p. 793-812
  17. Li JIAO, Toyat Cheung, Weiming LU, 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. Liang LI, Huadong MA, Guangyuan LI, 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. Youquan LIU, Hongbin ZHU, XuehuI LIU, Enhua WU, 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. Youquan LIU, Xuehui LIU, Hongbin ZHU, Enhua WU, Physically Based Fluid Simulation in Computer Animation (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.10, No.12,
  21. Jinzhong WU, Xuehui LIU, Enhua WU, Real-Time Rendering for Out-of-Core Terrain Model (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.10, No.12,
  22. Zhuo HUANG, Jian ZHANG, Generating SAT Instances from First-Order Formulas (In Chinese), Journal of Software, Vol.16, No.3 p.p. 327-335
  23. Ping WU, Yiyun CHEN, Jian ZHANG, Effective Synchronization Removal in Concurrent Java Programs (In Chinese), Journal of Software, Vol.16, No.10 p.p. 1708-1716
  24. Xiaohui JI, Zhuo HUANG, Jian ZHANG, On the Integration of Constraint Programming and Optimization (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.28, No.11 p.p. 1790-1797
  25. Xiaoyu LENG, Jian ZHANG, ActiveX scripting-based development of testing software (In Chinese), COMPUTER ENGINEERING AND DESIGN, Vol.26, No.2, p.p. 488-494
  26. Jian ZHANG, Zhuo HUANG, Reducing Symmetries to Generate Easier SAT Instances, Electronic Notes in Theoretical Computer Science, Vol.125, No.3, p.p. 149-151
  27. Huimin LIN, A Predicate μ-Calculus for Mobile Ambients, JCST, Vol.20, No.1, p.p. 95-104
  28. Guoqiang ZHANG, Ying JIANG, On an open problem of Amadio and Curien, The finite antichain condition, Information and Computation, p.p. 87-103
  29. Yang SHEN, Haiming CHEN, Sentence Generation Based on Context-dependent Rule Coverage (In Chinese), COMPUTER ENGINEERING AND APPLICATIONS, Vol.41, No.17, p.p. 96-100
  30. Jian CHEN, Wencheng WANG, Enhua WU, Markerless Human Motion Tracking from Monocular Videos (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.17, No.9, p.p. 2033-2039
  31. Wencheng WANG, Hanqiu SUN, Enhua WU, Projective volume rendering by exculding occluded voxels, International Journal of Image and Graphics, Vol.5, No.2, p.p. 413-431
  32. Wenhui ZHANG, Modal Logic and Model Checking (In Chinese), Communications of the CCF, Vol.2, No.1, p.p. 22-26
  33. Zhilin WU, Quasi-star-free languagaes on infinite words, Acta Cybernetica, Vol.17, No.1, p.p. 75-93
  34. Gang YANG, Wencheng WANG, Enhua WU, Texture Synthesis by the Border Image (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol.42, No.12, p.p. 2118-2125
  35. Jian CHEN, Enhua WU, 3D Human Motion Reconstruction from Monocular Videos through Iterative Optimization (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol17, No.7, p.p. 1523-1528
  36. Yongjian LI, contextual labelled semantics for higher-order process calculi, ENTCS, p.p. 61-77
  37. Xinyan LV, Baohua ZHAO, Hao ZHOU, A Dynamic Protocol Conformance Testing Method (In Chinese), JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA, Vol35, No.3, p.p. 396-403
  38. Xionghui GUO, Baohua ZHAO, Lan QIAN, Fault Diagnosis in Passive Testing (In Chinese), JOURNAL OF UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA, Vol35, No.3, p.p. 385-391
  39. Yao KE, Baohua ZHAO, Yugui QU, Software Reliability Analysis of Component Based System (In Chinese), JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS, Vol28, No.6, p.p. 115-119
  40. Wuchang LU, Shanli HU, Agent negotiation model based on neural networks in electronic commerce (In Chinese), JOURNAL OF COMPUTER APPLICATIONS, Vol25, No.7, p.p. 1638-1650
  41. Meihua XIAO, Jinyun XUE, Moleling and Verifying Cryptographic Protocols Using SPIN/Promela, International Journal of Computer & Information Science, Vol6, No.1, p.p. 1-12
  42. Yujun ZHENG, Haihe SHI, Jinyun XUE, An Introduction of Formal Features in Spec# (In Chinese), Computer Science, Vol32, No.8, p.p. 135-139
  43. Yujun ZHENG, Lianlai WANG, Jinyun XUE, A Constraint Programming Framework for Integrated Materiel Logistic Support (In Chinese), JOURNAL OF NANJING UNIVERSITY(NATURAL SCIENCES), Vol41, p.p. 30-34
  44. Yuan TANG, Jiachang SUN, Yunquan ZHANG, Linbo ZHANG, New Consideration on the Evaluation Model of Cluster Area Network (In Chinese), JOURNAL OF SOFTWARE, Vol16, No.6 p.p.1131-1139
  45. We YUAN, Yunquan ZHANG, Jiachang SUN, Yucheng LI, Performance Analysis of NPB Benchmark on Domestic Tera-Scale Cluster Systems (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol42, No.6, p.p. 1079-1084
  46. Ran HE, Yongji WANG, Qing WANG, Jinhui ZHOU, Chenyong HU, An Improved Particle Swarm Optimization Based on Self-Adaptive Escape Velocity (In Chinese), JOURNAL OF SOFTWARE,Vol16, No.12,p.p. 2036-2044
  47. Liping DING, Yongji WANG, Study on Relevant Law and Technology Issues about Computer Forensics (In Chinese), JOURNAL OF SOFTWARE, Vol16, No. 2,p.p.260-275
  48. Xiaogang ZHANG, Mingshu LI, Workflow-Based Knowledge Flow Modeling and Control (In Chinese), Journal of Software, Vol16, No. 2,p.p. 184-193
  49. Jiansheng XING, Junxiang LIU, Yongji WANG, Schedulability Test Performance Analysis of Rate Monotonic Algorithm and Its Extended Ones (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol42, No.11,p.p. 2025-2032
  50. Juan LI, Mingshu LI, Zhanchun WU, Qing WANG, A SPEM-Based Software Process Metamodel for CMM (In Chinese), Journal of Software, Vol16, No.18,p.p. 1366-1377
  51. Yuan LIAO, Xiaoyong HUAI, Mingshu LI, QuCOM, QuCOM, A QoS Management Model for Component System (In Chinese), JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT, Vol42, No.10,p.p. 1802-1808
  52. Li Mingshu, Expanding the Horizons of Software Development Processes, A 3-D Integrated Methodology, Software Process Workshop 2005, 54-67
  53. Xiaoxi WANG, Yongji WANG, Jinhui ZHOU, Xiuli WANG, Congestion Control Algorithm Based on Improved Model in Large-Delay Networks (In Chinese), ACTA ELECTRONICA SINICA, Vol33, No.5,p.p. 842-846
  54. Yuan LIAO, Lei TANG, Mingshu LI, A Method of QoS -Aware Service Components Composition (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol28, No.4,p.p. 627-634
  55. Ningjiang CHEN, Jun WEI, Bo YANG, Tao HUANG, Adaptive Failure Detection in Web Application Server (In Chinese), Journal of Software, Vol16.No.11 p.p.1929-1938
  56. Yongji WANG, 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.
  57. Chenyong Hu, Benyu Zhang, Yongji WANG, 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.
  58. Junxiang LIU, Yongji WANG, M. Cartmell, An Improved Rate Monotonic Schedulability Test Algorithm (In Chinese), JOURNAL OF SOFTWARE, Vol. 16, No. 1, 2005, pp. 89-100
  59. Liping DING, Yongji WANG, A Survey on Computer Forensics (In Chinese), Journal of Communication and Computer, Vol. 2, No. 8, 2005, pp. 1-9


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  • Year 2006
  1. Jing Li, Yu Gu, Wei Zhang, Baohua ZHAO, MIMO Techniques in Cluster-Based Wireless Sensor Networks, International Workshop on Sensor Networks(IWSN2006), 2006
  2. Naijun ZHAN, Connecting Algebraic and Logical Descriptions of Concurrent Systems, IEEE-ISoLA 2006, 2006
  3. Fei PU, Wenhui ZHANG, Shaochun WANG, An Improved Case-Based Approach to LTL Model Checking, RISE 2005, 2006
  4. Weiya Yue, Yanyan XU, Kaile Su, BDDRPA, An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning, AI 2006, 2006
  5. Wenhui ZHANG, SAT-Based Verification of LTL Formulas, FMICS 2006, 2006
  6. Fei PU, Wenhui ZHANG, LTL Model Checking via Search Space Partition, QSIC 2006, 2006
  7. Yiping WANG, Wencheng WANG, Enhua WU, Optimizing the Parameters for Patch-based Texture Synthesis, VRCIA 2006, 2006
  8. Kangying CAI, Ying LIU, Wencheng WANG, Progressive Out-of-Core Compression Based on Multi-Level Adaptive Octree, VRCIA 2006, 2006
  9. Peijie HUANG, Wencheng WANG, Gang YANG, Enhua WU, Traversal Field for Ray Tracing Dynamic Scenes, VRST 2006, 2006
  10. Haiming CHEN, Tseren-Onolt Ishdorj, Gheorghe Paun, Computing Along the Axon, BIC-TA 2006, 2006
  11. Haiming CHEN, Yunmei DONG, Towards Practical Computable Functions on Context-Free Languages, TAMC 2006, 2006
  12. Haiming CHEN, 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
  13. Gang YANG, Hanqiu SUN, Wencheng WANG, Enhua WU, Interactive Fur Modeling Based on Hierarchical Texture Layers, VRCIA 2006, 2006
  14. Ling LIN, Jiang LU, Ruilian ZHAO, The Formal Representation and Generation of MM Paths Based on UML State Diagrams (In Chinese), CTC2006, 2006
  15. PengWU, Huimin LIN, Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, WSPC, 2006
  16. Jun YAN, Jian ZHANG, Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing, COMPSAC06,
  17. Sheng LIU, Jian ZHANG, Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem, WI 06
  18. Zhongxing XU, Jian ZHANG, A Test Data Generation Tool for Unit Testing of C Programs, QSIC 2006
  19. Jun YAN, Zhongjie Li, Yuan Yuan, Wei Sun, Jian ZHANG, BPEL4WS Unit Testing , Test Case Generation Using a Concurrent Path Analysis Approach, ISSRE06
  20. Xiangxue JIA, Jian ZHANG, A Powerful Technique to Eliminate Isomorphism in Finite Model Search, IJCAR 2006, 2006
  21. Sheng LIU, Jian ZHANG, Using Hajos Construction to Generate Hard Graph 3-Colorability Instances, AISC2006, 2006
  22. Jun YAN, Jian ZHANG, Zhongxing XU, Finding Relations Among Linear Constraints, AISC2006, 2006
  23. Enua WU, Hongbin ZHU, Xuehui LIU, Youquan LIU, Simulation of Fluid Dynamics and Interactions, International Conference CYBERWORLDS 2006, 2006
  24. Yongjiian LI, Jun Pang, Generalized Unsolicited Tests for Authentication Protocol Analysis, Seventh International Conference on Parallel and Distributed Computing Applications and Technologies, 2006
  25. Baoquan LIU, Enhua WU, Xuehui LIU, Interactive Rendering Dynamic Caustics on GPU, CGI2006, 2006
  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
  29. Feng Yuan, Mingshu Li, Zhigang Wan, “SPEM2XPDL-Towards SPEM Model Enactment”, SERP’06, Las vegas.Nevada, 2006
  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
  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
  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
  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
  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
  35. Gang SONG, Mengqi JIANG, Yunquan ZHANG, Yucheng LI, Jing CHEN, Kai LIU, OpenMP Parallelization of Compression Algorithm and Primary Results on Parallel Decompression (In Chinese), HPC 2006, 2006
  36. Hanjun LU, Jifeng YAO,Yunquan ZHANG, A Memory Complexity Model for Circular Sentences and Its Application (In Chinese), HPC China, 2006
  37. Yong Fu, Hongan WANG, Distributed Utilization Control for Real-Time Clusters with Load Balancing, Proc. RTSS, Rio, Brazil, 2006
  38. Weixin Wang, Hui Wang, Guozhong DAI, Hongan WANG, Visualization of large hierarchical data by circle packing, ACM Conference on Human Factors in Computing Systems (CHI'06), Canada, 2006
  39. Xiang Ao, Junfeng Li, Xugang Wang , Guozhong DAI, 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, Guozhong DAI, 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, Yongji 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, Yongji 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, Yongji WANG, 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, Yongji WANG, 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, Yongji 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, Yongji WANG, 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.


  • Year 2005
  1. Peng WU, Iterative Metamorphic Testing, COMPSAC 2005, 2005.7.26-28
  2. Yongjian LI, The Inductive Approach to Strand Space theory, Formal Techniques for Networked and Distributed Systems-FORTE 2005, 2005.1
  3. Peng WU, Dongmei ZHANG, Compositional Modelling and Verification of IPv6 Mobility, Formal Techniques for Networked and Distributed Systems-FORTE 2005, 2005.1
  4. Naijun ZHAN, Mila Majster-Cederbaum, Deriving Non-determinism from Conjunction and Disjunction, 3 Formal Techniques for Networked and Distributed Systems-FORTE 2005, 2005.1
  5. Naijun ZHAN, Jinzhao Wu, Compositional of Fixpoint Logic with Chop, ICTAC 2005, 2005.10.17-21
  6. Rongjie YAN, Guangyuan LI, Zhisong TANG, Symbolic Model Checking of Finite Precision Time Automata, ICTAC 2005, 2005.10.17-21
  7. Shijun LI, Weijie Ou, Junqing Yu, Ontology-Based HTML to XML Conversion, Advances in Web-Age Information Management, 2005.10
  8. Li JIAO, COMPOSITIONAL ANALYSIS FOR REGULARITY ,LIVENESS AND BOUNDEDNESS, ICINCO2005, 2005.9.14-17
  9. Wencheng WANG, Yan WU, Qingjie SUN, Enhua WU, Decomposing Polygons into Stripes for Fast Rendering, 2005 The first Korea-China Joint Conference on Geometric and Visual Computing, 2005.8.24-26
  10. Wencheng WANG, Feng WEI, Enhua WU, An Improved Approach on View Dependent Rendering of Point Models, Pacific Graphics 2005, 2005.10.12-14
  11. Li JIAO, Decomposition of Nets and Veritication in terms of Decomposition, CIMCA2005, 2005.11.28-30
  12. Yi Duan, Huadong MA, Modeling Flexible Workflow Based on Temproal Logic, CSCWD2005
  13. Junfeng JI, Enhua WU, Sheng LI, Xuehui LIU, Dynamic LOD on GPU, CGI2005, 2005.6
  14. Junfeng JI,Sheng LI, Enhua WU, Xuehui LIU, Interactive Transmission of Highly Detailed Surfaces, Computational Science and its Applications2005, 2005.9
  15. Yidong SHEN, Qian Yang, Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops, 15th International Conference ,ILP2005, 2005.8
  16. Yonghui WU, Normalization Design of XML Database Schema for Eliminating Structural Redundancies, Intelligent Information Management Systems and Technologies2005, 2005.9
  17. Fei PU, Wenhui ZHANG, Shaochun WANG, An Improved Case-Based Approach to LTL Model Checking, RISE2005, 2005.9.8-9
  18. Jian ZHANG, Computer Search for Counterexamples to Wikie's Identity, 20th International Conference on Automated Deduction, 2005.7.22-27
  19. Xiangxue JIA, Jian ZHANG, Predicate-Oriented Isomorphism Elimination in Model Finding, Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05)
  20. Peng WU, Huimin LIN, Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints, QSIC 2005, 2005.9.19-20
  21. Weijia DENG, Huimin LIN, Extended Symbolic Transition Graphs with Assignment, COMPSAC 2005, 2005.7.26-28
  22. Rongjie YAN, Guangyuan LI, Zhisong TANG, Symobolic Model Checking of Finite Precision Timed Automata, The Second Iternational Colloquium on Theoretical Aspects of Computing, 2005.10.17-21
  23. Haoda HUANG, 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. Naijun ZHAN, Mila Majster-Cederbaum, Chaochen Zhou, Program Verification by Using DISCOVERER, FORTE05, 2005.10.2-5
  25. Yu Gu, Wei Zhang, Hengchang Liu, Baohua ZHAO, Yugui Qu, Energy-Efficient Target Localization Based on a Prediction Model, EUC workshops 2005
  26. Zhao Li, Wei Zhang, Hengchang Liu, Baohua ZHAO, Yugui Qu, Multicast Routing With Minimum Energy Cost and Minimum Delay in Wireless Sensor Networks, EUC workshops 2005
  27. Xiang Chen, Shanli HU, 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, Shanli HU, Modeling Agents Combined with Environment,Mental states and Utility, JICC 2005
  29. Haiyan WU, Shanli HU, Multi--issue Negotiation Based on Decision Utility and Learning (In Chinese), Artificial Intelligence China 2005.
  30. Yj Zheng, Yl Zhu, Jinyun XUE, Partially introducing formal methods in software evolution , A quality metrics driven approach, JICC 2005, 2005.11.10-12
  31. Yj Zheng, Jq Wang, Jinyun XUE, Implementing templated design patterns, a category theoretic approach, JICC 2005, 2005.11.10-12
  32. zheng yujun, Jinyun XUE, A Maintenance Process Framework for Formally Derived Software, Software Process Workshop 2005, 2005.5.25-27
  33. Yujun zheng, Jinyun XUE, 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, Jinyun XUE, Toward a Unified Implementation for Dynamic Programming, 8th International Conference for Young Computer Scientists, 2005.9.20-22
  35. Hong JIN, Hongan WANG, Hui WANG, Scheduling design of controllers with fuzzy deadline, FSKD 2005, Changsha, China, August 27-29, 2005
  36. Hong JIN, Hongan WANG, Hui WANG, Scheduling fuzzy-deadline control tasks with preemption threshold, ICIC 2005
  37. Qing WANG, Mingshu LI, Measuring and Improving Software Process in China, International Workshop on Software Engineering, 2005.11.17-18
  38. Zhanchun WU, Mingshu LI, A Survey of CMM/CMMI Implementation in China, International Workshop on Software Engineering, 2005
  39. Hui ZHOU, Yongji WANG, Qing WANG, Measuring Internet Bottlenecks, Location,Capacity,and Available bandwidth, International Conference on Computer Networks and Mobile Computing, 2005
  40. Yunquan ZHANG, 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. Yunquan ZHANG, Wei YUAN, Performance Evaluation of Allgather Algorithms On Terascale Linux Cluster with Fast Ethernet, proceedings of HPC Asia 2005, 2005
  42. Yunquan ZHANG, 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, Guozhong DAI, 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, Yongji WANG, 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, Yongji WANG, 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


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  • Year 2006
  1. ISCAS-LCS-06-01, Yonghui WU,The Sufficient and Necessary Condition for No Implicit Redundancies in an XML Schema (In Chinese)
  • Year 2005
  1. ISCAS-LCS-05-01, Huimin LIN, μ-Calculus Model Checking is Polynomial -A Preliminary Report
  2. ISCAS-LCS-05-02, Peng WU, Dongmei ZHANG, Compositional Analysis of Mobile Network Protocols
  3. ISCAS-LCS-05-03, Jing LI, Wencheng WANG, Enhua WU, Convex Decomposition of Polyhedrons Using Occlusion Relations Among Edges/Facets (In Chinese)
  4. ISCAS-LCS-05-04, Xinxin LIU, Huanfang DONG, Expansive-bisimulation for normed BPA
  5. ISCAS-LCS-05-05, Yunmei DONG, Sentence Counting and Natural Enumeration of CFL (In Chinese)
  6. ISCAS-LCS-05-06, Xiaohui JI, Jian ZHANG, An Efficient and Complete Method for Solving Mixed Constraints (In Chinese)
  7. ISCAS-LCS-05-07, Haiming CHEN, Towards Practical Computable Functions on Context-Free Languages


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