Liya Liu

Available identifiers

zbMath Open liu.liya.1MaRDI QIDQ2069092

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Liya Liu