Shu Shang
Orcid: 0000-0001-9394-0998
According to our database1,
Shu Shang
authored at least 6 papers
between 2017 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the 2023 International Conference on Power, 2023
2022
Entropy, 2022
2019
A formally verified transformation to unify multiple nested clocks for a Lustre-like language.
Sci. China Inf. Sci., 2019
2017
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.
Proceedings of the 39th International Conference on Software Engineering, 2017