PS-ABC: A hybrid algorithm based on particle swarm and artificial bee colony for high-dimensional optimization problems. - Zhiyong Li 001; Weiyou Wang; Yanyan Yan; Zheng Li (Expert Syst. Appl., 2015)

Formal Models of the OSPF Routing Protocol. - Jack Drury; Peter Höfner; Weiyou Wang (MARS@ETAPS, 2020)

Enabling Preserving Bisimulation Equivalence. - Rob van Glabbeek; Peter Höfner; Weiyou Wang (CONCUR, 2021)

Lower Bound on Delay Consensus Margin of Discrete-Time Multiagent Systems. - Yuanye Chen; Weiyou Wang; Fang Fang 007 (ASCC, 2022)

A Lean-Congruence Format for EP-Bisimilarity. - Rob van Glabbeek; Peter Höfner; Weiyou Wang (EXPRESS/SOS, 2023)