Liya Liu

According to our database, Liya Liu authored at least 20 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Strong convergence of Bregman projection algorithms for solving split feasibility problems.

Liya Liu, Songxiao Li, Bing Tan

Commun. Nonlinear Sci. Numer. Simul., 2025

2024

AthRiboNC: an Arabidopsis database for ncRNAs with coding potential revealed from ribosome profiling.

Yi Shen, Liya Liu, Enyan Liu, Sida Li, Yuriy Orlov, Vladimir Ivanisenko, Ming Chen

Database J. Biol. Databases Curation, January, 2024

Application of Multi-objective Evolutionary Algorithms for Multidimensional Sensory Data Prediction and Resource Scheduling in Smart City Design.

Liya Liu

Scalable Comput. Pract. Exp., 2024

An integrated waveform design method for underwater acoustic detection and communication.

Xuerong Cui, Yue Cai, Juan Li, Lei Li, Bin Jiang, Liya Liu

Internet Technol. Lett., 2024

An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities.

Liya Liu, Xiaolong Qin

Comput. Math. Appl., 2024

Low Frequency Oscillation Suppression of Three-Phase Four-Wire Inverter Based on CFM-OSG Phase-Locked Loop.

Guoxuan Cui, Yanwen Wang, Liya Liu

IEEE Access, 2024

2023

Thin-Film-Shaped Flexible Actuators.

Wenbo Pang, Shiwei Xu, Liya Liu, Renheng Bo, Yihui Zhang

Adv. Intell. Syst., August, 2023

An inertial self-adaptive iterative algorithm for finding the common solutions to split feasibility and fixed point problems in specific Banach spaces.

Shaotao Hu, Yuanheng Wang, Liya Liu, Qiao-Li Dong

J. Comput. Appl. Math., May, 2023

Research on Strategy of Large-scale Electric Vehicle Charging Scheduling System in Smart Community.

Zheng Wang, Liya Liu, Longyi Ran

Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, 2023

2022

Suspension System Control Based on Type-2 Fuzzy Sliding Mode Technique.

Zheng Wang, Longyi Ran, Bing Kong, Xuezeng Jia, Liya Liu, Jafar Tavoosi

Complex., 2022

Exploring the Cultivation Mode of Critical Thinking in Clinical-thinking Training of Diagnostics.

Yuefu Chen, Chunfeng Wang, Liya Liu, Yuxian Li, Ke Hu, Xiangyu Cao, Ling Jin

Proceedings of the ICETT 2022: 8th International Conference on Education and Training Technologies, Macau, China, April 16, 2022

2021

An Empirical Study on Teachers' Informationized Teaching Ability in Higher Vocational Colleges.

Liya Liu, Yuanyuan Zhang, Min Li

Proceedings of the Data Science, 2021

2020

Strong convergence of an extragradient-like algorithm involving pseudo-monotone mappings.

Liya Liu, Xiaolong Qin

Numer. Algorithms, 2020

2018

A Load Identification Algorithm of Frequency Domain Filtering Under Current Underdetermined Separation.

Xin Wu, Xiao Han, Liya Liu, Bing Qi

IEEE Access, 2018

2017

Formalization of Birth-Death and IID processes in higher-order logic.

Liya Liu, Osman Hasan, Sofiène Tahar

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2014

On the Formal Analysis of HMM Using Theorem Proving.

Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL.

Liya Liu, Osman Hasan, Sofiène Tahar

J. Comput. Sci. Technol., 2013

Formal Analysis of Memory Contention in a Multiprocessor System.

Liya Liu, Osman Hasan, Sofiène Tahar

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

Formal Reasoning about Classified Markov Chains in HOL.

Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Formalization of Finite-State Discrete-Time Markov Chains in HOL.

Liya Liu, Osman Hasan, Sofiène Tahar

Proceedings of the Automated Technology for Verification and Analysis, 2011