Weiyou Wang

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 6

Top Topics

Artificial Bee Colony

Hybrid Algorithm

Multiagent Planning

Top Venues

Publications

Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. CoRR (2023)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
A Lean-Congruence Format for EP-Bisimilarity. EXPRESS/SOS (2023)
Yuanye Chen, Weiyou Wang, Fang Fang
Lower Bound on Delay Consensus Margin of Discrete-Time Multiagent Systems. ASCC (2022)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CoRR (2021)
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Enabling Preserving Bisimulation Equivalence. CONCUR (2021)
Jack Drury, Peter Höfner, Weiyou Wang
Formal Models of the OSPF Routing Protocol. MARS@ETAPS (2020)
Zhiyong Li, Weiyou Wang, Yanyan Yan, Zheng Li
PS-ABC: A hybrid algorithm based on particle swarm and artificial bee colony for high-dimensional optimization problems. Expert Syst. Appl. 42 (22) (2015)