Yishuai Li

From C to interaction trees: specifying, verifying, and testing a networked server

Nicolas Koh, Yao Li, Yishuai Li et al. · 2019 · 47 citations · Full text

Computing, Computer Science, Computer Systems +17

Vulnerability Analysis and Passenger Source Prediction in Urban Rail Transit Networks

Junjie Wang, Yishuai Li, Jingyu Liu et al. · PLoS ONE · 2013 · 43 citations · Full text

Planning, Transportation Planning, Transport +16

Extending lead-user theory to a virtual brand community: the roles of flow experience and trust

Li Wang, Yishuai Li · Asian Business & Management · 2019 · 25 citations

Business, Marketing, Marketing Management +15

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Hengchu Zhang, Wolf Honoré, Nicolas Koh et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021 · 20 citations · Full text

Computing, Computer Science, Computer Systems +13