Liya Liu

31 papers B 2C 1Journal 18Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Halpern-type Bregman Projection Algorithms for Split Variational Inequality Problems.
J. Optim. Theory Appl.
Liya Liu, Tiexiang Li, Xiaolong Qin
2026 J jnl
Joint Underwater Detection and Communication With GSFM: Integrated Waveform Design and GA-Based Parameter Optimization.
IEEE Internet Things J.
Liya Liu, Xuerong Cui, Juan Li, Bin Jiang, Tong Li, Lei Li
2025 J jnl
A Proximal-Type Algorithm with Bregman Distance for Solving Equilibrium Problems.
J. Optim. Theory Appl.
Grace Nnennaya Ogwo, Olawale Kazeem Oyewole, Liya Liu
2025 — conf
Analysis of occupant escape from indoor building fire based on optimized cellular automaton model.
GAIIS
Zheng Wang, Xuezeng Jia, Liya Liu
2025 — conf
Deep Neural Network for Lung Adenocarcinoma Subtype from Multimodal Fusion of Imaging and Clinical Data.
ISBI
Chenchen Fan, Liya Liu, Yuxuan Wang, Danna Li, Qinghua Liang, Ahmed Elazab, Zhou Liu, Jiahang Hu, Yuan Tian, Yongquan Zhang, Changmiao Wang
2025 — conf
Development and Application of Intelligent Safety Management System Based on Pharmaceutical Laboratory.
ISAIMS
Liya Liu, Feng Xiong, Xiaoqin Liu, Yong He
2025 — conf
Empirical Analysis of Tourism Revenue in Sanya City.
ICPCSEE
Liya Liu, Ngan Iek Hang, Yuanyuan Zhang, Xia Liu
2025 — conf
ICH-PFNet: Prompt-Free Intracerebral Hemorrhage Segmentation via Convolutional Sparse Embeddings and Contrastive Semantic Consistency.
BIBM
Zichen Huang, Liya Liu, Chenxin Di, Jingwen Chen, Qiwei Yang, Yaoqun Liu, Haoxuan Sun, Ahmed Elazab, Yongquan Zhang, Changmiao Wang
2025 J jnl
InTxDB: interaction data between gram-negative bacteria secreted effectors and host proteins.
Database J. Biol. Databases Curation
Yanyan Zhu, Liya Liu, Yueming Hu, Sida Li, Enyan Liu, Yanshi Hu, Shilong Zhang, Haoyu Chao, Qiuyu Fang, Huan Yu, Ming Chen
2025 J jnl
Modified projection method and strong convergence theorem for solving variational inequality problems with non-Lipschitz operators.
Numer. Algorithms
Zhongbing Xie, Huanqin Wu, Liya Liu
2025 J jnl
STCDB4ND: a signal transduction classification database for neurological diseases.
Database J. Biol. Databases Curation
Boyan Gong, Sida Li, Yifan Chen, Liya Liu, Ralf Hofestädt, Ming Chen
2025 J jnl
Strong convergence of Bregman projection algorithms for solving split feasibility problems.
Commun. Nonlinear Sci. Numer. Simul.
Liya Liu, Songxiao Li, Bing Tan
2024 J jnl
An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities.
Comput. Math. Appl.
Liya Liu, Xiaolong Qin
2024 J jnl
An integrated waveform design method for underwater acoustic detection and communication.
Internet Technol. Lett.
Xuerong Cui, Yue Cai, Juan Li, Lei Li, Bin Jiang, Liya Liu
2024 J jnl
Application of Multi-objective Evolutionary Algorithms for Multidimensional Sensory Data Prediction and Resource Scheduling in Smart City Design.
Scalable Comput. Pract. Exp.
Liya Liu
2024 J jnl
AthRiboNC: an Arabidopsis database for ncRNAs with coding potential revealed from ribosome profiling.
Database J. Biol. Databases Curation
Yi Shen, Liya Liu, Enyan Liu, Sida Li, Yuriy L. Orlov, Vladimir A. Ivanisenko, Ming Chen
2024 J jnl
Low Frequency Oscillation Suppression of Three-Phase Four-Wire Inverter Based on CFM-OSG Phase-Locked Loop.
IEEE Access
Guoxuan Cui, Yanwen Wang, Liya Liu
2023 J jnl
An inertial self-adaptive iterative algorithm for finding the common solutions to split feasibility and fixed point problems in specific Banach spaces.
J. Comput. Appl. Math.
Shaotao Hu, Yuanheng Wang, Liya Liu, Qiao-Li Dong
2023 — conf
Research on Strategy of Large-scale Electric Vehicle Charging Scheduling System in Smart Community.
EITCE
Zheng Wang, Liya Liu, Longyi Ran
2023 J jnl
Thin-Film-Shaped Flexible Actuators.
Adv. Intell. Syst.
Wenbo Pang, Shiwei Xu, Liya Liu, Renheng Bo, Yihui Zhang
2022 — conf
Exploring the Cultivation Mode of Critical Thinking in Clinical-thinking Training of Diagnostics.
ICETT
Yuefu Chen, Chunfeng Wang, Liya Liu, Yuxian Li, Ke Hu, Xiangyu Cao, Ling Jin
2022 J jnl
Suspension System Control Based on Type-2 Fuzzy Sliding Mode Technique.
Complex.
Zheng Wang, Longyi Ran, Bing Kong, Xuezeng Jia, Liya Liu, Jafar Tavoosi
2021 — conf
An Empirical Study on Teachers' Informationized Teaching Ability in Higher Vocational Colleges.
ICPCSEE (2)
Liya Liu, Yuanyuan Zhang, Min Li
2020 J jnl
Strong convergence of an extragradient-like algorithm involving pseudo-monotone mappings.
Numer. Algorithms
Liya Liu, Xiaolong Qin
2018 J jnl
A Load Identification Algorithm of Frequency Domain Filtering Under Current Underdetermined Separation.
IEEE Access
Xin Wu, Xiao Han, Liya Liu, Bing Qi
2017 — conf
Formalization of Birth-Death and IID processes in higher-order logic.
SysCon
Liya Liu, Osman Hasan, Sofiène Tahar
2014 C conf
On the Formal Analysis of HMM Using Theorem Proving.
ICFEM
Liya Liu, Vincent Aravantinos, Osman Hasan, Sofiène Tahar
2013 — conf
Formal Analysis of Memory Contention in a Multiprocessor System.
SBMF
Liya Liu, Osman Hasan, Sofiène Tahar
2013 J jnl
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL.
J. Comput. Sci. Technol.
Liya Liu, Osman Hasan, Sofiène Tahar
2013 B conf
Formal Reasoning about Classified Markov Chains in HOL.
ITP
Liya Liu, Osman Hasan, Vincent Aravantinos, Sofiène Tahar
2011 B conf
Formalization of Finite-State Discrete-Time Markov Chains in HOL.
ATVA
Liya Liu, Osman Hasan, Sofiène Tahar