Improving child literacy in Africa: Experiments with an automated reading tutor. - G. Ayorkor Mills-Tettey; Jack Mostow; M. Bernardine Dias; Tracy Morrison Sweet; Sarah Belousov; M. Frederick Dias; Haijun Gong (ICTD, 2009)

Computational Modeling and Verification of Signaling Pathways in Cancer. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (ANB, 2010)

Analysis and verification of the HMGB1 signaling pathway. - Haijun Gong; Paolo Zuliani; Anvesh Komuravelli; James R. Faeder; Edmund M. Clarke (BMC Bioinform., 2010)

Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. - Haijun Gong; Qinsi Wang; Paolo Zuliani; James R. Faeder; Michael Lotze (BICoB, 2011)

Formal analysis for logical models of pancreatic cancer. - Haijun Gong; Paolo Zuliani; Qinsi Wang; Edmund M. Clarke (CDC/ECC, 2011)

Analysis of intercellular signal transduction in the tumor microenvironment. - Haijun Gong (BMC Syst. Biol., 2013)

Probabilistic verification of ER stress-induced signaling pathways. - Haijun Gong; Lu Feng 004 (BIBM, 2014)

Computational analysis of the roles of ER-Golgi network in the cell cycle. - Haijun Gong; Lu Feng 004 (BMC Syst. Biol., 2014)

Pathway-gene identification for pancreatic cancer survival via doubly regularized Cox regression. - Haijun Gong; Tong Tong Wu; Edmund M. Clarke (BMC Syst. Biol., 2014)

Inference and Verification of Probabilistic Graphical Models from High-Dimensional Data. - Yinjiao Ma; Kevin Damazyn; Jakob Klinger; Haijun Gong (DILS, 2015)

Weighted gene coexpression network analysis of prostate cancer. - Yinjiao Ma; Lingling Zhang; Christian Geneus; Haijun Gong (ICCABS, 2015)

A novel procedure for statistical inference and verification of gene regulatory subnetwork. - Haijun Gong; Jakob Klinger; Kevin Damazyn; Xiangrui Li; Shiyang Huang (BMC Bioinform., 2015)

Statistical analysis and probabilistic verification of stress-induced signalling pathways. - Yinjiao Ma; Lu Feng 004; Yusong Guo; Haijun Gong (Int. J. Data Min. Bioinform., 2016)

A path planning algorithm for unmanned vehicles based on target-oriented rapidly-exploring random tree. - Haijun Gong; Chenkun Yin; Fang Zhang; Zhongsheng Hou; Ruikun Zhang (ASCC, 2017)

An Integrative Analysis of Time-varying Regulatory Networks From High-dimensional Data. - Zi Wang; Yun Guo; Haijun Gong (IEEE BigData, 2018)

LONGO: an R package for interactive gene length dependent analysis for neuronal identity. - Matthew J. McCoy; Alexander J. Paul; Matheus B. Victor; Michelle Richner; Harrison W. Gabel; Haijun Gong; Andrew S. Yoo; Tae-Hyuk Ahn (Bioinform., 2018)

Practical Evaluation of Different Omics Data Integration Methods. - WenJia Feng; Zekun Yu; Mingon Kang; Haijun Gong; Tae-Hyuk Ahn (Precision Health and Medicine, 2020)

Research on Continuous Dynamic Gesture Recognition of Chinese Sign Language Based on Multi-Mode Fusion. - Jinquan Li; Jiaojiao Meng; Haijun Gong; Zixuan Fan (IEEE Access, 2022)