Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Hongli
    Last name: Yang
    DBLP: 92/6174
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 36  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang.
    (2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method.
    Computers Mathematics with Applications 2017, Volume 73 (0) 2017
    Conference paper
    Xianyang Zeng, Hongli Yang, Xinyuan Wu.
    An improved tri-coloured rooted-tree theory and order conditions for ERKN methods for general multi-frequency oscillatory systems.
    Numerical Algorithms 2017, Volume 75 (0) 2017
    Conference paper
    Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan.
    Detecting Energy Bugs in Android Apps Using Static Analysis.
    Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Hongli Yang, Xianyang Zeng.
    A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation.
    Numerical Algorithms 2017, Volume 76 (0) 2017
    Conference paper
    Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu.
    Identifying XML Schema Constraints Using Temporal Logic.
    Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 2016 (0) 2016
    Journal article
    Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang.
    Automatically refining partial specifications for heap-manipulating programs.
    Sci. Comput. Program. 2014, Volume 82 (0) 2014
    Conference paper
    Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu.
    Order conditions for RKN methods solving general second-order oscillatory systems.
    Numerical Algorithms 2014, Volume 66 (0) 2014
    Conference paper
    Tiziana Margaria, Zongyan Qiu, Hongli Yang.
    Program verification and testing technologies.
    STTT 2014, Volume 16 (0) 2014
    Conference paper
    Hongli Yang, Xianyang Zeng, Xinyuan Wu, Zhengliang Ru.
    A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems.
    Computer Physics Communications 2014, Volume 185 (0) 2014
    Conference paper
    Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin.
    Choreography Scenario-Based Test Data Generation.
    2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 2014 (0) 2014
    Show item 1 to 10 of 36  

    Your query returned 36 matches in the database.