Concepedia

Fangyi Zhou

FZ

Statistics

Publications

6

Citations

122

H-Index

6

Active since

2020

Affiliations

Imperial College London(Current)

Central South University

Fangyi Zhou is an author at Imperial College London specializing in engineering, system software, and formal verification.

ORCID

Top concepts

Publications per year

2020–2023

6

Publications

6

Statically verified refinements for multiparty protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu et al. · Proceedings of the ACM on Programming Languages · 2020 · 35 citations · Full text

, , +16

An improved evaluation method to assess the coordination between mineral resource exploitation, economic development, and environmental protection

Xiaohong Chen, Fangyi Zhou, Dongbin Hu et al. · Ecological Indicators · 2022 · 32 citations · Full text

, , +24

Communication-safe web programming in TypeScript with routed multiparty session types

Anson Miu, Francisco Ferreira, Nobuko Yoshida et al. · 2021 · 18 citations

, , +16

Exploring the nurses' experiences in recognising and managing clinical deterioration in emergency patients: A qualitative study

Qingqing Liu, Changning Xie, Jian‐Wen Tan et al. · Australian Critical Care · 2023 · 14 citations

, , +8

Generalised Multiparty Session Types with Crash-Stop Failures

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2022 · 13 citations · Full text

1–5 of 6