Demo Data from EDBT 2026 / reviewers in the wild / expert
Meihua Liu
dblp:34/10205
· DBLP profile ↗
6ranked-venue papers
0as first author
6since 2021 · last 2026
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 3 since 2021Computer networks · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer graphics and multimedia
1 paper |
Image and video processing · 67% Visual content generation and editing · 33% | |
| Artificial intelligence
1 paper |
Information extraction and text analysis · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Visual content generation and editing
image retargeting |
0.9 | 1 | 2025 | Image Retargeting based on Text Region Awareness · ACM Multimedia 2025 |
Image and video processing
image segmentation |
0.9 | 1 | 2025 | Image Retargeting based on Text Region Awareness · ACM Multimedia 2025 |
Image and video processing › image segmentation
semantic segmentation |
0.9 | 1 | 2025 | Image Retargeting based on Text Region Awareness · ACM Multimedia 2025 |
Natural language and speech › Information extraction and text analysis
text segmentation |
0.3 | 1 | 2025 | Image Retargeting based on Text Region Awareness · ACM Multimedia 2025 |
Methods — techniques the papers use, named apart from their topics
unsupervised learning · 1.7cycle consistency · 1.7attention mechanism · 1.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | VERIMLA: A Unified Framework for Verilog Generation via Multi-Level Alignment and Formal Equivalence Verification
Wing W. Y. Ng, Wen Li 0015, Meihua Liu |
ISCAS | 5 |
| 2026 | SVVHD: An Open-Source and Self-Verified Benchmark Framework for LLM Evaluation in VHDL Code Generation
Yan Huang 0031, Meihua Liu |
ISCAS | 4 |
| 2026 | Accelerating hardware formal verification via AutoML-driven SMT runtime prediction and solver selection
Wenda Leng, Meihua Liu, Yufeng Jin |
Integr. | 2 |
| 2025 | Image Retargeting based on Text Region AwarenessabstractImage retargeting (IR) with text regions is a challenging yet underexplored task that focuses on resizing an image's aspect ratio while preserving both semantic objects and the legibility of textual content. This task introduces three primary challenges, which can be summarized as follows: (1) the distinct probability distributions between text and non-text regions in images; (2) the lack of dedicated mechanisms in existing IR methods for handling text regions, often leading to text distortion or blurring; (3) the absence of paired datasets specifically designed for IR tasks involving text regions. To tackle these challenges, we propose SSIR, a unified framework that reformulates IR as a joint Semantic Segmentation and Image Retargeting (SS-IR) task, leveraging an attention mechanism to bridge these components. Specifically, we first employ a semantic segmentation sub-network that extracts text region features using text segmentation techniques to improve text-awareness in retargeting tasks. Then, we integrate text features into the image's visual representation through an attention-driven module designed to preserve both textual and semantic content during retargeting. Finally, we address the absence of paired datasets with an unsupervised learning paradigm based on a Cycle-IR framework, which employs cyclic consistency reconstruction, enabling effective learning without the need for paired training data. Experimental results show that the SSIR algorithm effectively preserves text information and delivers high-quality visual retargeting results. Gang Pan 0002, Meihua Liu, Lei Zhou 0031, Di Sun 0001 |
ACM Multimedia | 2 |
| 2025 | Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification
Wenda Leng, Meihua Liu, Yufeng Jin |
TASE | 2 |
| 2021 | Fairness-Aware Resource Allocation in Full-Duplex Backscatter-Assisted Wireless Powered Communication NetworksabstractIn this paper, we introduce a full‐duplex backscatter‐assisted wireless powered communication network (FDBA‐WPCN) with a full‐duplex access point (FAP) and multiple energy harvesting wireless devices (WDs). The communication mode is a combination of backscatter communication (BC) and harvest‐then‐transmit (HTT). The entire time period of network is divided into energy harvesting/backscattering (EHB) period and information transmission (IT) period. In the EHB period, each WD either reflects information to the FAP by backscatter or harvests energy to prepare for the IT period. In the IT period, the WDs use their harvested energy to transmit information to FAP in time division multiple access (TDMA). However, under the setting, WDs with different distances from FAP will encounter unfairness in throughput due to the round‐trip path loss in backscatter and the doubly near‐far problem in HTT. To overcome the drawback, an optimization problem is considered to maximize the sum throughput under the condition of ensuring throughput fairness. By using convex optimization techniques, we obtain the optimal time allocation and the maximum same throughput of each WD. Comparing to the other two benchmark schemes, the simulation results prove the superiority of our proposed method. Rui Jiang 0007, Meihua Liu, Xiaoming Wang 0011, Youyun Xu |
Wirel. Commun. Mob. Comput. | 2 |