Liya Liu

MaRDI QIDQ2069092zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Inertial viscosity iterative method for solving variational inequality problems for pseudo-monotone and non-Lipschitz operators Advances in Mathematics (Beijing)	2024-07-29	Paper
An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities Computers & Mathematics with Applications	2024-05-24	Paper
scientific article; zbMATH DE number 7572506 (Why is no real title available?)	2022-08-17	Paper
Analysis of a hybrid switching SVIR epidemic model with vaccination and Lévy noise Physica A	2022-08-15	Paper
Stationary distribution of a stochastic chemostat model with Beddington-DeAngelis functional response Physica A	2022-05-17	Paper
Dynamics of an SIR epidemic model with varying population sizes and regime switching in a two patch setting Physica A	2022-01-20	Paper
Optimal consumption with time-inconsistent preferences Economic Theory	2020-10-21	Paper
Dynamics of a hepatitis B model with saturated incidence Acta Mathematica Scientia. Series B. (English Edition)	2019-07-18	Paper
The threshold of stochastic chemostat model with Monod-Haldane response function The Journal of Nonlinear Sciences and Applications	2019-04-30	Paper
Formal Analysis of Memory Contention in a Multiprocessor System Lecture Notes in Computer Science	2014-07-08	Paper
Formal reasoning about finite-state discrete-time Markov chains in HOL Journal of Computer Science and Technology	2014-02-06	Paper
Formal reasoning about classified Markov chains in HOL Interactive Theorem Proving	2013-08-07	Paper
Formalization of finite-state discrete-time Markov chains in HOL Automated Technology for Verification and Analysis	2011-10-07	Paper

Research outcomes over time

This page was built for person: Liya Liu