Hongli Yang - RankMe

63 papers A* 1A 4B 1C 7Misc 8Journal 31Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Data-Driven Safe Controller Design for LPV Systems with Constant Input Matrix Under Polyhedral and Ellipsoidal Constraints. Axioms Hongli Yang, Qian Du, Ivan Ganchev Ivanov
2026	J	`jnl`	S-ERKN methods solving Maxwell's equations in source field under wide range of boundary conditions. Math. Comput. Simul. Hongli Yang, Xianyang Zeng, Hao Yu
2025	A	`conf`	Adapting Whisper for Parameter-efficient Code-Switching Speech Recognition via Soft Prompt Tuning. INTERSPEECH Hongli Yang, Yizhou Peng, Hao Huang, Sheng Li
2025	J	`jnl`	Adapting Whisper for Parameter-efficient Code-Switching Speech Recognition via Soft Prompt Tuning. CoRR Hongli Yang, Yizhou Peng, Hao Huang, Sheng Li
2025	J	`jnl`	Approximation of RCI set contained within a 2-norm ball or an ellipsoid. J. Frankl. Inst. Longfei Yang, Hongli Yang
2025	J	`jnl`	Exploring cross-variety fruit spoilage monitoring methods based on electronic nose: taking grapes as examples. CCF Trans. Pervasive Comput. Interact. Hongli Yang, Haochen Huang, Yuchi Sun, Gang Yu, Qi Lu, Jiawei Yang, Yingqing Xu
2025	A	`conf`	Language-Aware Prompt Tuning for Parameter-Efficient Seamless Language Expansion in Multilingual ASR. INTERSPEECH Hongli Yang, Sheng Li, Hao Huang, Ayiduosi Tuohan, Yizhou Peng
2025	J	`jnl`	Language-Aware Prompt Tuning for Parameter-Efficient Seamless Language Expansion in Multilingual ASR. CoRR Hongli Yang, Sheng Li, Hao Huang, Ayiduosi Tuohan, Yizhou Peng
2025	J	`jnl`	Robust Positively Invariant Conditions for Perturbed Linear Discrete-Time Systems Using Dual Optimization. Axioms Hongli Yang, Yuyao Lei, Ivan Ganchev Ivanov
2025	Misc	`conf`	Robust and Efficient Text-based Speech Editing using Noise Conditioning and Rectified Flow. ICASSP Haowen Yin, Kai Wang, Hongli Yang, Hao Huang, Wushour Silamu
2024	J	`jnl`	Estimation of the Attraction Domain for the Quantum Systems Based on the Schrödinger Equation. Axioms Hongli Yang, Guohui Yu, Ivan Ganchev Ivanov
2024	J	`jnl`	GPS/BDS Dual-Antenna Attitude Determination With Baseline-Length Constrained Ambiguity Resolution: Method and Performance Evaluation. IEEE Trans. Instrum. Meas. Hongli Yang, Yuanming Shu, Rongxin Fang, Lulu Qiao, Dong Ding, Guangxue Li
2024	—	`conf`	Listen to the Speaker in Your Gaze. CIS-RAM Hongli Yang, Xinyi Chen, Junjie Li, Hao Huang, Siqi Cai, Haizhou Li
2024	J	`jnl`	Quantum Control Design by Lyapunov Trajectory Tracking and Optimal Control. Entropy Hongli Yang, Guohui Yu, Ivan Ganchev Ivanov
2023	—	`conf`	Combining Speech and Drawing Data for Alzheimer's Disease Detecting. ICCIP Jingyu Yang, Nuo Lei, Haitong Wang, Hongli Yang, Mingying Lan, Li Gao
2023	J	`jnl`	The tri-coloured free-tree theory for symplectic multi-frequency ERKN methods. J. Comput. Appl. Math. Hongli Yang, Xianyang Zeng
2022	J	`jnl`	A Class of Explicit Divergence-Free Methods for Maxwell's Equations With Dirichlet Boundary Conditions. IEEE Access Xianyang Zeng, Hongli Yang
2022	J	`jnl`	Assessment of the Effectiveness of Sand-Control and Desertification in the Mu Us Desert, China. Remote. Sens. 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
2021	J	`jnl`	A novel class of explicit divergence-free time-domain methods for efficiently solving Maxwell's equations. Comput. Phys. Commun. Hongli Yang, Xianyang Zeng, Xinyuan Wu
2021	J	`jnl`	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. Xindong Si, Hongli Yang, Ivan Ganchev Ivanov
2020	C	`conf`	High School Students' Online Engagement During the Covid-19 Pandemic in China. ICCE Hongli Yang, Hanyong Liu, Chunping Zheng
2019	J	`jnl`	Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology. Sci. China Inf. Sci. Guoxing Wen, C. L. Philip Chen, Hui Dou, Hongli Yang, Chunfang Liu
2019	J	`jnl`	Nonlinear Schrödinger equation for envelope Rossby waves with complete Coriolis force and its solution. Comput. Appl. Math. Xiaojun Yin, Liangui Yang, Hongli Yang, Ruigang Zhang, Jinmei Su
2019	J	`jnl`	Optimized Adaptive Nonlinear Tracking Control Using Actor-Critic Reinforcement Learning Strategy. IEEE Trans. Ind. Informatics Guoxing Wen, C. L. Philip Chen, Shuzhi Sam Ge, Hongli Yang, Xiaoguang Liu
2017	J	`jnl`	(2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method. Comput. Math. Appl. Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang
2017	J	`jnl`	A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation. Numer. Algorithms Hongli Yang, Xianyang Zeng
2017	J	`jnl`	An improved tri-coloured rooted-tree theory and order conditions for ERKN methods for general multi-frequency oscillatory systems. Numer. Algorithms Xianyang Zeng, Hongli Yang, Xinyuan Wu
2017	C	`conf`	Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
2016	Misc	`conf`	Identifying XML Schema Constraints Using Temporal Logic. SETTA Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
2016	J	`jnl`	基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin
2015	J	`jnl`	XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin
2014	J	`jnl`	A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems. Comput. Phys. Commun. Hongli Yang, Xianyang Zeng, Xinyuan Wu, Zhengliang Ru
2014	J	`jnl`	Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
2014	Misc	`conf`	Choreography Scenario-Based Test Data Generation. TASE Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
2014	J	`jnl`	Order conditions for RKN methods solving general second-order oscillatory systems. Numer. Algorithms Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu
2014	J	`jnl`	Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. Tiziana Margaria, Zongyan Qiu, Hongli Yang
2013	J	`jnl`	Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
2013	—	`conf`	Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
2013	J	`jnl`	Study on Stochastic Linear Quadratic Optimal Control with Quadratic and Mixed Terminal State Constraints. J. Appl. Math. Hongli Yang
2013	Misc	`conf`	Towards Conformance Testing of Choreography Based on Scenario. TASE Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang
2012	B	`conf`	Performance Analysis of Data Gathering Protocol Using PRISM. ICECCS Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu
2012	Misc	`ed.`	Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China TASE Tiziana Margaria, Zongyan Qiu, Hongli Yang
2011	—	`conf`	A distributed-based hospital information system model. BMEI Jian Zhang, Hongli Yang
2011	Misc	`conf`	Analysis of WS-BPEL Processes in PRISM. TASE Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu
2011	C	`conf`	Generating Scenarios from Web Service Choreography. APSCC Ke Zhang Ke, Zongyan Qiu, Hongli Yang
2010	—	`conf`	A Framework for Integrating Human Processes with Business Artifacts. SOSE Zongyan Qiu, Liyang Peng, Hongli Yang
2010	—	`conf`	A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu
2009	—	`conf`	An Implementation Approach for XQuery Based on Lazy Evaluation. DBTA Peng Li, Husheng Liao, Hongli Yang
2009	Misc	`conf`	Enforcing Constraints on Life Cycles of Business Artifacts. TASE Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
2009	J	`jnl`	Extended RKN-type methods for numerical integration of perturbed oscillators. Comput. Phys. Commun. Hongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang
2009	J	`jnl`	Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2008	—	`conf`	A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
2008	A	`conf`	A Formal Model of Human Workflow. ICWS Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
2008	C	`conf`	Correct Channel Passing by Construction. ICFEM Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
2008	—	`conf`	Model-Checking of Web Services Choreography. SOSE Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2008	Misc	`conf`	Reasoning about Channel Passing in Choreography. TASE Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
2007	—	`conf`	A QoS View ofWeb Service Choreography. ICEBE Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
2007	C	`conf`	Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
2007	A*	`conf`	Towards the theoretical foundation of choreography. WWW Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
2006	A	`conf`	A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
2006	C	`conf`	Patterns with Algebraic Properties in BPEL0. ISoLA Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
2006	—	`conf`	Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
2006	C	`conf`	Type Checking Choreography Description Language. ICFEM Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu