Elementary Loops Revisited. - Jianmin Ji; Hai Wan; Peng Xiao 009; Ziwei Huo; Zhanhao Xiao (AAAI, 2014)

Splitting a Logic Program Revisited. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (AAAI, 2015)

Simplifying A Logic Program Using Its Consequences. - Jianmin Ji; Hai Wan; Ziwei Huo; Zhenfeng Yuan (IJCAI, 2015)

Recent Progress in Self-Powered Wireless Sensors and Systems Based on TENG. - Yonghai Li; Jinran Yu; Yichen Wei; Yifei Wang; Zhenyu Feng; Liuqi Cheng; Ziwei Huo; Yanqiang Lei; Qijun Sun (Sensors, 2023)