Shaoying Liu

From MaRDI portal
Person:733758

Available identifiers

zbMath Open liu.shaoyingMaRDI QIDQ733758

List of research outcomes





PublicationDate of PublicationType
Probabilistic mediator: a coalgebraic perspective2022-09-30Paper
Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification2016-10-19Paper
https://portal.mardi4nfdi.de/entity/Q53924202011-04-11Paper
https://portal.mardi4nfdi.de/entity/Q35716772010-07-08Paper
A delayed SEIQR epidemic model with pulse vaccination and a quarantine measure2010-06-28Paper
The dynamics of an impulsive delay SI model with variable coefficients2010-04-24Paper
Three kinds of TVS in a SIR epidemic model with saturated infectious force and vertical transmission2010-04-24Paper
Complex dynamics of an impulsive control system in which predator species share a common prey2009-10-19Paper
TWO DIFFERENT VACCINATION STRATEGIES IN AN SIR EPIDEMIC MODEL WITH SATURATED INFECTIOUS FORCE2009-03-05Paper
Automated Technology for Verification and Analysis2006-10-25Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
https://portal.mardi4nfdi.de/entity/Q48213182004-10-12Paper
https://portal.mardi4nfdi.de/entity/Q44124692003-07-15Paper
https://portal.mardi4nfdi.de/entity/Q44942452000-08-10Paper
An abstract programming language and correctness proofs1993-02-11Paper

Research outcomes over time

This page was built for person: Shaoying Liu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:733758&oldid=7773041"
Powered by MediaWiki