Weiyou Wang

According to our database, Weiyou Wang authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Lean-Congruence Format for EP-Bisimilarity.

Rob van Glabbeek, Peter Höfner, Weiyou Wang

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

2022

Lower Bound on Delay Consensus Margin of Discrete-Time Multiagent Systems.

Yuanye Chen, Weiyou Wang, Fang Fang

Proceedings of the 13th Asian Control Conference, 2022

2021

Enabling Preserving Bisimulation Equivalence.

Rob van Glabbeek, Peter Höfner, Weiyou Wang

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Formal Models of the OSPF Routing Protocol.

Jack Drury, Peter Höfner, Weiyou Wang

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020

2015

PS-ABC: A hybrid algorithm based on particle swarm and artificial bee colony for high-dimensional optimization problems.

Zhiyong Li, Weiyou Wang, Yanyan Yan, Zheng Li

Expert Syst. Appl., 2015