Comparison Between Two Languages Used to Express Planning Goals: CTL and EAGLE. - Wei Huang 026; Zhonghua Wen; Yunfei Jiang; Aixiang Chen (PRICAI, 2006)

Improvements to the Strong Cyclic Planning Algorithm. - Zhonghua Wen; Wei Huang 026; Yunfei Jiang; Songqing Xiao (ICNC (4), 2007)

Observation Reduction for Strong Plans. - Wei Huang 026; Zhonghua Wen; Yunfei Jiang; Lihua Wu (IJCAI, 2007)

Improvements to the Strong Planning Algorithm. - Zhonghua Wen; Qiwei Yang; Jinhua Zheng; Jiang Zhu (ICNC (6), 2008)

Structured Plans and Observation Reduction for Plans with Contexts. - Wei Huang 026; Zhonghua Wen; Yunfei Jiang; Hong Peng (IJCAI, 2009)

Allocating Indivisible Resources under Price Rigidities in Polynomial Time. - Wei Huang 026; Jian Lou; Zhonghua Wen (CoRR, 2014)

A Parallel Elicitation-Free Protocol for Allocating Indivisible Goods. - Wei Huang 026; Jian Lou; Zhonghua Wen (CoRR, 2014)

Reliability Evaluation of the Minimum Spanning Tree on Uncertain Graph. - Jie Tang; Yuansheng Liu; Zhonghua Wen (J. Comput., 2015)

求最小期望权值强循环规划解 (Solving Strong Cyclic Planning with Minimal Expectation Weight). - Yang Li; Zhonghua Wen; Xiaohui Wu; Jiaqi Lao (计算机科学, 2015)

分层法求最小权值强规划解 (Solving Minimal Cost Strong Planning Solution by Hierarchical Algorithm). - Xiaohui Wu; Zhonghua Wen; Yang Li; Jiaqi Lao (计算机科学, 2015)

利用有向环的性质求解可达关系 (Solving Reachability Relationship by Property of Directed Cycle). - Qiuru Chen; Zhonghua Wen; Run Yuan; Liangwei Dai (计算机科学, 2016)

基于不确定攻击图的攻击路径的网络安全分析 (Analysis of Network Security Based on Uncertain Attack Graph Path). - Saiwen Zeng; Zhonghua Wen; Liangwei Dai; Run Yuan (计算机科学, 2017)