Analysis of Mechanical Behavior of a Steel Frame - Cold-formed Thin-walled Steel Structure based on the Finite Element Method. - Caiwu Wu; Jianhua Su; Ruicong Huang; Zhengrong Jiang; Junming Qiu; Jian Cai (AIAM (ACM), 2021)

Knowledge Compilation Meets Logical Separability. - Junming Qiu; Wenqing Li; Zhanhao Xiao; Quanlong Guan; Liangda Fang; Zhao-Rong Lai; Qian Dong (AAAI, 2022)

An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update. - Quanlong Guan; Tong Zhu; Liangda Fang; Junming Qiu; Zhao-Rong Lai; Weiqi Luo 002 (CoRR, 2023)

ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking. - Weilin Luo; Weiyuan Fang; Junming Qiu; Hai Wan; Yanan Liu; Rongzhen Ye (NIER@ICSE, 2024)

On the Logic of Theory Change Iteration of KM-Update, Revised. - Liangda Fang; Tong Zhu; Quanlong Guan; Junming Qiu; Zhao-Rong Lai; Weiqi Luo 002; Hai Wan (IJCAI, 2024)

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. - Weilin Luo; Pingjia Liang; Junming Qiu; Polong Chen; Hai Wan; Jianfeng Du; Weiyuan Fang (ISSTA, 2024)

On the role of logical separability in knowledge compilation. - Junming Qiu; Wenqing Li; Liangda Fang; Quanlong Guan; Zhanhao Xiao; Zhao-Rong Lai; Qian Dong (Artif. Intell., 2024)

NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)