Jinquan Wang

Hypergraph-partitioning-based online joint scheduling of tasks and data

Limin Xiao, Rafał Scherer, Yao Song, 2022, The Journal of Supercomputing.

Dynamic two-side matching of tasks and resources in wide-area distributed computing environments

Liang Wang, Limin Xiao, Chenhao Zhang, 2023, The Journal of Supercomputing.

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach

Yujun Zheng, Jinyun Xue, Kan Wang, 2006, FM.