C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Liya Liu
ORCID
Publication Activity (10 Years)
Years Active: 2011-2023
Publications (10 Years): 8
Top Topics
Markov Processes
Formal Analysis
Sliding Mode
Senior High School
Top Venues
ITP
ICETT
J. Comput. Appl. Math.
Adv. Intell. Syst.
</>
Publications
</>
Shaotao Hu
,
Yuanheng Wang
,
Liya Liu
,
Qiao-Li Dong
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.
424 (2023)
Wenbo Pang
,
Shiwei Xu
,
Liya Liu
,
Renheng Bo
,
Yihui Zhang
Thin-Film-Shaped Flexible Actuators.
Adv. Intell. Syst.
5 (8) (2023)
Zheng Wang
,
Longyi Ran
,
Bing Kong
,
Xuezeng Jia
,
Liya Liu
,
Jafar Tavoosi
Suspension System Control Based on Type-2 Fuzzy Sliding Mode Technique.
Complex.
2022 (2022)
Yuefu Chen
,
Chunfeng Wang
,
Liya Liu
,
Yuxian Li
,
Ke Hu
,
Xiangyu Cao
,
Ling Jin
Exploring the Cultivation Mode of Critical Thinking in Clinical-thinking Training of Diagnostics.
ICETT
(2022)
Liya Liu
,
Yuanyuan Zhang
,
Min Li
An Empirical Study on Teachers' Informationized Teaching Ability in Higher Vocational Colleges.
ICPCSEE (2)
(2021)
Liya Liu
,
Xiaolong Qin
Strong convergence of an extragradient-like algorithm involving pseudo-monotone mappings.
Numer. Algorithms
83 (4) (2020)
Xin Wu
,
Xiao Han
,
Liya Liu
,
Bing Qi
A Load Identification Algorithm of Frequency Domain Filtering Under Current Underdetermined Separation.
IEEE Access
6 (2018)
Liya Liu
,
Osman Hasan
,
Sofiène Tahar
Formalization of Birth-Death and IID processes in higher-order logic.
SysCon
(2017)
Liya Liu
,
Vincent Aravantinos
,
Osman Hasan
,
Sofiène Tahar
On the Formal Analysis of HMM Using Theorem Proving.
ICFEM
(2014)
Liya Liu
,
Osman Hasan
,
Sofiène Tahar
Formal Analysis of Memory Contention in a Multiprocessor System.
SBMF
(2013)
Liya Liu
,
Osman Hasan
,
Vincent Aravantinos
,
Sofiène Tahar
Formal Reasoning about Classified Markov Chains in HOL.
ITP
(2013)
Liya Liu
,
Osman Hasan
,
Sofiène Tahar
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL.
J. Comput. Sci. Technol.
28 (2) (2013)
Liya Liu
,
Osman Hasan
,
Sofiène Tahar
Formalization of Finite-State Discrete-Time Markov Chains in HOL.
ATVA
(2011)