SAT-Based Automata Construction for LTL over Finite Traces. - Yingying Shi; Shengping Xiao; Jianwen Li; Jian Guo 005; Geguang Pu (APSEC, 2020)

Leveraging inter-firm influence in the diffusion of energy efficiency technologies: An agent-based model. - Yingying Shi; Yongchao Zeng; Jean Engo; Botang Han; Yang Li; Ralph T. Muehleisen (CoRR, 2020)

On-the-fly Synthesis for LTL over Finite Traces. - Shengping Xiao; Jianwen Li; Shufang Zhu 001; Yingying Shi; Geguang Pu; Moshe Y. Vardi (AAAI, 2021)

Differential Diagnosis of Malignant Thyroid Calcification Nodule Based on Computed Tomography Image Texture. - Wenxian Peng; Yijia Qian; Yingying Shi; Shuyun Chen; Kexin Chen; Han Xiao (J. Medical Imaging Health Informatics, 2021)

Three-Dimensional Reduced Graphene Oxide Hybrid Nano-Silver Scaffolds with High Antibacterial Properties. - Yueshui Lyu; Yingying Shi; Sen Zhu; Yuan Jia; Chunfeng Tong; Shixiong Liu; Bo Sun; Jingxiang Zhang (Sensors, 2022)

Haptic Signal Reconstruction for Cross-Modal Communications. - Xin Wei 001; Yingying Shi; Liang Zhou 002 (IEEE Trans. Multim., 2022)

Preparation of Nanocomposites for Antibacterial Orthodontic Invisible Appliance Based on Piezoelectric Catalysis. - Yingying Shi; Ningning Zhang; Jiajie Liu; Junbin Wang; Shuhui Shen; Jingxiang Zhang; Xiaoli An; Qingzong Si (Sensors, 2023)

Fine-Grained Audio-Visual Aided Haptic Signal Reconstruction. - Zhenyu Yang; Haoyu Wang; Yingying Shi; Lei Ye; Xin Wei 001 (IEEE Signal Process. Lett., 2024)