Solving SAT by algorithm transform of Wu's method. - Simin He 001; Bo Zhang (J. Comput. Sci. Technol., 1999)

Real-time scheduling on scalable media stream delivery. - Kui Gao; Wen Gao 001; Simin He 001; Peng Gao; Yuan Zhang 014 (ISCAS (2), 2003)

Real-time scheduling supporting VCR functionality for scalable video streaming. - Kui Gao; Yuan Zhang 014; Wen Gao 001; Simin He 001 (PIMRC, 2003)

Multiscale load adaptive scheduling for energy efficient transmission over wireless networks. - Shutao Sun; Simin He 001; Wen Gao 001; Bin Pang 002 (PIMRC, 2003)

Real-time scheduling and online resource allocation on scalable streaming media server. - Kui Gao; Wen Gao 001; Simin He 001; Yuan Zhang 014 (VCIP, 2003)

Distributed load adaptive scheduling for high speed input queued switch. - Shutao Sun; Youjian Zhao; Simin He 001; Yanfeng Zheng; Wen Gao 001 (GLOBECOM, 2004)

Multiple-threshold based scheduling algorithm for high performance input queued switches. - Shutao Sun; Simin He 001; Yanfeng Zheng; Wen Gao 001 (ICON, 2004)

A Kernel-Based Case Retrieval Algorithm with Application to Bioinformatics. - Yan Fu; Qiang Yang 001; Charles X. Ling; Haipeng Wang; Dequan Li; Ruixiang Sun 001; Hu Zhou; Rong Zeng; Yiqiang Chen 001; Simin He 001; Wen Gao 001 (PRICAI, 2004)

Online smoothing for scalable media stream delivery. - Kui Gao; Wen Gao 001; Simin He 001; Yuan Zhang 014 (VCIP, 2004)

Real-time scheduling based on imprecise computation for scalable streaming media system over the Internet. - Kui Gao; Wen Gao 001; Simin He 001; Yuan Zhang 014 (Real Time Imaging, 2004)

A block-based support vector machine approach to the protein homology prediction task in KDD Cup 2004. - Yan Fu; Ruixiang Sun 001; Qiang Yang 001; Simin He 001; Chunli Wang; Haipeng Wang; Shiguang Shan; Junfa Liu; Wen Gao 001 (SIGKDD Explor., 2004)

Scheduling Algorithms for Input Queued Switches Using Local Search Technique. - Yanfeng Zheng; Simin He 001; Shutao Sun; Wen Gao 001 (ICN (1), 2005)

Parallelized scheduling algorithm for input queued switches using local search technique. - Yanfeng Zheng; Simin He 001; Shutao Sun; Wen Gao 001 (IPCCC, 2005)

Smooth switching problem in buffered crossbar switches. - Simin He 001; Shutao Sun; Wei Zhao; Yanfeng Zheng; Wen Gao 001 (SIGMETRICS, 2005)

pFind: a novel database-searching software system for automated peptide and protein identification via tandem mass spectrometry. - Dequan Li; Yan Fu; Ruixiang Sun 001; Charles X. Ling; Yonggang Wei; Hu Zhou; Rong Zeng; Qiang Yang 001; Simin He 001; Wen Gao 001 (Bioinform., 2005)

Real-time smoothing for network adaptive video streaming. - Kui Gao; Wen Gao 001; Simin He 001; Yuan Zhang 014 (J. Vis. Commun. Image Represent., 2005)

Predicting Molecular Formulas of Fragment Ions with Isotope Patterns in Tandem Mass Spectra. - Jingfen Zhang; Wen Gao 001; Jinjin Cai; Simin He 001; Rong Zeng; Runsheng Chen (IEEE ACM Trans. Comput. Biol. Bioinform., 2005)

Switch Simulations Based on Workload Pattern Generation and Smoothed Periodic Input. - Qiang Zheng; Simin He 001; Shutao Sun; Yanfeng Zheng; Wen Gao 001 (ICCCN, 2006)

An SVM Scorer for More Sensitive and Reliable Peptide Identification via Tandem Mass Spectrometry. - Haipeng Wang; Yan Fu; Ruixiang Sun 001; Simin He 001; Rong Zeng; Wen Gao 001 (Pacific Symposium on Biocomputing, 2006)

IndexToolkit: an open source toolbox to index protein databases for high-throughput proteomics. - Dequan Li; Wen Gao 001; Charles X. Ling; Xiaobiao Wang; Ruixiang Sun 001; Simin He 001 (Bioinform., 2006)

Throughput analysis of a buffered crossbar switch with multiple input queues under burst traffic. - Shutao Sun; Simin He 001; Wen Gao 001 (IEEE Commun. Lett., 2006)

A Flexible Stem-Based Local Search Algorithm for Predicting RNA Secondary Structures Including Pseudoknots. - Xiang Chen; Simin He 001; Dongbo Bu; Runsheng Chen; Wen Gao 001 (BIBE, 2007)

Practical Algorithms of Bandwidth Regulation for Rate-Based Switching. - Yi Wang 014; Simin He 001; Youjian Zhao; Qiang Zheng; Wen Gao 001 (GLOBECOM, 2007)

Mining Tandem Mass Spectral Data to Develop a More Accurate Mass Error Model for Peptide Identification. - Yan Fu; Wen Gao 001; Simin He 001; Ruixiang Sun 001; Hu Zhou; Rong Zeng (Pacific Symposium on Biocomputing, 2007)

FlexStem: improving predictions of RNA secondary structures with pseudoknots by reducing the search space. - Xiang Chen; Simin He 001; Dongbo Bu; Fa Zhang; Zhiyong Wang; Runsheng Chen; Wen Gao 001 (Bioinform., 2008)

On guaranteed smooth switching for buffered crossbar switches. - Simin He 001; Shutao Sun; Hong-Tao Guan; Qiang Zheng; Youjian Zhao; Wen Gao 001 (IEEE/ACM Trans. Netw., 2008)

Efficient discovery of abundant post-translational modifications and spectral pairs using peptide mass and retention time differences. - Yan Fu; Wei Jia 001; Zhuang Lu; Haipeng Wang; Zuofei Yuan; Hao Chi; You Li; Liyun Xiu; Wenping Wang; Chao Liu; Leheng Wang; Ruixiang Sun 001; et al. (BMC Bioinform., 2009)

Open MS/MS spectral library search to identify unanticipated post-translational modifications and increase spectral identification rate. - Ding Ye; Yan Fu; Ruixiang Sun 001; Haipeng Wang; Zuofei Yuan; Hao Chi; Si-Min He 001 (Bioinform., 2010)

Speeding up tandem mass spectrometry-based database searching by longest common prefix. - Chen Zhou; Hao Chi; Leheng Wang; You Li; Yan-Jie Wu; Yan Fu; Ruixiang Sun 001; Si-Min He 001 (BMC Bioinform., 2010)

Preliminary Search Engine for Open Protein Identification. - Wenli Zhang; Hao Chi; Yuanzheng Lu; Yuqing Huang; Xiaofang Zhao; Simin He 001 (PDCAT, 2012)

A note on the false discovery rate of novel peptides in proteogenomics. - Kun Zhang; Yan Fu; Wen-Feng Zeng; Kun He; Hao Chi; Chao Liu; Yan-Chang Li; Yuan Gao; Ping Xu; Si-Min He 001 (Bioinform., 2015)

pNovo 3: precise de novo peptide sequencing using a learning-to-rank framework. - Hao Yang; Hao Chi; Wen-Feng Zeng; Wen-Jing Zhou; Si-Min He 001 (Bioinform., 2019)