Joint Spatial and Frequency Domains Watermarking Algorithm Based on Wavelet Packets. - Yinghua Lu; Wei Wang; Jun Kong; Jialing Han; Gang Hou (Australian Conference on Artificial Intelligence, 2005)

Resource and Bandwidth Allocation on a Computational Grid with Tree Topology. - Shaoqiang Zhang; Chunyong Ding; Gang Hou (GCC, 2006)

A Novel Color Image Watermarking Method Based on Genetic Algorithm and Neural Networks. - Jialing Han; Jun Kong; Yinghua Lu; Yulong Yang; Gang Hou (ICONIP (3), 2006)

A Novel Color Image Watermarking Method Based on Genetic Algorithm and Hybrid Neural Networks. - Yinghua Lu; Jialing Han; Jun Kong; Yulong Yang; Gang Hou (RSCTC, 2006)

Algorithm for Public Transit Trip with Minimal Transfer Times and Shortest Travel Time. - Gang Hou; Kuanjiu Zhou; Yang Tian (KSEM, 2007)

N-Times Trilateral Centroid Weighted Localization Algorithm of Wireless Sensor Networks. - Yu Zhou 031; Tie Qiu 001; Feng Xia 001; Gang Hou (iThings/CPSCom, 2011)

Software Reliability Test Based on Markov Usage Model. - Kuanjiu Zhou; Xiaolong Wang; Gang Hou; Jie Wang 004; Shanbin Ai (J. Softw., 2012)

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets. - Gang Hou; Kuanjiu Zhou; Junwang Chang; Rui Li; Mingchu Li (APPT, 2013)

Accelerating Software Model Checking Based on Program Backbone. - Kuanjiu Zhou; Jiawei Yong; Xiaolong Wang; Longtao Ren; Gang Hou; Junwang Chang (APPT, 2013)

A Novel Image Retrieval Method Based on Mutual Information Descriptors. - Gang Hou; Ke Zhang 023; Xiaoxue Zhang; Jun Kong 004; Ming Zhang (ICIC (2), 2013)

Energy Consumption Analysis Method of CPS Software Based on Architecture Modeling. - Gang Hou; Yinfeng Ban; Kuanjiu Zhou; Jie Wang 004; Mingchu Li; Zihao Liao (FCST, 2015)

The Dynamic Evaluation Strategy for Evolvable Hardware. - Jie Wang 004; Jiwei Liu; Bin Feng; Gang Hou (FCST, 2015)

Parallel Computing Method for HRV Time-Domain Based on GPU. - Jie Wang 004; Weihao Chen; Gang Hou (ICA3PP (2), 2015)

Compromising Ad-Hoc Networks by Attacking Weakly Connected Dominating Set. - Chi Lin 001; Guowei Wu; Kangbin Yim; Lin Yao 001; Gang Hou (IMIS, 2015)

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. - Weiqiang Kong; Gang Hou; Xiangpei Hu; Yasuhito Arimoto; Masahiko Watanabe; Takahiro Ando; Kenji Hisazumi; Akira Fukuda (ICA, 2016)

ETSTM: A New Green Software Model. - Gang Hou; Kuanjiu Zhou; Yanran Wu; Zongzheng Chi; Jie Wang 004; Mingchu Li (Trustcom/BigDataSE/ISPA, 2016)

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. - Weiqiang Kong; Gang Hou; Xiangpei Hu; Takahiro Ando; Kenji Hisazumi; Akira Fukuda (J. Inf. Secur. Appl., 2016)

Multi-level Scheduling Algorithm Based on Storm. - Jie Wang 004; Siguang Hang; Jiwei Liu; Weihao Chen; Gang Hou (KSII Trans. Internet Inf. Syst., 2016)

A Cost-Optimized Resource Provisioning Policy for Heterogeneous Cloud Environments. - Xin Chen 032; Feng Ding 004; Tiantian Zhang; Gang Hou; Lan Lan (IEEE Access, 2017)

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. - Gang Hou; Kuanjiu Zhou; Tie Qiu 001; Weiqiang Kong; Mingchu Li (IEEE Access, 2017)

A novel green software evaluation model for cloud robotics. - Gang Hou; Kuanjiu Zhou; Tie Qiu 001; Xun Cao; Mingchu Li; Jie Wang 004 (Comput. Electr. Eng., 2017)

Concept drift detection for data stream learning based on angle optimized global embedding and principal component analysis in sensor networks. - Shenglan Liu 001; Lin Feng 001; Jun Wu 008; Gang Hou; Guangjie Han (Comput. Electr. Eng., 2017)

基于PEFSM行为模型的黑盒测试用例生成方法 (Black-box Test Case Generation Method Based on PEFSM Behavioral Model). - Haoran Liang; Kuanjiu Zhou; Kai Cui; Jie Pan; Gang Hou (计算机科学, 2017)

Analysis of Interrupt Behavior Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Xun Cao; Akira Fukuda (IIAI-AAI, 2018)

A Survey of Formal Techniques for Hardware/Software Co-verification. - Kun Liu; Weiqiang Kong; Gang Hou; Akira Fukuda (IIAI-AAI, 2018)

Managing bioethanol supply chain resiliency: a risk-sharing model to mitigate yield uncertainty risk. - Fei Ye 006; Gang Hou; Yina Li; Shaoling Fu (Ind. Manag. Data Syst., 2018)

A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning. - Jie Wang 004; Shuangmin Deng; Junjie Kang; Gang Hou; Kuanjiu Zhou; Chi Lin 001 (DSA, 2019)

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. - Kun Liu; Xiaozhen Zhang; Weiqiang Kong; Gang Hou; Masahiko Watanabe; Akira Fukuda (DSA, 2019)

From Local to Global Semantic Clone Detection. - Yuan Yuan 020; Weiqiang Kong; Gang Hou; Yan Hu; Masahiko Watanabe; Akira Fukuda (DSA, 2019)

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. - Gang Hou; Weiqiang Kong; Kuanjiu Zhou; Jie Wang 004; Chi Lin 001 (ICPADS, 2019)

Real-Time System Fault-Tolerant Scheme Based on Improved Chaotic Genetic Algorithm. - Jie Wang 004; Junjie Kang; Gang Hou (WISATS (2), 2019)

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. - Xiaozhen Zhang; Weiqiang Kong; Jianguo Jiang; Gang Hou; Akira Fukuda (TASE, 2019)

High Spectral Resolution Raman Measurements Using Light-Emitting Diode as Excitation Based on Weighted Spectral Reconstruction Method. - Shuo Chen 005; Mixing Liu; Jing Liu; Lingmin Kong; Wenbin Xu; Gang Hou; Liping Xie; Xiaoyu Cui (IEEE Access, 2019)

Real-Time Fault Repair Scheme Based on Improved Genetic Algorithm. - Jie Wang 004; Junjie Kang; Gang Hou (IEEE Access, 2019)

A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. - Zhen Wang; Xiaoning Han; Weiqiang Kong; Yong Piao; Gang Hou; Masahiko Watanabe; Akira Fukuda (TASE, 2020)

A model based on CT radiomic features for predicting RT-PCR becoming negative in coronavirus disease 2019 (COVID-19) patients. - Quan Cai; Si-Yao Du; Si Gao; Guo-Liang Huang; Zheng Zhang; Shu Li; Xin Wang; Pei-Ling Li; Peng Lv; Gang Hou; Lina Zhang (BMC Medical Imaging, 2020)

D2D communication mode selection and resource allocation in 5G wireless networks. - Gang Hou; Lizhu Chen (Comput. Commun., 2020)

A Modeling and Verification Method of Modbus TCP/IP Protocol. - Jie Wang 004; Zhichao Chen; Gang Hou; Haoyu Gao; Pengfei Li; Ao Gao; Xintao Wu (ICA3PP (3), 2021)

SDLV: Verification of Steering Angle Safety for Self-Driving Cars. - Huihui Wu; Deyun Lv; Tengxiang Cui; Gang Hou; Masahiko Watanabe; Weiqiang Kong (Formal Aspects Comput., 2021)

Modeling and reliability verification of industrial control network protocol based on time state transition matrix. - Jie Wang 004; Xintao Wu; Gang Hou; Pengfei Li; Ao Gao; Zhichao Chen; Haoyu Gao (Int. J. Commun. Syst., 2022)

A Single-sample Pruning and Clustering Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Long Zhu; Jie Wang 004; Weiqiang Kong (APSEC, 2023)

A Dual Relaxation Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Yueyuan Qin; Jie Wang 004; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 2024)

Space-Constrained Random Sparse Adversarial Attack. - Yueyuan Qin; Gang Hou; Tingting Yu; Bing Gao; Weiqiang Kong; Xiaoshan Liu (Neurocomputing, 2025)

Dual-timescale hierarchical MADDPG for Multi-UAV cooperative search. - Jiancheng Liu; Siwen Wei; Bo Li; Tuo Wang; Wanlong Qi; Xingye Han; Gang Hou; Ke Li; Yuqing Lin; Dingrui Xue; Kexin Wang (J. King Saud Univ. Comput. Inf. Sci., 2025)

MPD-RL: Meta-path-driven reinforcement learning for enhancing resilience in unmanned weapon system-of-systems. - Zaikun Han; Siwen Wei; Dingrui Xue; Yuqing Lin; Ke Li; Jiancheng Liu; Xingye Han; Gang Hou; Junxiong Ye; Kexin Wang (J. Supercomput., 2025)

Carbon nanotube identification model based on improved OTSU profile extraction method. - Gang Hou; Yinghua Lu; Zhiqiang Ma; Suhua Wang; Lizhu Chen (Signal Image Video Process., 2025)