Formalization of Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (ATVA, 2011)

Formal Reasoning about Classified Markov Chains in HOL. - Liya Liu; Osman Hasan; Vincent Aravantinos; Sofiène Tahar (ITP, 2013)

Formal Analysis of Memory Contention in a Multiprocessor System. - Liya Liu; Osman Hasan; Sofiène Tahar (SBMF, 2013)

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. - Liya Liu; Osman Hasan; Sofiène Tahar (J. Comput. Sci. Technol., 2013)

On the Formal Analysis of HMM Using Theorem Proving. - Liya Liu; Vincent Aravantinos; Osman Hasan; Sofiène Tahar (ICFEM, 2014)

Formalization of Birth-Death and IID processes in higher-order logic. - Liya Liu; Osman Hasan; Sofiène Tahar (SysCon, 2017)

A Load Identification Algorithm of Frequency Domain Filtering Under Current Underdetermined Separation. - Xin Wu; Xiao Han; Liya Liu; Bing Qi (IEEE Access, 2018)

Strong convergence of an extragradient-like algorithm involving pseudo-monotone mappings. - Liya Liu; Xiaolong Qin (Numer. Algorithms, 2020)

An Empirical Study on Teachers' Informationized Teaching Ability in Higher Vocational Colleges. - Liya Liu; Yuanyuan Zhang; Min Li (ICPCSEE (2), 2021)

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 (ICETT, 2022)

Suspension System Control Based on Type-2 Fuzzy Sliding Mode Technique. - Zheng Wang 053; Longyi Ran; Bing Kong; Xuezeng Jia; Liya Liu; Jafar Tavoosi (Complex., 2022)

Research on Strategy of Large-scale Electric Vehicle Charging Scheduling System in Smart Community. - Zheng Wang; Liya Liu; Longyi Ran (EITCE, 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., 2023)

Thin-Film-Shaped Flexible Actuators. - Wenbo Pang; Shiwei Xu; Liya Liu; Renheng Bo; Yihui Zhang (Adv. Intell. Syst., 2023)

Low Frequency Oscillation Suppression of Three-Phase Four-Wire Inverter Based on CFM-OSG Phase-Locked Loop. - Guoxuan Cui; Yanwen Wang 003; Liya Liu (IEEE Access, 2024)

An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities. - Liya Liu; Xiaolong Qin (Comput. Math. Appl., 2024)

An integrated waveform design method for underwater acoustic detection and communication. - Xuerong Cui; Yue Cai; Juan Li 009; Lei Li; Bin Jiang 003; Liya Liu (Internet Technol. Lett., 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)

AthRiboNC: an Arabidopsis database for ncRNAs with coding potential revealed from ribosome profiling. - Yi Shen; Liya Liu; Enyan Liu; Sida Li; Yuriy L. Orlov; Vladimir A. Ivanisenko; Ming Chen 005 (Database J. Biol. Databases Curation, 2024)

Analysis of occupant escape from indoor building fire based on optimized cellular automaton model. - Zheng Wang; Xuezeng Jia; Liya Liu (GAIIS, 2025)

Deep Neural Network for Lung Adenocarcinoma Subtype from Multimodal Fusion of Imaging and Clinical Data. - Chenchen Fan; Liya Liu; Yuxuan Wang; Danna Li; Qinghua Liang; Ahmed Elazab; Zhou Liu; Jiahang Hu; Yuan Tian; Yongquan Zhang; Changmiao Wang (ISBI, 2025)

STCDB4ND: a signal transduction classification database for neurological diseases. - Boyan Gong; Sida Li; Yifan Chen; Liya Liu; Ralf Hofestädt; Ming Chen 005 (Database J. Biol. Databases Curation, 2025)

Strong convergence of Bregman projection algorithms for solving split feasibility problems. - Liya Liu; Songxiao Li; Bing Tan 001 (Commun. Nonlinear Sci. Numer. Simul., 2025)

Modified projection method and strong convergence theorem for solving variational inequality problems with non-Lipschitz operators. - Zhongbing Xie; Huanqin Wu; Liya Liu (Numer. Algorithms, 2025)

A Proximal-Type Algorithm with Bregman Distance for Solving Equilibrium Problems. - Grace Nnennaya Ogwo; Olawale Kazeem Oyewole; Liya Liu (J. Optim. Theory Appl., 2025)