​
Login / Signup
Shu Shang
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 5
Top Topics
Systolic Array
Concurrent Programs
Rotating Machinery
Symbolic Execution
Top Venues
ICSE (Companion Volume)
Sci. China Inf. Sci.
ISWC (Posters, Demos & Industry Tracks)
Entropy
</>
Publications
</>
Shu Shang
,
Zhijie Cao
,
Bing Zhang
,
Lei Liang
A Technique for Fault Diagnosis Based on LMD and RQA.
PCCNT
(2023)
Langang Feng
,
Shu Shang
,
Sufang An
,
Wenli Yang
The Spatial Heterogeneity Effect of Green Finance Development on Carbon Emissions.
Entropy
24 (8) (2022)
Gang Shi
,
Yucheng Zhang
,
Shu Shang
,
Shengyuan Wang
,
Yuan Dong
,
Pen-Chung Yew
A formally verified transformation to unify multiple nested clocks for a Lustre-like language.
Sci. China Inf. Sci.
62 (1) (2019)
Yanlei Diao
,
Ioana Manolescu
,
Shu Shang
Dagger: Digging for Interesting Aggregates in RDF Graphs.
ISWC (Posters, Demos & Industry Tracks)
(2017)
Gang Shi
,
Yuanke Gan
,
Shu Shang
,
Shengyuan Wang
,
Yuan Dong
,
Pen-Chung Yew
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.
ICSE (Companion Volume)
(2017)