Dayou Zhou

Verification of communicating data-driven web services

Alin Deutsch, Liying Sui, Victor Vianu et al. · 2006 · 79 citations

Web Service Specification, Web Service Peers, Engineering +19

A verifier for interactive, data-driven web applications

Alin Deutsch, M. Marcus, Liying Sui et al. · 2005 · 59 citations

Engineering, Verification, Software Engineering +26

Bacterial community shaped by heavy metals and contributing to health risks in cornfields

Han Cui, Lele Liu, Jie-Rui Dai et al. · Ecotoxicology and Environmental Safety · 2018 · 58 citations

Bacterial Community, Microbial Contamination, Microbial Ecology +8

A system for specification and verification of interactive, data-driven web applications

Alin Deutsch, Liying Sui, Victor Vianu et al. · 2006 · 24 citations

Engineering, Verification, Software Engineering +28

No Fertile Island Effects or Salt Island Effects of Tamarix chinensis on Understory Herbaceous Communities Were Found in the Coastal Area of Laizhou Bay, China

Dayou Zhou, Weihua Guo, Mingyan Li et al. · Wetlands · 2020 · 16 citations

Biodiversity, Botany, Biogeography +3