Meihua Liu

According to our database, Meihua Liu authored at least 11 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Accelerating hardware formal verification via AutoML-driven SMT runtime prediction and solver selection.

Wenda Leng, Meihua Liu, Yufeng Jin

Integr., 2026

SVVHD: An Open-Source and Self-Verified Benchmark Framework for LLM Evaluation in VHDL Code Generation.

Jiayi Zhang, Yan Huang, Jiale Chen, Meihua Liu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

VERIMLA: A Unified Framework for Verilog Generation via Multi-Level Alignment and Formal Equivalence Verification.

Wing W. Y. Ng, Jiale Chen, Jiayi Zhang, Wen Li, Meihua Liu

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

2025

Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification.

Wenda Leng, Meihua Liu, Yufeng Jin

Proceedings of the Theoretical Aspects of Software Engineering, 2025

Image Retargeting based on Text Region Awareness.

Gang Pan, Meihua Liu, Lei Zhou, Jiahao Wang, Di Sun

Proceedings of the 33rd ACM International Conference on Multimedia, 2025

2021

Fairness-Aware Resource Allocation in Full-Duplex Backscatter-Assisted Wireless Powered Communication Networks.

Rui Jiang, Meihua Liu, Xiaoming Wang, Youyun Xu

Wirel. Commun. Mob. Comput., 2021

2020

Technological impact on language anxiety dynamic.

Li Xiangming, Meihua Liu, Chengping Zhang

Comput. Educ., 2020

Dual-Hop Wireless Powered Communication Networks Assisted by Backscatter.

Meihua Liu, Rui Jiang, Youyun Xu

Proceedings of the International Conference on Computing, Networking and Communications, 2020

2019

Exploiting Routing Strategy of DTN for Message Forwarding in Information Hiding Applications.

Shuangkui Xia, Meihua Liu, Xinchen Zhang, Hong Sun, Mao Tian

Int. J. Digit. Crime Forensics, 2019

An Efficient Social-Aware Routing Strategy in Mobile Social Networks.

Meihua Liu, Xinchen Zhang, Shuangkui Xia, Jianbin Wu, Xiaoli Chen, Mao Tian

Proceedings of the Artificial Intelligence and Security - 5th International Conference, 2019

2011

Reconstruction of Interchangeability and Measurement Technology Curriculum System in Higher Engineering Education.

Meihua Liu, Lili Guo, Dongai Wang

Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011