Efficient verification of distributed real-time systems with broadcasting behaviors. - Farn Wang; Li-Wei Yao; Ya-Lan Yang (Real Time Syst., 2011)

Intelligent big data analysis: a review. - Chun-Wei Tsai; Ya-Lan Yang; Ming-Chao Chiang; Chu-Sing Yang (Int. J. Big Data Intell., 2014)