The following pages link to Liya Liu (Q2069092):
Displaying 11 items.
- Dynamics of an SIR epidemic model with varying population sizes and regime switching in a two patch setting (Q2069093) (← links)
- Stationary distribution of a stochastic chemostat model with Beddington-DeAngelis functional response (Q2139329) (← links)
- Analysis of a hybrid switching SVIR epidemic model with vaccination and Lévy noise (Q2164583) (← links)
- Optimal consumption with time-inconsistent preferences (Q2206007) (← links)
- Dynamics of a hepatitis B model with saturated incidence (Q2313169) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Formalization of Finite-State Discrete-Time Markov Chains in HOL (Q3172906) (← links)
- The threshold of stochastic chemostat model with Monod-Haldane response function (Q4632581) (← links)
- (Q5096535) (← links)
- Formal Analysis of Memory Contention in a Multiprocessor System (Q5166668) (← links)
- Formal Reasoning about Classified Markov Chains in HOL (Q5327351) (← links)
