A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata. - Jianhua Li; Songqiao Chen; Lin Jian; Hongyu Zhang 001 (TrustCom, 2011)

Predicting Accurate Hot Spots in a More Than Ten-Thousand-Core GPU with a Million-Time Speedup over FEM Enabled by a Physics-based Learning Algorithm. - Lin Jian; Yu Liu 037; Ming-Cheng Cheng (CoRR, 2024)