Wanli Ma - RankMe

32 papers A* 2A 1C 1Journal 14Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	M2F: Automated Formalization of Mathematical Literature at Scale. CoRR Zichen Wang, Wanli Ma, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen
2026	A*	`conf`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. AAAI Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2026	J	`jnl`	Self-Sustainable IRS-Aided SWIPT: Beamforming Design and Resource Allocation. IEEE Trans. Commun. Wanli Ma, Xiaokai Song, Yanlong Zhao, Zhendong Yin, Beixiong Zheng, Jie Tang, Zhutian Yang
2026	J	`jnl`	Weighted Sum Power Maximization for Self-Sustainable RIS-Assisted SWIPT. IEEE Wirel. Commun. Lett. Wanli Ma, Xiaokai Song, Yanlong Zhao, Zhendong Yin, Beixiong Zheng, Jie Tang, Zhutian Yang
2025	A*	`conf`	Relation Also Knows: Rethinking the Recall and Editing of Factual Associations in Auto-Regressive Transformer Language Models. AAAI Xiyu Liu, Zhengxiao Liu, Naibin Gu, Zheng Lin, Wanli Ma, Ji Xiang, Weiping Wang
2025	J	`jnl`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. CoRR Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2025	—	`conf`	VQualA 2025 Challenge on GenAI-Bench AIGC Video Quality Assessment: Methods and Results. ICCVW Ying Chen, Huasheng Wang, Pengxiang Xiao, Yukang Ding, Enpeng Liu, Chris Wei Zhou, Baojun Li, Jiamian Huang, Jiarui Wang, Xiaorong Zhu, Juntong Wang, Huiyu Duan, Xiongkuo Min, Qiang Hu, Chunlei Cai, Guangtao Zhai, Baihong Qian, Haotian Fan, Wenjie Liao, Yunqiu Wang, Tao Li, Junuhi Cui, Zhichao Zhang, Xinyue Li, Yunhao Li, Xiaohong Liu, Weixia Zhang, Bingkun Zheng, Wei Sun, Zhihua Wang, Longwei Li, Jinyu Zhao, Xincheng Lv, Yang Cai, Fangfang Lu, Ritik Bompilwar, Saurabh Koshatwar, Weifeng Cai, Guangqian Kong, Junfeng Yang, Jing Fu, Wei Zhang, Wenzhi Cao, Limei Liu, Qin Li, Wanli Ma, Yixiao Li, Xiaoshuai Hao
2025	—	`conf`	Weighted Sum Rate Maximization for Self-Sustainable IRS-Aided SWIPT. VTC2025-Fall Wanli Ma, Xiaokai Song, Yanlong Zhao, Zhendong Yin, Beixiong Zheng, Jie Tang, Zhutian Yang
2024	—	`conf`	Conceptualising People, Process, Technology, Data, Governance and Continuous Improvement (2PTDGC) as a Framework to Explore the Cybersecurity Awareness and Process of Australian Medical Practices. ACIS Dany Duong, Hamed Sarbazhosseini, Mohammad Abu Alsheikh, Wanli Ma
2024	J	`jnl`	EAIS-Former: An efficient and accurate image segmentation method for fruit leaf diseases. Comput. Electron. Agric. Jiangwen Lu, Bibo Lu, Wanli Ma, Yang Sun
2024	—	`conf`	Joint Beamforming and Location Optimization for UAV-IRS Enhanced Cell-Free Network. VTC Spring Xiaokai Song, Wanli Ma, Jie Tang, Zhutian Yang, Zhendong Yin, Zhilu Wu
2024	J	`jnl`	Relation Also Knows: Rethinking the Recall and Editing of Factual Associations in Auto-Regressive Transformer Language Models. CoRR Xiyu Liu, Zhengxiao Liu, Naibin Gu, Zheng Lin, Wanli Ma, Ji Xiang, Weiping Wang
2024	J	`jnl`	Understanding Auditory Evoked Brain Signal via Physics-informed Embedding Network with Multi-Task Transformer. CoRR Wanli Ma, Xuegang Tang, Jin Gu, Ying Wang, Yuling Xia
2023	J	`jnl`	A novel approach for apple leaf disease image segmentation in complex scenes based on two-stage DeepLabv3+ with adaptive loss. Comput. Electron. Agric. Shisong Zhu, Wanli Ma, Jiangwen Lu, Bo Ren, Chunyang Wang, Jianlong Wang
2022	J	`jnl`	Corrigendum to "Research on regional differences and influencing factors of green technology innovation efficiency of China's high-tech industry" [J. Comput. Appl. Math. 369 (2020) 112597]. J. Comput. Appl. Math. Yanwei Lyu, Chunyang Liu, Xingyu Gao, Yang Liu, Wanli Ma, Xiangtuo Chen
2022	J	`jnl`	IoT Equipment Monitoring System Based on C5.0 Decision Tree and Time-Series Analysis. IEEE Access Biaokai Zhu, Xinyi Hou, Sanman Liu, Wanli Ma, Meiya Dong, Haibin Wen, Qing Wei, Sixuan Du, Yufeng Zhang
2020	—	`conf`	A Sparse Learning Based Detector with Enhanced Mismatched Signals Rejection Capabilities. SAM Sudan Han, Luca Pallotta, Gaetano Giunta, Wanli Ma, Danilo Orlando
2020	—	`conf`	Attribute Revocable Data Sharing Scheme Based on Blockchain and CP-ABE. CSAE Wanli Ma, Junwei Ma, Qi Zhang, Honglin Xue, Yang Li, Xiaoyan Dang, Min Zhao, Jianliang Zhang, Chao Han, Jian Wu
2020	—	`conf`	Light Weight Automatic Modulation Classification for Edge Devices in Spectrum Sensing Wireless Networks. WCSP Wanli Ma, Bo Zhang, Yuli Zhang, Sudan Han, Jianchao Zheng, Jinlin Peng, Yuhua Tang
2020	J	`jnl`	Research on regional differences and influencing factors of green technology innovation efficiency of China's high-tech industry. J. Comput. Appl. Math. Chunyang Liu, Xingyu Gao, Wanli Ma, Xiangtuo Chen
2016	J	`jnl`	High-Frequency and ETP-Efficient Range-Matching Scheme. Circuits Syst. Signal Process. Jianwei Zhang, Cunlu Yin, Guoqiang Wu, Shanxing Zheng, Qiuhong Ding, Fei Teng, Wanli Ma, Xiaoming Chen, Zhenan Tang, Xiaogan Li
2016	J	`jnl`	Learning Concept Graphs from Online Educational Data. J. Artif. Intell. Res. Hanxiao Liu, Wanli Ma, Yiming Yang, Jaime G. Carbonell
2015	—	`conf`	A Locality Preserving Approach for Kernel PCA. ICIG (1) Yin Zheng, Bin Shen, Xiaofeng Yang, Wanli Ma, Bao-Di Liu, Yu-Jin Zhang
2015	A	`conf`	Concept Graph Learning from Educational Data. WSDM Yiming Yang, Hanxiao Liu, Jaime G. Carbonell, Wanli Ma
2015	J	`jnl`	Efficient Structured Matrix Rank Minimization. CoRR Adams Wei Yu, Wanli Ma, Yaoliang Yu, Jaime G. Carbonell, Suvrit Sra
2014	—	`conf`	Efficient Structured Matrix Rank Minimization. NIPS Adams Wei Yu, Wanli Ma, Yaoliang Yu, Jaime G. Carbonell, Suvrit Sra
2012	C	`conf`	A hierarchical geostatistical model of walking style variety. INDIN Jun Wang, Chongzhao Han, Wanli Ma, Yonggang Hu
2011	—	`conf`	Concentration Distribution of PAHs in the Filter and Foam from the Air. ICDMA Xiaozhen Liu, Yue Liang, Yuehua Wang, Yifan Li, Wanli Ma
2010	—	`conf`	Modeling Style and Variation in Human Motion. Symposium on Computer Animation Wanli Ma, Shihong Xia, Jessica K. Hodgins, Xiao Yang, Chunpeng Li, Zhaoqi Wang
1996	—	`conf`	Programming with transactions and chemical abstract machine. ISPAN Wanli Ma, C. W. Johnson, Richard P. Brent
1994	—	`conf`	An Overview of Temporal and Modal Logic Programming. ICTL Mehmet A. Orgun, Wanli Ma
1994	—	`conf`	Graphical Assistance in Parallel Program Development. VL Kang Zhang, Wanli Ma