Shaoying Liu

Available identifiers

Publication	Date of Publication	Type
Probabilistic mediator: a coalgebraic perspective	2022-09-30	Paper
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification	2016-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q5392420	2011-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q3571677	2010-07-08	Paper
A delayed SEIQR epidemic model with pulse vaccination and a quarantine measure	2010-06-28	Paper
The dynamics of an impulsive delay SI model with variable coefficients	2010-04-24	Paper
Three kinds of TVS in a SIR epidemic model with saturated infectious force and vertical transmission	2010-04-24	Paper
Complex dynamics of an impulsive control system in which predator species share a common prey	2009-10-19	Paper
TWO DIFFERENT VACCINATION STRATEGIES IN AN SIR EPIDEMIC MODEL WITH SATURATED INFECTIOUS FORCE	2009-03-05	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q4821318	2004-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q4412469	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4494245	2000-08-10	Paper
An abstract programming language and correctness proofs	1993-02-11	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shaoying Liu