Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. - Jianhua Zhao; Xiuyi Zhou; Xuandong Li; Guoliang Zheng (IPDPS, 2005)

Thermal Management for 3D Processors via Task Scheduling. - Xiuyi Zhou; Yi Xu 010; Yu Du 002; Youtao Zhang; Jun Yang 002 (ICPP, 2008)

Dynamic Thermal Management through Task Scheduling. - Jun Yang 002; Xiuyi Zhou; Marek Chrobak; Youtao Zhang; Lingling Jin (ISPASS, 2008)

A low-radix and low-diameter 3D interconnection network design. - Yi Xu 010; Yu Du 002; Bo Zhao 007; Xiuyi Zhou; Youtao Zhang; Jun Yang 002 (HPCA, 2009)

Performance-aware thermal management via task scheduling. - Xiuyi Zhou; Jun Yang 002; Marek Chrobak; Youtao Zhang (ACM Trans. Archit. Code Optim., 2010)

Thermal-Aware Task Scheduling for 3D Multicore Processors. - Xiuyi Zhou; Jun Yang 002; Yi Xu 010; Youtao Zhang; Jianhua Zhao (IEEE Trans. Parallel Distributed Syst., 2010)