TR 2019-2020
| No. | Topic | Author |
| ISCAS-SKLCS-19-01 | Contention-Aware Mapping and Scheduling Optimization for Noc-Based Mpsocs | Rongjie Yan, Yupeng Zhou, Anyu Cai, Yige Yan, Minghao Yin |
| ISCAS-SKLCS-19-02 | Weak Well Founded Sets and Their Application to Formal Verification | Wenhui Zhang |
| ISCAS-SKLCS-20-01 | A Virtual Fiber-based Constitute Model for Isotropic and Anisotropic Nonlinear Materials | Xuehui Liu, Hao He |