Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN. - Yu-Tong He; Ryszard Janicki (CASCON, 2004)

Verification of the WAP Transaction Layer. - Yu-Tong He; Ryszard Janicki (SEFM, 2004)

MARO - MinDrift affinity routing for resource management in heterogeneous computing systems. - Yu-Tong He; Issam Al-Azzoni; Douglas G. Down (CASCON, 2007)

Limited choice and locality considerations for load balancing. - Yu-Tong He; Douglas G. Down (Perform. Evaluation, 2008)

On Accommodating Customer Flexibility in Service Systems. - Yu-Tong He; Douglas G. Down (INFOR Inf. Syst. Oper. Res., 2009)

A web-based virtual laboratory for electron probe microanalysis. - Xia Lu; Di Tian; Yu-Tong He; Li Yao; Run-Long Fan (Comput. Appl. Eng. Educ., 2015)

A web-based virtual laboratory for SHRIMP. - Yi-Han Liu; Yu-Tong He; Di Tian; Run-Long Fan; Li Yao (Comput. Appl. Eng. Educ., 2018)

SHRIMPDB: a new geoanalytical database for U-Th-Pb geochronological data from SHRIMP measurements. - Yu-Tong He; Di Tian; Ranran Gao; Run-Long Fan; Li Yao; Pengfei Chen (Earth Sci. Informatics, 2018)