Liya Liu

Available identifiers

Publication	Date of Publication	Type
Inertial viscosity iterative method for solving variational inequality problems for pseudo-monotone and non-Lipschitz operators	2024-07-29	Paper
An accelerated stochastic extragradient-like algorithm with new stepsize rules for stochastic variational inequalities	2024-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q5096535	2022-08-17	Paper
Analysis of a hybrid switching SVIR epidemic model with vaccination and Lévy noise	2022-08-15	Paper
Stationary distribution of a stochastic chemostat model with Beddington-DeAngelis functional response	2022-05-17	Paper
Dynamics of an SIR epidemic model with varying population sizes and regime switching in a two patch setting	2022-01-20	Paper
Optimal consumption with time-inconsistent preferences	2020-10-21	Paper
Dynamics of a hepatitis B model with saturated incidence	2019-07-18	Paper
The threshold of stochastic chemostat model with Monod-Haldane response function	2019-04-30	Paper
Formal Analysis of Memory Contention in a Multiprocessor System	2014-07-08	Paper
Formal reasoning about finite-state discrete-time Markov chains in HOL	2014-02-06	Paper
Formal Reasoning about Classified Markov Chains in HOL	2013-08-07	Paper
Formalization of Finite-State Discrete-Time Markov Chains in HOL	2011-10-07	Paper

This page was built for person: Liya Liu