Journal Paper

Journal 2014

    1. Yan Cai,Changjiang Jia,Shangru Wu,Ke Zhai,W.K. Chan,ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs,IEEE Transactions on Parallel and Distributed Systems
    2. Angsheng Li,Xi Yong,Entanglement guarantees emergence of cooperation in quantum prisoner’s dilemma games on networks,Nature Scientifc Reports
    3. Angsheng Li,Xiaohui Zhang,Yicheng Pan, Pan Peng,Equilibrium game in networks,Physica A
    4. Angsheng Li ,Xuechen Li,Yicheng Pan,Wei Zhang,Strategies for network security,Science in China
    5. Peter Bulychev,Alexandre David,Kim G. Larsen,Guangyuan Li,Efficient controller synthesis for a fragment of MTL0,∞,Acta Informatica,Vol. 51, Issue 3, pp.165-192
    6. Zhenbo Xu,Jian Zhang,Zhongxing Xu,Melton: A practical and precise memory leak detection tool for C programs,Front.Comput.Sci.
    7. Yi-Dong Shen,Kewen Wang,Thomas Eiter,FLP Answer Set Semantics without Circular Justifications for General Logic Programs,Artificial Intelligence, 213\1-41
    8. George Barmpalias,Rod Downey,Exact pairs for the ideal of the K-trivial sequences in the Turing degrees,Journal of Symbolic Logic,Volume 79, Issue 03, September 2014, pp 676 – 692
    9. George Barmpalias,R.Elwes ,Andy Lewis-Pye,Tipping points in Schelling segregation,Journal of Statistical Physics
    10. George Barmpalias,A. R. Day,Andy Lewis-Pye,The typical Turing degree,Proc. Lond. Math. Soc.
    11. 李会元,Hexagonal Fourier-Galerkin Methods for the Two-Dimensional Homogeneous Isotropic Decaying Turbulence ,J. Math. Study,Vol. 47, No. 1, pp. 21-46
    12. 李会元,Yuan Xu,Spectral approximation on the unit ball ,SIAM J. Numer. Anal,已录用
    13. yongjin liu,cuixia ma,qiufang fu,xiaolan fu,shengfeng qin,lexing xie,A Sketch-Based Approach for Interactive Organization of Video Clips,ACM Transactions on Multimedia Computing, Communications and Application
    14. Tao Zhang,Qi Liao,Lei Shi,Weishan Dong,Analyze Spatiotemporal Anomalies through Interactive Visualization,Informatics, special issue on Interactive Visualizations: Design, Technologies, and Applications
    15. Chang Leng,Ying Qiao,Sharon X. Hu,HongAn Wang,Utilization-Based Admission Control for Aperiodic Tasks under EDF scheduling,Real-time Systems:International Journal of time-critical computing systems
    16. 白明,杨星科,李静,王文成,几何形态学:关于形态定量比较的科学计算工具,科学通报,59\10\887-894
    17. Minying Zhang,Wencheng Wang,Hanqiu Sun,Honglei Han,Perception-based model simplification for motion blur rendering,Graphical Models,76\3\116-127
    18. 韩红雷,李静,费广正,结合视觉感知与信息量的视点评分方法,计算机辅助设计与图形学学报,26\6\939-947
    19. Bei Guan,Jingzheng Wu,Yongji Wang,Samee U. Khan,CIVSched: A Communication-aware Inter-VM Scheduling Technique for Decreased Network Latency between Co-located VMs.,IEEE Transactions on Cloud Computing,13 June 2014. (Accepted, Published Online, SCI, Ei)
    20. Jingzheng Wu,Liping Ding,Yanjun Wu,Nasro Min-Allah,Samee U. Khan,Yongji Wang,C2Detector: A Covert Channel Detection Framework in Cloud Computing,Security and Communication Networks,7\3\544-557
    21. Saddek Bensalem,Marius Bozga,Axel Legay,Thanh-Hung Nguyen,Joseph Sifakis,Rongjie Yan,Component-based verification using incremental design and invariants,Software and Systems Modeling
    22. Kai Huang,Min Yu,Rongjie Yan,Xiaomeng Zhang,Xiaolang Yan,Lisane Brisolara,Communication Optimization for Multithreaded Code Generation from Simulink Models,ACM Transactions on Embedded Compting Systems
    23. Rongjie Yan,Min Yu,Kai Huang,Xiaomeng Zhang,Communication-oriented performance optimisation during code generation from Simulink models,International Journal of Embedded Systems
    25. Li Gan,Haohuan Fu,Wayne Luk,Chao Yang,Wei Xue,Xiaomeng Huang,Solving the Global Atmospheric Equations through Heterogeneous Reconfigurable Platforms,ACM Transactions on Reconfigurable Technology and System
    26. Haijian Yang,Chao Yang,Xiao-Chuan Cai,Mixed order discretization based two-level Schwarz precondtioners for a tracer transport problem on the cubed-sphere,Computers and Fluids
    27. Haijian Yang,Chao Yang,Xiao-Chuan Cai,Parallel Domain Decomposition Methods with Mixed Order Discretization for Fully Implicit Solution of Tracer Transport Problems on the Cubed-Sphere,Journal of Scientific Computing
    28. 刘芳芳,杨超,一种提高SpMV向量化性能的新型稀疏矩阵存储格式,数值计算与计算机应用
    29. 崔建苓,杨达,李娟,一种基于评论挖掘的需求获取方法,计算机应用与软件
    30. 梁然,杨达,跨组织数据的软件成本估算方法的研究,计算机系统应用
    31. 李姣阳,李娟,杨达,基于开发者协作关系和信息检索的需求跟踪方法,计算机系统应用
    32. 韩旭,李娟,王永吉,杨达,基于协同相关性模型的特征需求自动标注系统,计算机应用与软件
    33. 谢淼,杨秋松,翟健,王青,A vertex centric parallel algorithm for linear temporal logic model checking in Pregel ,Journal of Parallel Disributed Computing
    34. P.S. Thiagarajan,ShaofaYang,Rabin’s Theorem in the Concurrency Setting: A Conjecture,Theoretical Computer Science,546:225-236
    35. Xi Liu,Shaofa Yang,J.W.Sanders,Compensation by Design,Formal Aspects of Computing,26(4):623-676
    36. David Nowak,Yu Zhang,Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work,Information and Computation
    37. Yuxin Deng,Yu Zhang,Program Equivalence in Linear Contexts,Theoretical Computer Science
    38. Xiaoxiao Yang,Yu Zhang,Ming Fu,Xinyu Feng,A Temporal Programming Model with Atomic Blocks based on Projection Temporal Logic,Frontiers of Computer Science
    39. J.Zhang,Z.Zhang,Y. Chen,PRE_Stronger security notions and efficient construction with non-interactive opening,Theoretical Copmuter Science,542(2014):1-16
    40. Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan,Zhenyu Zhang,T.H. Tse,A Subsumption Hierarchy of Test Case Prioritization for Composite Services,Transactions on Services Computing(TSC),7\2\265-278
    41. Wenbo Zhang,Xiaowei Zhou,Jianhua Zhang,Zhenyu Zhang,Hua Zhong,A Class Loading Sensitive Approach to Detection of Runtime Type Errors in Component-based Java Programs,Information and Software Technology(IST),56\9\1076-1085
    42. 郭丹青,吕继东,王淑灵,唐涛,詹乃军,周达天,邹亮,中国高速铁路列控系统形式化分析与验证,中国科学 信息科学 F辑,已经录用
    43. 刘江,徐明,詹乃军,赵恒军,Discovering non-terminating inputs for polynomial programs,Journal of System Science and Complexity,录用并网上发表
    44. Lei Song,Lijun Zhang,Holger Hermanns,Jens Chr. Godskesen,Incremental Bisimulation Abstraction Refinement,ACM Transactions on Embedded Computing Systems,13\4\142:1-142:23
    45. Ernst Moritz Hahn,Holger Hermanns,Ralf Wimmer,Bernd Becker,Transient Reward Approximation for Continuous-Time Markov Chains,IEEE TRANSACTIONS ON RELIABILITY
    46. Chuan Luo,Shaowei Cai,Wei Wu,Zhong Jie,Kaile Su,CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability,IEEE TRANSACTIONS ON COMPUTERS
    47. Chuan Luo,Shaowei Cai,Wei Wu,Kaile Su,Clause States Based Configuration Checking in Local Search for Satisfiability,IEEE TRANSACTIONS ON CYBERNETICS
    48. Lijun Wu,Huijia Huang,Kaile Su,Shaowei Cai,Xiaosong Zhang,An I/O Efficient Model Checking Algorithm for Large-Scale Systems,IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    49. Chuan Luo,Kaile Su,Shaowei Cai,More efficient two-mode stochastic local search for random 3-satisfiability,Applied Intelligence
    50. Olivier Ly,Zhilin Wu,On effective construction of the greatest solution of language inequality $XA \subseteq BX$,Theoretical Computer Science,528: 12-31
    51. Yongjian Li,Naiju Zeng,William N. N. Hung,Xiaoyu Song,Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation,Comput. J.,57(1): 115-128 (2014)
    52. Yongjian Li,Jun Pang,Formalizing Provable Anonymity in Isabelle/HOL,Formal aspects of computing
    53. He, Xiaowei,Wang, Huamin,Zhang, Fengjun,Wang, Hongan,Wang, Guoping,Zhou, KunPreserving Thin Features in SPH-Based Single-Phase Flows,ACM Transactions on Graphics
    54. Xiaosheng LiLe Liu, Wen Wu, Xuehui Liu, Enhua Wu,Dynamic BFECC Characteristic Mapping method for fluid simulations,The Visual Computer,30(6-8):787-796
    55. Dengguo Feng,Yu Qin,Wei Feng,Jianxiong Shao,The theory and practice in the evolution of trusted computing,Computer Science and Technology
    56. Guofu Xie,Xin Sun,Xin Tong,Derek Nowrouzezahrai,Hierarchical Diffusion Curves for Accurate Automatic Image Vectorization,ACM Transactions on Graphic,已经录用