Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks. - Lisong Wang; Tao Feng; Junhua Song; Zonghao Guo; Jun Hu (IEEE Access, 2018)

基于线性时间算法的故障树模块扩展分解方法 (Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm). - Junhua Song; Ou Wei (计算机科学, 2019)