A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. - Gang Shi; Yuanke Gan; Shu Shang; Shengyuan Wang 001; Yuan Dong; Pen-Chung Yew (ICSE (Companion Volume), 2017)

Dagger: Digging for Interesting Aggregates in RDF Graphs. - Yanlei Diao; Ioana Manolescu; Shu Shang (ISWC (Posters, Demos & Industry Tracks), 2017)

A formally verified transformation to unify multiple nested clocks for a Lustre-like language. - Gang Shi; Yucheng Zhang; Shu Shang; Shengyuan Wang 001; Yuan Dong; Pen-Chung Yew (Sci. China Inf. Sci., 2019)

The Spatial Heterogeneity Effect of Green Finance Development on Carbon Emissions. - Langang Feng; Shu Shang; Sufang An; Wenli Yang (Entropy, 2022)

Digitalization Enabling High-quality Economic Development. - Shu Shang; Langang Feng (IEEE DataPort, 2022)

A Technique for Fault Diagnosis Based on LMD and RQA. - Shu Shang; Zhijie Cao; Bing Zhang; Liang Lei (PCCNT, 2023)