1. Jingzheng WU, Yongji WANG, Liping DING, Research on key problem s of covert channel in cloud com puting (In Chinese), Journal On Communications, Vol.32, No.9A, PP.184-203.
2. Jian ZHAI, Qiu-Song YANG, Jun-Chao XIAO, Ming-Shu LI, Formalized Approach for Componentized Software Process Modeling (In Chinese), Journal of Software, Vol.22, No.1, PP.001-016.
3. Jing DU, Ye YANG, Qing WANG, Mingshu LI, Evidence-Based Trustworthy Software Process Assessment Method (In Chinese),

JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY, Vol.5, No.6, PP.501-512

1. Zhimin HE, Fengdi SHU, Ye YANG, Mingshu LI, Qing WANG, An investigation on the feasibility of cross-project defect prediction, Journal of Automated Software Engineering, Vol. 19, No. 2, PP.167-199.
2. Yongji WANG, Jingzheng WU, Liping DING, Haitao ZENG, Detecion Approach for Covert Channel Based on Concurrency Conflict Interval Time (In Chinese), Journal of Computer Research and Development, Vol.48, No.8, PP.1542 - 1553
3. Xiaofeng LIAO, Yongji WANG, Jinhui ZHOU, Bei GUAN, A Domain Expert Document Automatic Collecting System (In Chinese), Computer Systems & Applications
4. CAO Zheng-cai, ZHAO Hui-dan, WANG Yong-ji, Releasing Control Policy for Semiconductor Wafer Fabrication Based on Fuzzy Petri Nets-Reasoning, CHINESE JOURNAL OF ELECTRONICS, Vol.20, No.7, PP.1545-1550
5. Hui FEI, Yunquan ZHANG, Ke WANG, Yawu XU, Parallel Algorithm and Implementation for Molecular Dynamics Simulation Based on GPU (In Chinese), Computer Science, Vol.38, No.9, PP. 275-278
6. Qingchun XIE, Yunquan ZHANG, Ke WANG, Yan LI, Yawu XU, Research of the SIMD and Vector Math Library (In Chinese), Computer Science, Vol.38, No.7, PP.298-301
7. Cuixia MA, Lei REN, Dongxing TENG, Hongan WANG, Guozhong DAI, Ubiquitous human-computer interaction in cloud manufacturing (In Chinese), COMPUTER INTEGRATED MANUFACTURING SYSTEMS, Vol.17, No.3, PP.504-510
8. Mingxuan CHEN, Changzhi DENG, Lei REN, Feng TIAN, Guozhong DAI, Research on Model Driven Development Framework for Pen Based User Interface (In Chinese), Acta Electronica Sinica, Vol.39, No.2, P.268-274
9. Yinting FAN, Dongxing TENG, Gongzheng WANG, Haiyan YANG, Hongan WANG, Guozhong DAI, Implementation Mechanism of Adaptive User Interface for Furniture Layout Customizing System (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS, Vol.23, No.4, PP.705-712
10. Dongxing TENG, Zilu WANG, Haiyan YANG, Hongan WANG, Guozhong DAI, Research on Decision Analysis System Based on Interactive Visual Components (In Chinese), CHINESE JOURNAL OF COMPUTERS, Vol.34, No.3, PP.3555-3565
11. Haiyan YANG, Jia CHEN, Cuixia MA, Lili HE, DongXing TENG, Guozhong DAI, Hongan WANG, Constructing Technology for Hypervideo Based on Sketch Interface (In Chinese), Journal of Computer Research and Development, Vol.48, No.2, PP.289-295
12. Jinyi Cai, Pinyan Lu, Mingji Xia, A computational proof of complexity of some restricted counting problems, Theoretical Computer Science, Vol.412, No.23, PP.2468-2485
13. Yongjian Li, William N.N.Hung, Xiaoyu Song, A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL, Theoretical Computer Science, Vol.412, No.25, PP.2746-2765
14. Robert G. Merkel, Daoming Wang, Huimin Lin, Tsong Yueh Chen, Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver, International Journal of Software Engineering and Knowledge Engineering, Vol. 21, No.2, PP.289-307
15. Jinyi Cai, Pinyan Lu, Mingji Xia, Computational Complexity of Holant Problems, SIAM Journal on Computing, Vol.40, No.4, PP.1101-1132
16. Yongjian Li, William N.N.Hung, Xiaoyu SongNaiju Zeng, Exploring structural symmetry automatically in symbolic trajectory evaluation, Formal Methods in System Design, Vol.39, No.2, PP.117-143
17. Xiaohui Bie, Haoda Huang, Wencheng Wang, Free appearance-editing with improved Poisson image cloning, Journal of Computer Science and Technology, Vol.26, No.6, PP.1011-1016
18. Zhenyu Zhang, W. K. Chan, T.H.Tse, Y.T.Yu, Peifeng Hu, Non-Parametric Predicate-Based Fault Localization, Journal of System and Softwares, Vol.84, No.6, PP.885-905
19. Linqing Tang, On the Derandomization of the Graph Test for Homomorphism over Groups, Theoretical Computer Science, Vol.412, No.18, PP.1718-1728
20. Gilles Dowek, Ying Jiang, On the expressive power of schemes, Information and Computation, Vol.209, No.9, PP.1231-1245
21. Xiaohui Bie, Haoda Huang, Wencheng Wang, Real time edit propagation by efficient sampling, Computer Graphics Forum, Vol.30, No.7, PP.2041-2048
22. Bin Fu, Angsheng Li, Liyu Zhang, Separating NE from Some Nonuniform Nondeterministic Complexity Classes, Journal of Combinatorial Optimization, Vol.22, No.3, PP.482-493
23. George Barmpalias, Strings with trivial Kolmogorov Complexity, International Journal of Software and Informatics, Vol. 5, No.4, PP.609-623
24. Bican Xia, Lu Yang, Naijun Zhan, Zhihai Zhang, Symbolic decision procedure for termination of linear programs, Formal Aspects of Computing, Vol.23, No.2, PP.171-190
25. Manindra Agrawal, Angsheng Li, Theory and applications of models of computation, Theoretical Computer Science, Vol.412, No.18, PP.1645
26. Dezhen BU, Implementation of model checking for LTL properties with clocks constraints (In Chinese), COMPUTER ENGINEERING AND DESIGN (In Chinese), Vol.32, No.2, PP.564-567
27. Honglei HAN, Wencheng WANG, Linear Texture Coordinate Interpolation in Rasterization (In Chinese), Journal of Computer-Aided Design & Computer Graphics, Vol.23, No.6, PP.999-1005
28. Miao HUA, Xin CHEN, Wencheng WANG, An Easy and Fast Method for Dominant Texture Extraction (In Chinese), JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS (In Chinese), Vol.23, No.1, PP.46-53
29. Jing LI, Wencheng WANG, Optimizing Grid Construction in Linear Complexity (In Chinese), Journal of Software, Vol.22, No.10, PP.2488-2496
30. Yongguo Liu, Xindong Wu , Yidong Shen, Automatic clustering using genetic algorithms, Applied Mathematics and Computation , Vol.218, No.4, PP.1267-1279
31. Angsheng Li, Pan Peng, Community Structures in Classical Network Models, Internet Mathematics, Vol.7, No.2, PP.81-106
32. Yisong Wang, Jiahuai You, Lyan Yuan, Yidong Shen, Mingyi Zhang, The loop formula based semantics of description logic programs, Theoretical Computer Science, Vol.415, PP.60-85
33. Guofu XIE, Wencheng WANG, Single-Pass Data Access for Multi-Fragment Effects Rendering on GPUs (In Chinese), Chinese Journal of Computer, Vol.34, No.3, PP.473-481
34. Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous, QIP = PSPACE, Journal of ACM, Vol.58, No.6
35. Jianxin Chen, Xie Chen, Runyao Duan, Zhengfeng Ji, Bei Zeng, No-go theorem for one-way quantum computing on naturally occurring two-level systems, Phys.Rev.A, Vol.83
36. Zhengfeng Ji, Zhaohui Wei, Bei Zeng , Complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits, Phys.Rev.A, Vol.84
37. Markus Grassl, Zhengfeng Ji, Zhaohui Wei, Bei Zeng, Quantum-capacity-approaching codes for the detected-jump channel, Rev.A, Vol.82

1. Lin SHI, Hao ZHONG, Tao XIE, Mingshu LI, An Empirical Study on Evolution of API Documentation, FASE2011, 2011.3.26-4.3
2. Qiusong YANG, Bei ZHANG Jian ZHAI, Mingshu LI, Attacking Dimensionality Problem of Parameterized Systems via Bounded Reachability Graph, FSEN2011, 2011.4.20-4.22
3. JingZheng WU, Liping DING, Yongji WANG, Wei HAN, A Practical Covert Channel Identification Approach in Source Code based on Directed Information Flow Graph, SSIRI2011, 2011.6.27-6.29
4. JingZheng WU, Liping DING, Yongji WANG, Wei HAN, Identification and Evaluation of Sharing Memory Covert Timing Channel in Xen Virtual Machines, CLOUD 2011, 7.4-7.9
5. Xiaofeng Liao, Yongji Wang, Liping Ding, Secure Machine Learning, A Brief Overview, SSIRI2011, 6.27-6.29
6. Xiangzheng Sun, Yunquan Zhang, Ting Wang, Guoping Long, Xianyi Zhang, Yan Li, CRSD: Application Specific Auto-tuning of SpMV for Diagonal Sparse Matrices, Euro-Par 2011,
7. Xiangzheng Sun, Yunquan Zhang, Ting Wang, Xianyi Zhang, Liang Yuan, Li Rao, Optimizing SpMV for Diagonal Sparse Matrices on GPU, The International Conference on Parallel Processing (ICPP 2011),
8. Ling Zhao, Guocheng An, Fengjun Zhang, Hongan Wang, Guozhong Dai, Scale Adaptation of Mean Shift Based on Graph Cuts Theory., CAD/Graphics 2011,
9. Fei Lv , Feng Tian, Yingying Jiang, Xiang Cao, Wencan Luo, Guang Li, Guozhong Dai, Hongan Wang, ShadowStory: creative and collaborative digital storytelling inspired by cultural heritage. , CHI 2011,
10. Danli Wang, Cheng Zhang, Hongan WangT-Maze: a tangible programming tool for children., IDC 2011,
11. Kang Zhong, Feng Tian, Hongan Wang, Foot Menu: Using Heel Rotation Information for Menu Selection., ISWC 2011,
12. Cheng Zhang, Li Shen, Danli Wang, Feng Tian, Hongan Wang, CoolMag: a tangible interaction tool to customize instruments for children in music education. , Ubicomp 2011,
13. Yingying Jiang, Feng Tian, Xiaolong (Luke) Zhang, Guozhong Dai, Hongan Wang, Understanding, Manipulating and Searching Hand-Drawn Concept Maps., ACM TIST(2011),
14. Shi Jian, Qiao Ying, Wang Hongan, visualizing inference process of a rule engine, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
15. Zhong Kang, Kang Jinsheng, Qin Shengfeng, Wang Hongan, rapid 3d conceptual design based on hand gesture, 3rd IEEE International Conference on Advanced Computer Control, ICACC 2011,
16. Zhong Kang, Tian Feng, Wang Hongan, foot menu: using heel rotation information for menu selection, 15th Annual International Symposium on Wearable Computers, ISWC 2011,
17. Tian Feng, Cao Xiang, Lu Fei, Dai Guozhong, Zhang Xiaolong, Wang Hongan, empirical studies of pen tilting performance in pen-based user interfaces, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
18. Zhang Cheng, Shen Li, Wang Danli, Tian Feng, Wang Hongan, coolmag: a tangible interaction tool to customize instruments for children in music education, 13th International Conference on Ubiquitous Computing, UbiComp'11 and the Co-located Workshops
19. Zeng Zhirong, Wang Kun, Teng Dongxing, Wang Hongan, Dai Guozhong, a hyperbolic tree based interface for exploring massive files, 4th Visual Information Communication - International Symposium, VINCI 2011, 8.4
20. Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE, Haifa Verification Conference 2011,
21. Qin Shu, Zongyan Qiu, Shuling Wang, A Confinement Framework for OO Programs, International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2011), 7.25-7.25
22. Zhilin Wu, A Decidable Extension of Data Automata, International Symposium on Games, Automata, Logics and Formal Verification-GandALF 2011, 6.15-6.17
23. Saddek Bensalem, Lavindra De Silva, Andreas Griesmayer, Felix Ingrand, Axel Legay, Rongjie Yan, A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems, SC2011, 6.3-7.1
24. Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois knoll, Algorithms for Synthesizing Priorities in Component-based Systems, ATVA2011, 10.11-10.14
25. Yongjian Li, Jun Pang, An Inductive Approach to Provable Anonymity, Sixth International Conference on Availability, Reliability and Security, 8.22-8.26
26. Chengling Fang, Jiang Liu, Guohua Wu, Cupping and diamond embeddings: a unifying approach, the 7th conference on Models of computation in context: computability in Europe, 6.27-7.2
27. Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao, Detecting Strong Nontermination of Multi-Path Polynomial Programs, Computer Mathematics 2011, 11.25-11.28
28. Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Enhanced Symbolic Simulation of a Round-Robin Arbiter, 29th IEEE International Conference on Computer Design, 10.9-10.12
29. Yuanzhang Chang, Kai Bao, Jian Zhu, Enhua Wu, Granular Materials Animation Using Particle-Based Model, The 2011 Asian Conference on Design and Digital Engineering, 8.27-8.29
30. Zhenbo Xu, Jian Zhang, Zhongxing Xu, Memory Leak Detection Based on Memory StateTransition Graph, APSEC 2011, 12.5-12.8
31. Jianhua Gao , Ying Jiang , Model Checking: A Coalgebraic Approach, TASE, 8.29-8.31
32. Zhenyu Zhang, Bo Jiang, W. K. Chan, T. H. Tse, Precise Propagation of Fault-Failure Correlations in Program Flow Graphs, the 35th Annual IEEE International Computer Software and Applications Conference (COMPSAC 2011), 7.18-7.22
33. Xiaohui Bie, Haoda Huang, Wencheng Wang, Real time edit propagation by efficient sampling (见期刊论文23), The 19th Pacific Conference on Computer Graphics and Applications (Pacific Graphics'2011), 9.21-9.23
34. Giuseppe Castagna, Zhiwu Xu, Set-theoretic foundation of parametric polymorphism and subtyping, the 16th ACM SIGPLAN international conference on Functional programming (ICFP '11), 9.19-9.21
35. Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, A Dynamic Fault Localization Technique with Noise Reduction for Java Programs, the 11th International Conference on Quality Software (QSIC 2011), 7.13-7.14
36. H. Chen, P. Lu, Assisting the design of XML Schema: diagnosing nondeterministic content models, APWeb 2011, 4.18-4.20
37. Jiang Liu, Naijun Zhan, Hengjun Zhao, Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems, Fourth International Conference on Mathematical Aspects of Computer and Information Sciences, 10.19-10.22
38. Angsheng Li, Yicheng Pan, Characterizations of Locally Testable Linear- and Affine-Invariant Families, COCOON,
39. Jiang Liu, Naijun Zhan, Hengjun Zhao, Computing semi-algebraic invariants for polynomial dynamical systems, the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, 10.9-10.14
40. Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries over Unary Database Schemas, the 26th ACM Symposium on Appied Computing (SAC), 3.21-3.24
41. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan, D-Finder 2: Towards Efficient Correctness of Incremental Design, NFM2011, 4.18-4.2
42. Guangwei Wang, Guofu Xie, Wencheng Wang, Efficient search of lightcuts by spatial clustering, The 4th ACM SIGGRAPH Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia (ACM Siggraph Asia 2011), Sketch, 12.12-12.15
43. Yidong Shen, Kewen Wang, Extending Logic Programs with Description Logic Expressions for the Semantic Web, The 10th International Semantic Web Conference (ISWC-11), 10.23-10.27
44. Xuan Li, Liang Du, Yidong Shen, Graph-Based Marginal Ranking for Update Summarization, The 11th SIAM International Conference on Data Mining (SDM-11), 4.28-4.30
45. Yuanzhang Chang, Kai Bao, Jian Zhu, Enhua Wu, High Viscosity Fluid Simulation Using Particle-based Method, The 1st International Symposium on Virtual Reality innovations, 3.19-3.20
46. Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess, Model Construction and Priority Synthesis for Simple Interaction Systems, NFM2011, 4.18-4.2
47. Lei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin, PAFL: Fault Localization via Noise Reduction on Coverage Vector, the 23th International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), 7.7-7.9
48. Dongxu Wang, Wencheng Wang, Yuexiang Shi, Progressive exact distance transfer, Asian Conference on Design and Digital Engineering 2011, 8.27-8.29
49. Xiaoquan Wu, Zhongxing Xu, Jun Wei, Static Detection of Bugs Caused by Incorrect Exception Handling in Java, QSIC 2011, 7.13-7.14
50. Angsheng Li, Linqing Tang, The Complexity and Approximability of Minimum Contamination Problems, TAMC,
51. Jianfeng Du, Guilin Qi, Yidong Shen, Jeff Z. Pan, Towards Practical ABox Abduction in Large OWL DL Ontologies, The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 8.7-8.11
52. Liang Du, Xuan Li, Yidong Shen, User Graph Regularized Pairwise Matrix Factorization for Item Recommendation , The 7th International Conference on Advanced Data Mining and Applications (ADMA-11), 12.17-12.19
53. Yidong Shen, Well-Supported Semantics for Description Logic Programs, The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 7.16-7.22

1. ISCAS-SKLCS-11-01: Zhenyu Zhang, Non-Parametric Statistical Fault Localization
2. ISCAS-SKLCS-11-02: Zhenyu Zhang, Slope: Statistical Fault Localization via Failed Program Executions
3. ISCAS-SKLCS-11-03: Zhenyu Zhang, Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
4. ISCAS-SKLCS-11-04: Yuxin Deng, Yu Zhang, Program Equivalence in Linear Contexts
5. ISCAS-SKLCS-11-05: Jia Liu, A Proof of Coincidence of Labeled Bisimilarity and Observational Equivalence in Applied Pi Calculus
6. ISCAS-SKLCS-11-06: Dongxu Wang, Wencheng Wang, Progressive Exact Distance Transform
7. ISCAS-SKLCS-11-07: Jing LI, Wencheng WANG, Efficient Point-in-Polygon Testing Based on Grid Central Points (In Chinese)
8. ISCAS-SKLCS-11-08: Jing LI, Wencheng WANG, Optimizing Grid Construction in Linear Complexity (In Chinese)
9. ISCAS-SKLCS-11-09: Xiaoxiao Yang, ITL+: Simulation and Verication of Lock-Freedom
10. ISCAS-SKLCS-11-10: Jing Li, Wencheng Wang, Point-in-Polygon Tests by Determining Grid Center Points in Advance
11. ISCAS-SKLCS-11-11: Yi Lv, Bounded Verification of Memory Consistency for Chip Multi-Processor
12. ISCAS-SKLCS-11-12: Feifei Ma, Jun Yan, Jian Zhang, Solving Generalized Optimization Problems Subject to SMT Constraints
13. ISCAS-SKLCS-11-13: Zhenyu Zhang, A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
14. ISCAS-SKLCS-11-14: Zhenyu Zhang, Enhance Fault Localization using a 3D Surface Representation
15. ISCAS-SKLCS-11-15: Zhenyu Zhang, PAFL: Fault Localization via Noise Reduction on Coverage Vector
16. ISCAS-SKLCS-11-16: Wenhui Zhang, Complexity Issues of Ternary Boolean Diagrams
17. ISCAS-SKLCS-11-17: Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng, ITL+ : A Temporal Programming Model with Atomic Blocks (Extended Version)
18. ISCAS-SKLCS-11-18: Guangwei WANG, Guofu XIE, Wencheng WANG, Lighting Computing by Increasing Lightcuts Through Space Clustering Analysis (In Chinese)
19. ISCAS-SKLCS-11-19: GEORGE BARMPALIAS, ADAM R. DAY, ANDREW E.M. LEWIS, THE TYPICAL TURING DEGREE
20. ISCAS-SKLCS-11-20: GEORGE BARMPALIAS, UNIVERSAL COMPUTABLY ENUMERABLE SETS AND INITIAL SEGMENT PREFIX-FREE COMPLEXITY
21. ISCAS-SKLCS-11-21: GEORGE BARMPALIAS, DAVID L. DOWE, UNIVERSALITY PROBABILITY OF A PREFIX-FREE MACHINE
22. ISCAS-SKLCS-11-22: MARTIJN BAARTSE, GEORGE BARMPALIAS, ON THE GAP BETWEEN TRIVIAL AND NONTRIVIAL INITIAL SEGMENT PREFIX-FREE COMPLEXITY
23. ISCAS-SKLCS-11-23: Shuling Wang, Naijun Zhan, Chaochen Zhou, and Dimitar Guelev, An Assume/Guarantee Based Compositional Logic for Hybrid CSP
24. ISCAS-SKLCS-11-24: Ming Xu, Zhibin Li, Symbolic Termination Analysis of Solvable Loops
25. ISCAS-SKLCS-11-25: Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao, Detecting Strong Nontermination of Multi-Path Polynomial Programs
26. ISCAS-SKLCS-11-26: Xiaohui Bie, Haoda Huang, Wencheng Wang, Real Time Edit Propagation by Efficient Sampling
27. ISCAS-SKLCS-11-27: Xiaohui Bie, Haoda Huang, Wencheng Wang, Free Appearance-Editing with Improved Poisson Image Cloning
28. ISCAS-SKLCS-11-28: Zhenyu Zhang, On the Adoption of MC/DC and Control-Flow Adequacy for a Tight Integration of Program Testing and Statistical Fault Localization
29. ISCAS-SKLCS-11-29: Zhenyu Zhang, A general noise-reduction framework for fault localization of Java programs
30. ISCAS-SKLCS-11-30: Zhenyu Zhang, FLOP: A Fault Localization Open Platform
31. ISCAS-SKLCS-11-31: Zhenyu Zhang, Boost Prioritization by Depressing Safe Test Cases
32. ISCAS-SKLCS-11-32: Liang Du, Xuan Li, Yidong Shen, User Graph Regularized Pairwise Matrix Factorization for Item Recommendation
33. ISCAS-SKLCS-11-33: Yidong Shen, Kewen Wang, Extending Logic Programs with Description Logic Expressions for the Semantic Web
34. ISCAS-SKLCS-11-34: Liang Du, Xuan Li, Yidong Shen, Cluster Ensembles Via Weighted Graph Regularized Nonnegative Matrix Factorization
35. ISCAS-SKLCS-11-35: Yidong Shen, Well-Supported Semantics for Description Logic Programs
36. ISCAS-SKLCS-11-36: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Enhanced Symbolic Simulation of a Round-robin Arbiter
37. ISCAS-SKLCS-11-37: Yongjian Li, William N. N. Hung, Xiaoyu Song, Naiju Zeng, Exploring Structural Symmetry Automatically in Symbolic Trajectory Evaluation
38. ISCAS-SKLCS-11-38: Yongjian Li, Jun Pang, An Inductive Approach to Provable Anonymity
39. ISCAS-SKLCS-11-39: Yongjian Li, William N. N. Hung, Xiaoyu Song, A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
40. ISCAS-SKLCS-11-40: Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
41. ISCAS-SKLCS-11-41: Yongjian Li, Jun Pang, An Inductive Approach to Strand Spaces
42. ISCAS-SKLCS-11-42: Thomas Ehrhard, Ying Jiang, CCS for Trees
43. ISCAS-SKLCS-11-43: Jianhua Gao, Ying Jiang, Model Checking : A Coalgebraic Approach
44. ISCAS-SKLCS-11-44: Deepak Kapur, Naijun Zhan, Hengjun Zhao, Synthesizing Switching Controllers by Continuous Invariant Generation
45. ISCAS-SKLCS-11-45: Naijun Zhan, Hengjun Zhao, Optimal Switching Controller Synthesis for Safety and Robustness—A Case Study
46. ISCAS-SKLCS-11-46: Guofu XIE, Wencheng WANG, Single-Pass Data Access for Multi-Fragment Effects Rendering on GPUs (In Chinese)
47. ISCAS-SKLCS-11-47: Wencheng Wang, Miao Hua, Extracting Dominant Textures in Real Time with Multi-scale Color Histograms
48. ISCAS-SKLCS-11-48: Honglei HAN, Wencheng WANG, Linear Texture Coordinate Interpolation in Rasterization (In Chinese)
49. ISCAS-SKLCS-11-49: Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries Over Unary Database Schemas
50. ISCAS-SKLCS-11-50: Olivier Ly, Zhilin Wu, On Effective Construction of the Greatest Solution of Language Inequality XA ⊆ BX
51. ISCAS-SKLCS-11-51: Yunhe Wang, Li Jiao, Using Transition Set Sequences to Partition Behaviors of Petri Nets
52. ISCAS-SKLCS-11-52: Xueyang Zhu, Marc Geilen, Twan Basten, Sander Stuijk, Retiming Synchronous Dataflow Graphs through a State-Space Exploration
53. ISCAS-SKLCS-11-53: Xueyang Zhu, Twan Basten, Marc Geilen, Sander Stuijk, Efficient Retiming of Multi-rate DSP Algorithms
54. ISCAS-SKLCS-11-54: Xueyang Zhu, Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding
55. ISCAS-SKLCS-11-55: Haiming Chen, Ping Lu, Diagnosing Nondeterministic Content Models of DTD and XML Schema
56. ISCAS-SKLCS-11-56: Zhao Quan, Jidong Lv, Liang Zou, Shuling Wang, Naijun Zhan, Tao Tang, Modelling and Verication of CTCS-3
57. ISCAS-SKLCS-11-57: Xiaoquan Wu, Zhongxing Xu, Jun Wei, Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs
58. ISCAS-SKLCS-11-58: Naijun Zhan, Jiaqi Zhu, An Automata Model for Real-time Component Interfaces