Liya Liu

According to our database, Liya Liu authored at least 14 papers between 2011 and 2023.

Collaborative distances:

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

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