Haiming Wang - RankMe

93 papers A* 8B 8C 8Journal 47Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Adaptive Super-Resolution Semantic Communication for Mobile AI-Generated Panoramic Video. INFOCOM WKSHPS Haixiao Gao, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu
2025	B	`conf`	Angular-Domain Signal Processing Methods in MIMO-OTFS System. WCNC Qiqing Chang, Jianfeng Wang, Haiming Wang
2025	A*	`conf`	CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search. ICLR Xiao-Wen Yang, Zhi Zhou, Haiming Wang, Aoxue Li, Wen-Da Wei, Hui Jin, Zhenguo Li, Yu-Feng Li
2025	J	`jnl`	CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. CoRR Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
2025	—	`conf`	Generative AI-Driven Cross-Modal Semantic Communication System for Visual Transmission. INFOCOM WKSHPS Zechuan Fang, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu
2025	J	`jnl`	Kimi Linear: An Expressive, Efficient Attention Architecture. CoRR Yu Zhang, Zongyu Lin, Xingcheng Yao, Jiaxi Hu, Fanqing Meng, Chengyin Liu, Xin Men, Songlin Yang, Zhiyuan Li, Wentao Li, Enzhe Lu, Weizhou Liu, Yanru Chen, Weixin Xu, Longhui Yu, Yejie Wang, Yu Fan, Longguang Zhong, Enming Yuan, Dehao Zhang, Yizhi Zhang, T. Y. Liu, Haiming Wang, Shengjun Fang, Weiran He, Shaowei Liu, Yiwei Li, Jianlin Su, Jiezhong Qiu, Bo Pang, Junjie Yan, Zhejun Jiang, Weixiao Huang, Bohong Yin, Jiacheng You, Chu Wei, Zhengtao Wang, Chao Hong, Yutian Chen, Guanduo Chen, Yucheng Wang, Huabin Zheng, Feng Wang, Yibo Liu, Mengnan Dong, Zheng Zhang, Siyuan Pan, Wenhao Wu, Yuhao Wu, Longyu Guan, Jiawen Tao, Guohong Fu, Xinran Xu, Yuzhi Wang, Guokun Lai, Yuxin Wu, Xinyu Zhou, Zhilin Yang, Yulun Du
2025	J	`jnl`	Kimina Lean Server: Technical Report. CoRR Marco Dos Santos, Haiming Wang, Hugues de Saxcé, Ran Wang, Mantas Baksys, Mert Unsal, Junqi Liu, Zhengying Liu, Jia Li
2025	J	`jnl`	Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. CoRR Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li
2025	J	`jnl`	LeanGeo: Formalizing Competitional Geometry problems in Lean. CoRR Chendong Song, Zihan Wang, Frederick Pu, Haiming Wang, Xiaohan Lin, Junqi Liu, Jia Li, Zhengying Liu
2025	J	`jnl`	Observer-based adaptive control for fractional-order strict-feedback nonlinear systems with state quantisation and input quantisation. Int. J. Syst. Sci. Chen Chen, Haiming Wang, Jinghao Li
2025	—	`conf`	Two-Phase Flow Measurement Model Of Coriolis Mass Flowmeter Based On Online Active Learning. I2MTC Jiawei Zhang, Lijun Sun, Haiming Wang, Xuan Zhuang
2025	—	`conf`	VQ-SDSC: Vector Quantized Satellite Digital Semantic Communication Framework. INFOCOM WKSHPS Jinghong Huang, Mengying Sun, Yuantao Zhang, Haiming Wang, Xiaodong Xu
2024	A*	`conf`	DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. ICLR Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang
2024	A*	`conf`	FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. NeurIPS Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
2024	J	`jnl`	FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving. CoRR Xiaohan Lin, Qingxing Cao, Yinya Huang, Haiming Wang, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang
2024	A*	`conf`	LEGO-Prover: Neural Theorem Proving with Growing Libraries. ICLR Haiming Wang, Huajian Xin, Chuanyang Zheng, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Xiaodan Liang
2024	J	`jnl`	Lyra: Orchestrating Dual Correction in Automated Theorem Proving. Trans. Mach. Learn. Res. Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
2024	A*	`conf`	MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. ICLR Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
2024	J	`jnl`	MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data. CoRR Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang
2024	J	`jnl`	Process-Driven Autoformalization in Lean 4. CoRR Jianqiao Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
2024	A*	`conf`	Proving Theorems Recursively. NeurIPS Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2024	J	`jnl`	Proving Theorems Recursively. CoRR Haiming Wang, Huajian Xin, Zhengying Liu, Wenda Li, Yinya Huang, Jianqiao Lu, Zhicheng Yang, Jing Tang, Jian Yin, Zhenguo Li, Xiaodan Liang
2023	J	`jnl`	DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning. CoRR Jing Xiong, Zixuan Li, Chuanyang Zheng, Zhijiang Guo, Yichun Yin, Enze Xie, Zhicheng Yang, Qingxing Cao, Haiming Wang, Xiongwei Han, Jing Tang, Chengming Li, Xiaodan Liang
2023	—	`conf`	DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function. ACL (1) Haiming Wang, Ye Yuan, Zhengying Liu, Jianhao Shen, Yichun Yin, Jing Xiong, Enze Xie, Han Shi, Yujun Li, Lin Li, Jian Yin, Zhenguo Li, Xiaodan Liang
2023	J	`jnl`	Ensemble-transfer-learning-based channel parameter prediction in asymmetric massive MIMO systems. Frontiers Inf. Technol. Electron. Eng. Zunwen He, Yue Li, Yan Zhang, Wancheng Zhang, Kaien Zhang, Liu Guo, Haiming Wang
2023	J	`jnl`	FIMO: A Challenge Formal Dataset for Automated Theorem Proving. CoRR Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu
2023	C	`conf`	Image Structural Similarity-Based Channel Similarity Analysis across Multiple Frequency Bands in the Office Campus Environment. ICCC Cheng Yi, Meng Zhao, Zhi Chen, Haiming Wang
2023	J	`jnl`	LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang
2023	—	`conf`	Long Short-Term Memory Fully Convolutional Network-Based Passing-Object Detection and Its Application to WLAN Sensing. ICCC Workshops Shaowei Zhang, Siyuan Shao, Haiming Wang, Nan Hu, Xiaodong Xu, Yan Li, Jingjing Chen
2023	J	`jnl`	Lyra: Orchestrating Dual Correction in Automated Theorem Proving. CoRR Chuanyang Zheng, Haiming Wang, Enze Xie, Zhengying Liu, Jiankai Sun, Huajian Xin, Jianhao Shen, Zhenguo Li, Yu Li
2023	—	`conf`	Making Watermark Survive Model Extraction Attacks in Graph Neural Networks. ICC Haiming Wang, Zhikun Zhang, Min Chen, Shibo He
2023	A*	`conf`	PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models. USENIX Security Symposium Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang
2023	A*	`conf`	TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. EMNLP Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2023	J	`jnl`	TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. CoRR Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
2022	C	`conf`	Machine-Learning-Assisted Scenario Classification Using Large-Scale Fading Characteristics and Geographic Information. ICCC Meng Zhao, Yiming Yu, Cheng Yi, Haiming Wang, Songtao Gao
2022	J	`jnl`	Motion planning in complex urban environments: An industrial application on autonomous last-mile delivery vehicles. J. Field Robotics Haiming Wang, Liangliang Zhang, Qi Kong, Weicheng Zhu, Jie Zheng, Li Zhuang, Xin Xu
2022	J	`jnl`	PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model. CoRR Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang
2022	J	`jnl`	VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center. Nucleic Acids Res. Beatrice Amos, Cristina Aurrecoechea, Matthieu Barba, Ana Barreto, Evelina Y. Basenko, Wojciech Bazant, Robert Belnap, Ann S. Blevins, Ulrike Böhme, John Brestelli, Brian P. Brunk, Mark J. Caddick, Danielle Callan, Lahcen I. Campbell, Mikkel B. Christensen, George K. Christophides, Kathryn Crouch, Kristina Davis, Jeremy D. DeBarry, Ryan Doherty, Yikun Duan, Michael Dunn, Dave Falke, Steve Fisher, Paul Flicek, Brett Fox, Bindu Gajria, Gloria I. Giraldo-Calderón, Omar S. Harb, Elizabeth Harper, Christiane Hertz-Fowler, Mark J. Hickman, Connor Howington, Sufen Hu, Jay C. Humphrey, John Iodice, Andrew R. Jones, John Judkins, Sarah A. Kelly, Jessica C. Kissinger, Dae Kun Kwon, Kristopher Lamoureux, Daniel Lawson, Wei Li, Kallie Lies, Disha Lodha, Jamie Long, Robert M. MacCallum, Gareth Maslen, Mary Ann McDowell, Jaroslaw Nabrzyski, David S. Roos, Samuel S. C. Rund, Stephanie wever Schulman, Achchuthan Shanmugasundram, Vasily Sitnik, Drew Spruill, David Starns, Christian J. Stoeckert Jr., Sheena Shah Tomko, Haiming Wang, Susanne Warrenfeltz, Robert Wieck, Paul A. Wilkinson, Lin Xu, Jie Zheng
2021	—	`conf`	A Novel Road Segment Representation Method for Travel Time Estimation. DASFAA (Workshops) Wei Liu, Jiayu He, Haiming Wang, Huaijie Zhu, Jian Yin
2021	J	`jnl`	Fault Recognition of Rolling Bearings Based on Parameter Optimized Multi-Scale Permutation Entropy and Gath-Geva. Entropy Haiming Wang, Qiang Li, Shaopu Yang, Yongqiang Liu
2021	J	`jnl`	High-throughput millimeter-wave wireless communications. Frontiers Inf. Technol. Electron. Eng. Wei Hong, Guangrong Yue, Xiaohu Ge, Haiming Wang
2021	—	`conf`	Multi-Task Learning with Personalized Transformer for Review Recommendation. WISE (2) Haiming Wang, Wei Liu, Jian Yin
2019	—	`conf`	Small Cell Deployment Based on Energy Efficiency in Heterogeneous Networks. CSPS Yinghui Zhang, Shuang Ning, Haiming Wang, Jing Gao, Yang Liu
2017	J	`jnl`	6-100 GHz research progress and challenges from a channel perspective for fifth generation (5G) and future wireless communication. Sci. China Inf. Sci. Jianhua Zhang, Pan Tang, Lei Tian, Zhixue Hu, Tan Wang, Haiming Wang
2017	J	`jnl`	An Operational Planning Framework for Large-Scale Thermostatically Controlled Load Dispatch. IEEE Trans. Ind. Informatics Fengji Luo, Zhao Yang Dong, Ke Meng, Junhao Wen, Haiming Wang, Junhua Zhao
2017	J	`jnl`	EuPathDB: the eukaryotic pathogen genomics database resource. Nucleic Acids Res. Cristina Aurrecoechea, Ana Barreto, Evelina Y. Basenko, John Brestelli, Brian P. Brunk, Shon Cade, Kathryn Crouch, Ryan Doherty, Dave Falke, Steve Fischer, Bindu Gajria, Omar S. Harb, Mark Heiges, Christiane Hertz-Fowler, Sufen Hu, John Iodice, Jessica C. Kissinger, Cris Lawrence, Wei Li, Deborah F. Pinney, Jane A. Pulman, David S. Roos, Achchuthan Shanmugasundram, Fatima Silva-Franco, Sascha Steinbiss, Christian J. Stoeckert Jr., Drew Spruill, Haiming Wang, Susanne Warrenfeltz, Jie Zheng
2017	C	`conf`	Hybrid recommendation model based on incremental collaborative filtering and content-based algorithms. CSCWD Haiming Wang, Peng Zhang, Tun Lu, Hansu Gu, Ning Gu
2017	J	`jnl`	Standards News. IEEE Commun. Stand. Mag. Mehmet Ulema, Giovanni Romano, Satoshi Nagata, Jacob John, Max Riegel, Andrew Myles, Haiming Wang, Osama Aboul-Magd, Edward Au, Minyoung Park, Nam Tuan Le, Marco Hernandez, Mung Lee, Volker Jungnickel, Thomas Kürner
2015	B	`conf`	45GHz propagation channel modeling for an indoor conference scenario. PIMRC Jianwu Dou, Li Tian, Haiming Wang, Xi Yuan, Nan Zhang, Suping Mei
2015	J	`jnl`	Dynamic Channel Modeling for an Indoor Scenario at 23.5 GHz. IEEE Access Nan Zhang, Jianwu Dou, Li Tian, Xi Yuan, Xiaoyi Yang, Suping Mei, Haiming Wang
2014	J	`jnl`	B-Spline-Decomposition-Based Approach to Multiaxis Trajectory Tracking: Nanomanipulation Example. IEEE Trans. Control. Syst. Technol. Haiming Wang, Qingze Zou
2014	J	`jnl`	OPT-Min-Min Scheduling Algorithm of Grid Resources. J. Softw. Lijun Cao, Xiyin Liu, Haiming Wang, Zhongping Zhang
2014	B	`conf`	Personalized Search: An Interactive and Iterative Approach. SERVICES Haiming Wang, Kenny Wong
2013	C	`conf`	B-spline-decomposition-based approach to multi-axis trajectory tracking: Nanomanipulation example. ACC Haiming Wang, Qingze Zou, Hongbing Xu
2013	J	`jnl`	EuPathDB: The Eukaryotic Pathogen database. Nucleic Acids Res. Cristina Aurrecoechea, Ana Barreto, John Brestelli, Brian P. Brunk, Shon Cade, Ryan Doherty, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Sufen Hu, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Deborah F. Pinney, Brian Pitts, David S. Roos, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Haiming Wang, Susanne Warrenfeltz
2013	—	`conf`	Game-Based Scheduling Algorithm to Achieve Optimize Profit in MapReduce Environment. ICIC (1) Cong Wan, Cuirong Wang, Ying Yuan, Haiming Wang
2013	J	`jnl`	Network Intrusion Detection based on GMKL Algorithm. J. Networks Yuxiang Li, Haiming Wang, Hongkui Yu, Changquan Ren, Qingjia Geng
2013	B	`conf`	Recommendation-Assisted Personal Web. SERVICES Haiming Wang, Kenny Wong
2013	—	`conf`	Utility-Driven Share Scheduling Algorithm in Hadoop. ISNN (2) Cong Wan, Cuirong Wang, Ying Yuan, Haiming Wang, Xin Song
2012	J	`jnl`	A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3D nanopositioning example. Autom. Yan Yan, Haiming Wang, Qingze Zou
2012	—	`conf`	Effective Interference Cancellation Mechanisms for D2D Communication in Multi-Cell Cellular Networks. VTC Spring Shaoyi Xu, Haiming Wang, Tao Chen
2012	J	`jnl`	GeneDB - an annotation database for pathogens. Nucleic Acids Res. Flora J. Logan-Klumpler, Nishadi De Silva, Ulrike Böhme, Matthew B. Rogers, Giles Velarde, Jacqueline A. McQuillan, Tim Carver, Martin Aslett, Christian Olsen, Sandhya Subramanian, Isabelle Phan, Carol Farris, Siddhartha Mitra, Gowthaman Ramasamy, Haiming Wang, Adrian Tivey, Andrew Jackson, Robin Houston, Julian Parkhill, Matthew T. G. Holden, Omar S. Harb, Brian P. Brunk, Peter J. Myler, David S. Roos, Mark Carrington, Deborah F. Smith, Christiane Hertz-Fowler, Matthew Berriman
2012	J	`jnl`	Inversion-based optimal output tracking-transition switching with preview for nonminimum-phase linear systems. Autom. Haiming Wang, Qingze Zou, Hongbing Xu
2012	J	`jnl`	New Construction Method and Low-Complexity Correlator for Binary Periodic Complementary Sequence Sets and Its Application to MIMO Channel Estimation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Haiming Wang
2012	C	`conf`	Output tracking with preview for nonminimum-phase linear systems based on B-splines decomposition. ACC Haiming Wang, Kyong-Soo Kim, Qingze Zou
2012	—	`conf`	Transmission mode selection and communication establishment in the hybrid device-to-device and cellular networks. ICUFN Shaoyi Xu, Haiming Wang
2011	J	`jnl`	AmoebaDB and MicrosporidiaDB: functional genomic resources for Amoebozoa and Microsporidia species. Nucleic Acids Res. Cristina Aurrecoechea, Ana Barreto, John Brestelli, Brian P. Brunk, Elisabet V. Caler, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Vishal Nayak, Cary Pennington, Deborah F. Pinney, Brian Pitts, David S. Roos, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Charles Treatman, Haiming Wang
2011	—	`conf`	Full Uplink Performance Evaluation of FDD/TDD LTE-Advanced Networks with Type-1 Relays. VTC Fall Wei Hong, Jing Han, Haiming Wang
2011	—	`conf`	UL Performance of Type-1 Relay Enhanced FDD LTE-A Networks with Unaligned Backhaul Subframes. VTC Spring Wei Hong, Jing Han, Haiming Wang
2010	C	`conf`	A decoupled inversion-based iterative control approach to multi-axis precision positioning: 3-d nanopositioning example. ACC Yan Yan, Haiming Wang, Qingze Zou
2010	J	`jnl`	EuPathDB: a portal to eukaryotic pathogen databases. Nucleic Acids Res. Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Ryan Thibodeau, Charles Treatman, Haiming Wang
2010	C	`conf`	Optimal output trajectory design and tracking in preview-based nonperiodic tracking-transition switching for nonminimum-phase linear systems. ACC Haiming Wang, Qingze Zou, Hongbing Xu
2010	J	`jnl`	TriTrypDB: a functional genomic resource for the Trypanosomatidae. Nucleic Acids Res. Martin Aslett, Cristina Aurrecoechea, Matthew Berriman, John Brestelli, Brian P. Brunk, Mark Carrington, Daniel P. Depledge, Steve Fischer, Bindu Gajria, Xin Gao, Malcolm J. Gardner, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Christiane Hertz-Fowler, Robin Houston, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, Flora J. Logan, John A. Miller, Siddhartha Mitra, Peter J. Myler, Vishal Nayak, Cary Pennington, Isabelle Phan, Deborah F. Pinney, Gowthaman Ramasamy, Matthew B. Rogers, David S. Roos, Chris Ross, Dhileep Sivam, Deborah F. Smith, Ganesh Srinivasamoorthy, Christian J. Stoeckert Jr., Sandhya Subramanian, Ryan Thibodeau, Adrian Tivey, Charles Treatman, Giles Velarde, Haiming Wang
2009	—	`conf`	Double Thresholds Based Cooperative Spectrum Sensing Against Untrusted Secondary Users in Cognitive Radio Networks. VTC Spring Shaoyi Xu, Yanlei Shang, Haiming Wang
2009	—	`conf`	Eigenvalues based spectrum sensing against untrusted users in cognitive radio networks. CrownCom Shaoyi Xu, Yanlei Shang, Haiming Wang
2009	J	`jnl`	GiardiaDB and TrichDB: integrated genomic resources for the eukaryotic protist pathogens Nucleic Acids Res. Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Jane M. Carlton, Jennifer Dommer, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Hilary G. Morrison, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Christian J. Stoeckert Jr., Steven Sullivan, Charles Treatman, Haiming Wang
2009	C	`conf`	High speed force-volume mapping using atomic force microscope. ACC Kyong-Soo Kim, Haiming Wang, Qingze Zou
2009	—	`conf`	Performance of TTI Bundling for VoIP In EUTRAN TDD Mode. VTC Spring Haiming Wang, Jing Han, Shaoyi Xu
2009	J	`jnl`	PlasmoDB: a functional genomic database for malaria parasites. Nucleic Acids Res. Cristina Aurrecoechea, John Brestelli, Brian P. Brunk, Jennifer Dommer, Steve Fischer, Bindu Gajria, Xin Gao, Alan R. Gingle, Gregory R. Grant, Omar S. Harb, Mark Heiges, Frank Innamorato, John Iodice, Jessica C. Kissinger, Eileen T. Kraemer, Wei Li, John A. Miller, Vishal Nayak, Cary Pennington, Deborah F. Pinney, David S. Roos, Chris Ross, Christian J. Stoeckert Jr., Charles Treatman, Haiming Wang
2009	B	`conf`	Principle and performance of TTI bundling for VoIP in LTE FDD mode. WCNC Jing Han, Haiming Wang
2009	J	`jnl`	SchistoDB: a Nucleic Acids Res. Adhemar Zerlotini, Mark Heiges, Haiming Wang, Romulo L. V. Moraes, Anderson J. Dominitini, Jerônimo C. Ruiz, Jessica C. Kissinger, Guilherme Oliveira
2008	—	`conf`	A Novel Bidirectional Resource Allocation to Decrease Signaling for Retransmission in LTE System. VTC Spring Haiming Wang, Dajie Jiang
2008	—	`conf`	Decision Support in Cancer Base on Fuzzy Adaptive PSO for Feedforward Neural Network Training. ISCSCT (1) Liman Zhang, Haiming Wang, Jinzhao Liang, Jianzhou Wang
2008	B	`conf`	Performance Comparison of Control-Less Scheduling Policies for VoIP in LTE UL. WCNC Haiming Wang, Dajie Jiang
2008	J	`jnl`	ToxoDB: an integrated Nucleic Acids Res. Bindu Gajria, Amit Bahl, John Brestelli, Jennifer Dommer, Steve Fischer, Xin Gao, Mark Heiges, John Iodice, Jessica C. Kissinger, Aaron J. Mackey, Deborah F. Pinney, David S. Roos, Christian J. Stoeckert Jr., Haiming Wang, Brian P. Brunk
2008	—	`conf`	Uplink VoIP Performance in E-UTRAN TDD Mode. VTC Spring Dajie Jiang, Haiming Wang, Xiangguang Che
2007	J	`jnl`	ApiDB: integrated resources for the apicomplexan bioinformatics resource center. Nucleic Acids Res. Cristina Aurrecoechea, Mark Heiges, Haiming Wang, Zhiming Wang, Steve Fischer, Philippa M. Rhodes, John A. Miller, Eileen T. Kraemer, Christian J. Stoeckert Jr., David S. Roos, Jessica C. Kissinger
2006	J	`jnl`	CryptoDB: a Nucleic Acids Res. Mark Heiges, Haiming Wang, Edward Robinson, Cristina Aurrecoechea, Xin Gao, Nivedita Kaluskar, Philippa M. Rhodes, Sammy Wang, Congzhou He, Yanqi Su, John A. Miller, Eileen T. Kraemer, Jessica C. Kissinger
2006	J	`jnl`	MAGIC-SPP: a database-driven DNA sequence processing package with associated management tools. BMC Bioinform. Chun Liang, Feng Sun, Haiming Wang, Junfeng Qu, Robert M. Freeman Jr., Lee H. Pratt, Marie-Michèle Cordonnier-Pratt
2006	B	`conf`	Performance Analysis for Papr Reduction by Stochastic HNN with Soft Decision Feedback. PIMRC Haiming Wang, Wujie Hu
2006	J	`jnl`	SynView: a GBrowse-compatible approach to visualizing comparative genome data. Bioinform. Haiming Wang, Yanqi Su, Aaron J. Mackey, Eileen T. Kraemer, Jessica C. Kissinger
2006	B	`conf`	The performance deterioration from nonlinear amplifier in NxDO system. IWCMC Xiaoyi Wang, Teng Yong, Haiming Wang
2003	J	`jnl`	A new approach for edge detection of noisy image based on CNN. Int. J. Circuit Theory Appl. Jianye Zhao, Haiming Wang, Daoheng Yu