Conference Paper

Conference,before 2008

    • 2007
    1. Yi Lv、Huimin Lin、Hong Pan:Computing Invariants for Parameter Abstraction,MEMOCODE2007,2007年5月
    2. Hao-da Huang、Yanyun Chen、Xing Tong、Wen-cheng Wang:Incremental Wavelet Importance Sampling for Direct IIIumination,VRST2007,2007年11月
    3. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan、Chaochen Zhou:Discovering Non-linear Ranking Function by Solving Semi-algebraic Systems(Invited Talk),Theoretical Aspects of Computing-ICTAC 2007,2007年9月
    4. Yinghua Chen、Bican Xia、Lu Yang、Naijun Zhan:Generating Polynomial Invariants with DISCOVERER and QEPCAD,Formal Methods and Hybrid Real-Time Systems,2007年7月
    5. Yi-Dong Shen、Jia-Huai You:A Generalized Gelfond-Lifschitz Transformation for Logic Programs with Abstract Constraints ,Twenty-Second AAAI Conference on Artificial Intelligence,2007年7月
    6. Jia-Huai You、Li Yan Yuan、Guohua Liu、Yi-Dong Shen:Logic Programs with Abstract Constraints: Representaton , Disjunction and Complexities,Logic Programming and Nonmonotonic Reasoning,2007年5月
    7. Jianfeng Du、Yi-Dong Shen:Partitioning Sboxes Based on Converting DL to Plain Datalog,2007 International Workshop on Description Logics,2007年6月
    8. Xin Chen、Jifeng He、Zhiming Liu、Naijun Zhan:A Model of Component-Based Programming,International Symposium on FSEN2007,2007年4月
    9. Jin Yi、Wenhui Zhang:Efficient State Space Reduction for Automata by Fair Simulation,International Symposium on FSEN2007,2007年4月
    10. Wenhui Zhang:Model Checking with SAT-Based Characterization of ACTL Formulas,9th International Conference on Formal Engineering Methods,ICFEM2007,2007年11月
    11. Jin Yi、Wenhui Zhang:Enhancing Simulation for Checking Language Containment,4th International Conference TAMC2007,2007年5月
    12. Fei Pu、Wenhui Zhang:Parition Reinaement in Abstract Model Cheing,Theoretical Aspects of Software Engineering,2007年6月
    13. Zhilin Wu:On the Expressive Power of QLTL,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
    14. Takashi Kitamura、Huimin Lin:Controlling Process Modularity in Mobile Computing,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
    15. Xinxin Liu、Haiyan Chen:Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau,Theoretical Aspects of Computing-ICTAC 2007,2007年9月
    16. Wenhui Zhang:SAT-Based Verification of LTL Formulas,Formal Methods : Applications and Technology,2007年8月
    17. Yanyan Xu、Wei Chen、Liang Xu、Wenhui Zhang:Evaluation of SAT-based Bounded Model Checking of ACTL Properties,TASE 2007,2007年6月
    18. Xiao Wei Huang、Li Jiao、Weiming Lu:A Semantic Preorder on Refinement and Fairness,TASE 2007,2007年6月
    19. Wenhui Zhang:Verification of ACTL Properties by Bounded Model Checking,Computer Aided Systems Theory-EUROCAST2007
    20. Xiaowei Huang、Li Jiao、Weiming Lu*:What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security,ICICS 2007,2007年12月
    21. Zhengfeng Ji、Jianxin Chen、Zhaohui Wei、Mingsheng Ying:The LU-LC Conjecture is False,The Eleventh Workshop on Quantum Information Processing,2007年12月
    22. Weiwei Lv、Xuehui Liu、Enhua Wu:EOF:Elliptical Occlusion Field for Real-time Soft Shadow Rendering in Animated Scenes,Symposium on Computer Animation2007
    23. Rongjie Yan、Guangyuan Li、Wenliang Zhang、Yunquan Peng:Improvements for the Symbolic Verification of Timed Automata,FORTE2007,2007年6月
    24. Xinxin Liu:Expansive-Bisimulation for Context-Free Processes,Formal Methods and Hybrid Real-Time Systems
    25. Sheng Liu、Jian Zhang、Binhai Zhu:Volume Computation Using a Direct Monte Carlo Method,COCOON2007,2007
    26. Matthew Flatt、Gang Yu、Robert Bruce Findler、Matthias Felleisen*:Adding Delimited and Composable Control to a Production Programming Environment,ICFP07,2007年1月
    27. Daguang Liu、Peng Wu、Huimin Lin:Symbolic Test Generation Using a Temporal Logic with Constrained Events,Formal Methods and Hybrid Real-Time Systems
    28. Yongjian Li、Jun Pang:Extending the Strand Space Method to Verify Kerberos V,Eighth International Conference on Parallel and Distributed Computing,Applications and Technologies,2007年12月
    29. Yongjian Li:Mechanized Proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized Verification of Cache Coherence Protocols,Applied Computing 2007,2007年3月
    30. Shixue Zhang、Enhua Wu:Deforming Surface Simplification Based on Feature Preservation,ICEC2007
    31. Bin Sheng、Enhua Wu:Topology-Consistent Design for 3D Freeform Meshes with Harmonic Interpolation,ICEC2007
    32. Bin Sheng、Enhua Wu:Image-Based Model Reconstruction Using Textured Planes,the Fourth International Conference on Image and Graphics,2007年8月
    33. Bin Sheng、Enhua Wu:Progressive Deformation Based Approximation on Deforming Meshes,the Fourth International Conference on Image and Graphics,2007年8月
    34. Jinzhong Wu、Xuehui Liu、Enhua Wu:Mesh Deormation under Skeleton-Based Detail-Preservation,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
    35. Yuanting Gu、Enhua Wu:Feature Analysis and Texture Synthesis,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
    36. Ying Liu、Xuehui Liu、Enhua Wu:Variable Code-Mode Based Connectivity Compression for Triangular Meshes,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
    37. Qinghua Wu、Enhua Wu:Image Segmentation and Reconstruction Using Graph Cuts and Texton Mask,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
    38. Yanci Zhang、Hanqiu Sun、Enhua Wu:B-Spline Surfaces of Clustered Point Sets with Normal Maps,10th IEEE International Conference Computer-Aided Design and Computer Graphics,2007年10月
    39. Hongbin Zhu、Kai Bao、Xuehui Liu、Enhua Wu:Miscible Liquid-Llquid Interactions Based-on a Stabilized Two-Fluid LBM,Symposium on Computer Animation2007
    40. Hongbin Zhu、Kai Bao Enhua Wu:Stable and Efficient Miscible Liquid-liquid Interactions,VRST 2007,2007年11月
    41. Bin Sheng、Enhua Wu:Walking into Images:Virtual Plane Mosaics for Plenoptic Modeling,IEEE Virtual Reality 2007,2007年3月
    • 2006
    1. Jing Li,Yu Gu,Wei Zhang,赵葆华:MIMO Techniques in Cluster-Based Wireless Sensor Networks,International Workshop on Sensor Networks(IWSN2006),2006年1月
    2. 詹乃军:Connecting Algebraic and Logical Descriptions of Concurrent Systems,IEEE-ISoLA 2006,2006年11月
    3. 蒲飞,张文辉,王绍春:An Improved Case-Based Approach to LTL Model Checking,RISE 2005,2006年
    4. Weiya Yue,徐艳艳,Kaile Su:BDDRPA: An Efficient BDD-Based Incremental Heuristic Search Algorithm for Replanning,AI 2006,2006年
    5. 张文辉:SAT-Based Verification of LTL Formulas,FMICS 2006,2006年8月
    6. 蒲飞,张文辉:LTL Model Checking via Search Space Partition,QSIC 2006,2006年
    7. 王一平,王文成,吴恩华:Optimizing the Parameters for Patch-based Texture Synthesis, VRCIA 2006,2006年6月
    8. 蔡康颖,刘迎,王文成:Progressive Out-of-Core Compression Based on Multi-Level Adaptive Octree,VRCIA 2006,2006年6月
    9. 黄沛杰,王文成,杨刚,吴恩华:Traversal Field for Ray Tracing Dynamic Scenes,VRST 2006,2006年11月
    10. 陈海明,Tseren-Onolt Ishdorj,Gheorghe Paun:Computing Along the Axon,BIC-TA 2006,2006年9月
    11. 陈海明,董韫美:Towards Practical Computable Functions on Context-Free Languages,TAMC 2006,2006年5月
    12. 陈海明,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年6月
    13. 杨刚,孙汉秋,王文成,吴恩华:Interactive Fur Modeling Based on Hierarchical Texture Layers,VRCIA 2006,2006年6月
    14. 林羚,卢江,赵瑞莲:基于UML状态图的MM路径形式化表示及生成,CTC2006,2006年8月
    15. 吴鹏,林惠民:Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints,WSPC,2006年6月
    16. 严俊,张健:Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing,COMPSAC06,
    17. 刘生,张健:Retrieving and Matching RDF Graphs by Solving the Satisfiability Problem,WI 06
    18. 许中兴,张健:A Test Data Generation Tool for Unit Testing of C Programs,QSIC 2006
    19. 严俊,Zhongjie Li,Yuan Yuan,Wei Sun,张健:BPEL4WS Unit Testing : Test Case Generation Using a Concurrent Path Analysis Approach,ISSRE06
    20. 贾祥雪,张健:A Powerful Technique to Eliminate Isomorphism in Finite Model Search,IJCAR 2006,2006年8月
    21. 刘生,张健:Using Hajos Construction to Generate Hard Graph 3-Colorability Instances,AISC2006,2006年9月
    22. 严俊,张健,许中兴:Finding Relations Among Linear Constraints,AISC2006,2006年9月
    23. 吴恩华,朱红斌,刘学慧,柳有权:simulation of Fluid Dynamics and Interactions,International Conference CYBERWORLDS 2006,2006年11月
    24. 李勇坚,Jun Pang:Generalized Unsolicited Tests for Authentication Protocol Analysis,Seventh International Conference on Parallel and Distributed Computing Applications and Technologies,2006年12月
    25. 刘保全,吴恩华,刘学慧:Interactive Rendering Dynamic Caustics on GPU,CGI2006,
    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年7月
    29. Feng Yuan, Mingshu Li, Zhigang Wan, “SPEM2XPDL-Towards SPEM Model Enactment”, SERP’06, Las vegas.Nevada, 2006年6月
    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年5月
    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年5月
    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年5月
    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年5月
    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年9月
    35. 宋刚,蒋孟奇,张云泉,李玉成,柳锴,陈靖:压缩算法的OpenMP并行化实现及并行解压缩初探, 2006全国高性能计算学术年会,2006年10月
    36. 陆涵隽,姚继锋,张云泉:循环语句存取复杂性模型及其应用, 2006全国高性能计算学术年会,2006年10月
    37. Yong Fu, 王宏安: Distributed Utilization Control for Real-Time Clusters with Load Balancing, Proc. RTSS, Rio, Brazil, 2006
    38. Weixin Wang, Hui Wang, 戴国忠,王宏安:Visualization of large hierarchical data by circle packing, ACM Conference on Human Factors in Computing Systems (CHI’06), Canada, 2006年4月
    39. Xiang Ao, Junfeng Li, Xugang Wang ,戴国忠: 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 ,戴国忠: 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, 王永吉, 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, 王永吉, 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, 王永吉, 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, 王永吉, 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, 王永吉, 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, 王永吉, 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.
    • 2005
    1. 吴鹏,Iterative Metamorphic Testing,COMPSAC 2005, 2005.7.26-28
    2. 李勇坚:The Inductive Approach to Strand Space theory,Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
    3. 吴鹏,张冬梅:Compositional Modelling and Verification of IPv6 Mobility,Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
    4. 詹乃军,Mila Majster-Cederbaum:Deriving Non-determinism from Conjunction and Disjunction,3 Formal Techniques for Networked and Distributed Systems-FORTE 2005,2005.1
    5. 詹乃军,Jinzhao Wu:Compositional of Fixpoint Logic with Chop,Theoretical Aspects of Computing2005,2005.10.17-21
    6. 晏荣杰,李广元,唐稚松:Symbolic Model Checking of Finite Precision Time Automata,Theoretical Aspects of Computing2005,2005.10.17-21
    7. 李石君,Weijie Ou,Junqing Yu:Ontology-Based HTML to XML Conversion,Advances in Web-Age Information Management,2005.10
    9. 王文成,吴艳,孙庆杰,吴恩华:Decomposing Polygons into Stripes for Fast Rendering,2005 The first Korea-China Joint Conference on Geometric and Visual Computing,2005.8.24-26
    10. 王文成,魏峰,吴恩华:An Improved Approach on View Dependent Rendering of Point Models,Pacific Graphics 2005,2005.10.12-14
    11. 焦莉:Decomposition of Nets and Veritication in terms of Decomposition,CIMCA2005,2005.11.28-30
    12. Yi Duan,马华东:Modeling Flexible Workflow Based on Temproal Logic,CSCWD2005
    13. 冀俊峰,吴恩华,李胜,刘学慧:Dynamic LOD on GPU,CGI2005,2005.6
    14. 冀俊峰,李胜,吴恩华,刘学慧:Interactive Transmission of Highly Detailed Surfaces,Computational Science and its Applications2005,2005.9
    15. 沈一栋,Qian Yang:Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops, 15th International Conference ,ILP2005,2005.8
    16. 吴永辉:Normalization Design of XML Database Schema for Eliminating Structural Redundancies, Intelligent Information Management Systems and Technologies2005,2005.9
    17. 浦飞,张文辉,王绍春:An Improved Case-Based Approach to LTL Model Checking,RISE2005,2005.9.8-9
    18. 张健:Computer Search for Counterexamples to Wikie’s Identity,20th International Conference on Automated Deduction,2005.7.22-27
    19. 贾祥雪,张健:Predicate-Oriented Isomorphism Elimination in Model Finding,Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05)
    20. 吴鹏,林惠民:Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints,QSIC 2005,2005.9.19-20
    21. 邓维佳,林惠民:Extended Symbolic Transition Graphs with Assignment,COMPSAC 2005,2005.7.26-28
    22. 晏荣杰,李广元,唐稚松:Symobolic Model Checking of Finite Precision Timed Automata,The Second Iternational Colloquium on Theoretical Aspects of Computing,2005.10.17-21
    23. 黄浩达,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. 詹乃军,Mila Majster-Cederbaum,周巢尘:Program Verification by Using DISCOVERER,FORTE05,2005.10.2-5
    25. Yu Gu,Wei Zhang,Hengchang Liu,赵保华,Yugui Qu:Energy-Efficient Target Localization Based on a Prediction Model,EUC workshops 2005
    26. Zhao Li,Wei Zhang,Hengchang Liu,赵保华,Yugui Qu:Multicast Routing With Minimum Energy Cost and Minimum Delay in Wireless Sensor Networks,EUC workshops 2005
    27. xiang chen,胡山立: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,胡山立:Modeling Agents Combined with Environment,Mental states and Utility,JICC 2005
    29. 吴海燕,胡山立:基于决策效用和学习的多问题协商,中国人工智能学会第11届全国学术年会
    30. zheng yj,zhu yl,薛锦云:Partially introducing formal methods in software evolution :A quality metrics driven approach,JICC 2005,2005.11.10-12
    31. zheng yj,wang jq,薛锦云:Implementing templated design patterns: a category theoretic approach,JICC 2005,2005.11.10-12
    32. zheng yujun,薛锦云:A Maintenance Process Framework for Formally Derived Software,Software Process Workshop 2005,2005.5.25-27
    33. Yujun zheng,薛锦云: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,薛锦云:Toward a Unified Implementation for Dynamic Programming,8th International Conference for Young Computer Scientists,2005.9.20-22
    35. 金宏,王宏安,王晖:Scheduling design of controllers with fuzzy deadline,2005年模糊系统和知识挖掘国际会议,2005
    36. 金宏,王宏安,王晖:Scheduling fuzzy-deadline control tasks with preemption threshold,国际智能计算大会,2005
    37. 王青,李明树:Measuring and Improving Software Process in China,软件工程国际研讨会,2005.11.17-18
    38. 武占春,李明树:A Survey of CMM/CMMI Implementation in China,软件工程国际研讨会,2005
    39. 周辉,王永吉,王青:Measuring Internet Bottlenecks:Location,Capacity,and Available bandwidth,International Conference on Computer Networks and Mobile Computing,2005
    40. 张云泉: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. 张云泉,袁伟:Performance Evaluation of Allgather Algorithms On Terascale Linux Cluster with Fast Ethernet,proceedings of HPC Asia 2005,2005
    42. 张云泉: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, 戴国忠, 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, 王永吉: 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, 王永吉, 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