The following pages link to Shaoying Liu (Q733758):
Displaying 15 items.
- Complex dynamics of an impulsive control system in which predator species share a common prey (Q733759) (← links)
- The dynamics of an impulsive delay SI model with variable coefficients (Q965657) (← links)
- Three kinds of TVS in a SIR epidemic model with saturated infectious force and vertical transmission (Q965691) (← links)
- A delayed SEIQR epidemic model with pulse vaccination and a quarantine measure (Q980097) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification (Q2827442) (← links)
- (Q3571677) (← links)
- TWO DIFFERENT VACCINATION STRATEGIES IN AN SIR EPIDEMIC MODEL WITH SATURATED INFECTIOUS FORCE (Q3608681) (← links)
- An abstract programming language and correctness proofs (Q4024292) (← links)
- (Q4412469) (← links)
- (Q4494245) (← links)
- (Q4821318) (← links)
- (Q5392420) (← links)
- Automated Technology for Verification and Analysis (Q5394171) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709973) (← links)
