Ziwei Huo

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 1

Top Topics

Fixpoint Semantics

Top Venues

Publications

Yonghai Li, Jinran Yu, Yichen Wei, Yifei Wang, Zhenyu Feng, Liuqi Cheng, Ziwei Huo, Yanqiang Lei, Qijun Sun
Recent Progress in Self-Powered Wireless Sensors and Systems Based on TENG. Sensors 23 (3) (2023)
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
Splitting a Logic Program Revisited. AAAI (2015)
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
Simplifying A Logic Program Using Its Consequences. IJCAI (2015)
Jianmin Ji, Hai Wan, Peng Xiao, Ziwei Huo, Zhanhao Xiao
Elementary Loops Revisited. AAAI (2014)