default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHongli Yang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j23]Hongli Yang
, Guohui Yu, Ivan Ganchev Ivanov:
Estimation of the Attraction Domain for the Quantum Systems Based on the Schrödinger Equation. Axioms 13(8): 542 (2024)- [j22]Hongli Yang, Yuanming Shu, Rongxin Fang, Lulu Qiao, Dong Ding, Guangxue Li:
GPS/BDS Dual-Antenna Attitude Determination With Baseline-Length Constrained Ambiguity Resolution: Method and Performance Evaluation. IEEE Trans. Instrum. Meas. 73: 1-14 (2024) - 2023
- [j21]Hongli Yang, Xianyang Zeng:
The tri-coloured free-tree theory for symplectic multi-frequency ERKN methods. J. Comput. Appl. Math. 423: 114964 (2023) - [c26]Jingyu Yang, Nuo Lei, Haitong Wang, Hongli Yang, Mingying Lan, Li Gao:
Combining Speech and Drawing Data for Alzheimer's Disease Detecting. ICCIP 2023: 51-60 - 2022
- [j20]Xianyang Zeng, Hongli Yang:
A Class of Explicit Divergence-Free Methods for Maxwell's Equations With Dirichlet Boundary Conditions. IEEE Access 10: 126188-126198 (2022) - [j19]Jie Li, Weicheng Wu, Xiao Fu, Jingheng Jiang, Yixuan Liu, Ming Zhang, Xiaoting Zhou, Xinxin Ke, Yecheng He, Wenjing Li, Cuimin Zhou, Yuan Li, Yifei Song, Hongli Yang, Qihong Tu:
Assessment of the Effectiveness of Sand-Control and Desertification in the Mu Us Desert, China. Remote. Sens. 14(4): 837 (2022) - 2021
- [j18]Xindong Si, Hongli Yang, Ivan Ganchev Ivanov:
Conditions and a computation method of the constrained regulation problem for a class of fractional-order nonlinear continuous-time systems. Int. J. Appl. Math. Comput. Sci. 31(1): 17-28 (2021) - [j17]Hongli Yang, Xianyang Zeng, Xinyuan Wu:
A novel class of explicit divergence-free time-domain methods for efficiently solving Maxwell's equations. Comput. Phys. Commun. 268: 108101 (2021)
2010 – 2019
- 2019
- [j16]Xiaojun Yin, Liangui Yang, Hongli Yang, Ruigang Zhang, Jinmei Su:
Nonlinear Schrödinger equation for envelope Rossby waves with complete Coriolis force and its solution. Comput. Appl. Math. 38(2) (2019) - [j15]Guoxing Wen, C. L. Philip Chen, Hui Dou, Hongli Yang, Chunfang Liu:
Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology. Sci. China Inf. Sci. 62(9): 192205:1-192205:14 (2019) - [j14]Guoxing Wen, C. L. Philip Chen, Shuzhi Sam Ge, Hongli Yang, Xiaoguang Liu:
Optimized Adaptive Nonlinear Tracking Control Using Actor-Critic Reinforcement Learning Strategy. IEEE Trans. Ind. Informatics 15(9): 4969-4977 (2019) - 2017
- [j13]Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang:
(2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method. Comput. Math. Appl. 73(9): 1996-2003 (2017) - [j12]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. Numer. Algorithms 75(4): 909-935 (2017) - [j11]Hongli Yang, Xianyang Zeng:
A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation. Numer. Algorithms 76(3): 761-782 (2017) - [c25]Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan:
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208 - 2016
- [j10]Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin:
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 43(9): 124-130 (2016) - [c24]Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu:
Identifying XML Schema Constraints Using Temporal Logic. SETTA 2016: 136-146 - 2015
- [j9]Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin:
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 42(Z11): 438-443 (2015) - 2014
- [j8]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. Comput. Phys. Commun. 185(11): 2841-2850 (2014) - [j7]Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu:
Order conditions for RKN methods solving general second-order oscillatory systems. Numer. Algorithms 66(1): 147-176 (2014) - [j6]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014) - [j5]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16(4): 335-337 (2014) - [c23]Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin:
Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73 - 2013
- [j4]Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin:
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7(5): 710-728 (2013) - [j3]Hongli Yang:
Study on Stochastic Linear Quadratic Optimal Control with Quadratic and Mixed Terminal State Constraints. J. Appl. Math. 2013: 674327:1-674327:8 (2013) - [c22]Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang:
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods 2013: 304-325 - [c21]Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang:
Towards Conformance Testing of Choreography Based on Scenario. TASE 2013: 59-62 - 2012
- [c20]Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu:
Performance Analysis of Data Gathering Protocol Using PRISM. ICECCS 2012: 96-105 - [e1]Tiziana Margaria, Zongyan Qiu, Hongli Yang:
Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE Computer Society 2012, ISBN 978-0-7695-4751-0 [contents] - 2011
- [c19]Ke Zhang Ke, Zongyan Qiu, Hongli Yang:
Generating Scenarios from Web Service Choreography. APSCC 2011: 290-297 - [c18]Jian Zhang, Hongli Yang:
A distributed-based hospital information system model. BMEI 2011: 2087-2090 - [c17]Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu:
Analysis of WS-BPEL Processes in PRISM. TASE 2011: 199-202 - 2010
- [c16]Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu:
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC 2010: 441-448 - [c15]Zongyan Qiu, Liyang Peng, Hongli Yang:
A Framework for Integrating Human Processes with Business Artifacts. SOSE 2010: 252-259
2000 – 2009
- 2009
- [j2]Hongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang:
Extended RKN-type methods for numerical integration of perturbed oscillators. Comput. Phys. Commun. 180(10): 1777-1794 (2009) - [j1]Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24(2): 238-249 (2009) - [c14]Peng Li, Husheng Liao, Hongli Yang:
An Implementation Approach for XQuery Based on Lazy Evaluation. DBTA 2009: 463-467 - [c13]Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu:
Enforcing Constraints on Life Cycles of Business Artifacts. TASE 2009: 111-118 - 2008
- [c12]Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu:
A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) 2008: 495-496 - [c11]Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang:
Correct Channel Passing by Construction. ICFEM 2008: 338-354 - [c10]Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang:
A Formal Model of Human Workflow. ICWS 2008: 195-202 - [c9]Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu:
Model-Checking of Web Services Choreography. SOSE 2008: 79-84 - [c8]Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu:
Reasoning about Channel Passing in Choreography. TASE 2008: 135-142 - 2007
- [c7]Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu:
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE 2007: 81-96 - [c6]Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu:
A QoS View ofWeb Service Choreography. ICEBE 2007: 607-611 - [c5]Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang:
Towards the theoretical foundation of choreography. WWW 2007: 973-982 - 2006
- [c4]Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu:
Type Checking Choreography Description Language. ICFEM 2006: 264-283 - [c3]Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang:
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS 2006: 893-894 - [c2]Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao:
Patterns with Algebraic Properties in BPEL0. ISoLA 2006: 363-370 - [c1]Xiangpeng Zhao, Hongli Yang, Zongyan Qiu:
Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM 2006: 273-287
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
