Specification, validation, and verification of time-critical systems. - Shiuh-Pyng Shieh; Jun-Nan Chen (Comput. Commun., 1998)

Forecasting container throughputs at ports using genetic programming. - Shih-Huang Chen; Jun-Nan Chen (Expert Syst. Appl., 2010)