Yi Lv

82 papers A* 1B 12C 6Misc 4Journal 34Unranked 25
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects.
CoRR
Chao Wang, Ruijia Li, Yang Zhou, Peng Wu, Yi Lv, Jianwei Liao, Jim Woodcock, Zhiming Liu
2026 J jnl
Decidability of Liveness on the TSO Memory Model.
Formal Aspects Comput.
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Xinhang Song, Zhiming Liu
2026 J jnl
Feature selection algorithm based on ant colony optimization and mutual information.
Clust. Comput.
Xiangyuan Gu, Xiaoming Li, Wenjun Ke, Zhongsong Wang, Yi Lv
2026 J jnl
Robust Joint Design for RIS-Assisted Integrated Over-the-Air Computation and NOMA Communication Systems With Imperfect CSI.
IEEE Wirel. Commun. Lett.
Jiashuo Sun, Changjie Hu, Quanzhong Li, Qi Zhang, Yi Lv
2025 B conf
Checking Linearizability of Multi-core Task Management and Scheduling System.
ICECCS
Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv
2025 J jnl
Dimensionality reduction algorithm of spatial-domain steganalytic features based on PCA and equal interval division.
Multim. Tools Appl.
Xiangyuan Gu, Xiaoming Li, Zhuanghua Liu, Yi Lv
2025 J jnl
Joint Optimization for an Integrated Over-the-Air Computation and NOMA Communication System With MIMO Two-Way Relay Assistance.
IEEE Wirel. Commun. Lett.
Jiashuo Sun, Changjie Hu, Quanzhong Li, Qi Zhang, Yi Lv
2025 J jnl
Learning global dependencies via parallelized graph transformer with hybrid attention.
Knowl. Based Syst.
Yutai Duan, Jie Liu, Xingyang He, Yi Lv
2025 J jnl
Quantum circuit implementation for $\mathbb {F}_{2^8}$ multiplication based on algebraic curve method.
Quantum Inf. Process.
Haoyu Liao, Qingbin Luo, Yuanmeng Zheng, Yi Lv, Lang Ding
2024 J jnl
Beamforming prediction based on the multireward DQN framework for UAV-RIS-assisted THz communication systems.
Sci. China Inf. Sci.
Yuewei Wu, Peng Xu, Yi Lv, Dongming Wang, Feifei Gao, Jiangzhou Wang
2024 — conf
Chinese Paper-cutting Inspired Topological Flexible Piezoresistive Pressure Sensor for Wearable Health Monitoring.
IEEE SENSORS
Lukang Wang, Jinjin Cao, Ming Liu, Yi Lv
2024 J jnl
Image Captioning Based on Semantic Scenes.
Entropy
Fengzhi Zhao, Zhezhou Yu, Tao Wang, Yi Lv
2024 J jnl
On the Design and Performance of QRD-Based Beamforming Feedback for Wi-Fi Sensing.
IEEE Trans. Wirel. Commun.
Yihang Jiang, Yi Gong, Yuan Zeng, Yi Lv, Tony Xiao Han, Rentian Ding, Rui Du
2024 J jnl
Quantum circuit implementations of lightweight authenticated encryption ASCON.
J. Supercomput.
Yuanmeng Zheng, Qingbin Luo, Qiang Li, Yi Lv
2024 Misc conf
Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
SETTA
Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
2023 — conf
A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery.
ISBI
Yi Lv, Weibin Liao, Wenjin Liu, Zhensen Chen, Xuesong Li
2023 B conf
Hybrid Worker Selection for Task Coverage Maximization in Mobile Crowdsensing.
WCNC
Yi Lv, Xin Chen, Peng He, Yaping Cui, Ruyan Wang, Dapeng Wu
2023 — conf
MCRLe: Multi-Modal Contrastive Representation Learning For Stroke Onset Time Diagnosis.
ISBI
Weibin Liao, Peirong Jiang, Yi Lv, Yunjing Xue, Zhensen Chen, Xuesong Li
2023 — conf
MFR-Net: Multi-Scale Feature Representation Module for 3D Cerebrovascular Segmentation.
ISBI
Yi Lv, Weibin Liao, Zhensen Chen, Xuesong Li
2023 C conf
Online Resource Scheduling Mechanism for Quality of Service Assurance in Intelligent Medical.
HealthCom
Hong Zhang, Yuxin Liao, Lingtong Ma, Yi Lv, Jun Luo
2023 C conf
Personalized-Enhanced Federated Learning on Heterogeneous Internet of Medical Things.
HealthCom
Yi Lv, Lichen Yan, Puning Zhang, Di Hu, Shuman Shao
2023 J jnl
Ultra-Short Wave Communication Squelch Algorithm Based on Deep Neural Network.
Big Data Min. Anal.
Yuanxin Xiang, Yi Lv, Wenqiang Lei, Jiancheng Lv
2023 Misc conf
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.
TASE
Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang
2022 J jnl
A human hybrid tracking and localization method for mixed reality simulation of complex system.
Int. J. Model. Simul. Sci. Comput.
Yufen Wu, Yi Lv, Dawei Wang, Yang Xue, Shuhong Xu
2022 J jnl
A mixed reality simulation evaluation method for complex system.
Int. J. Model. Simul. Sci. Comput.
Lijun Wang, Yang Xue, Yi Lv, Yufen Wu, Dawei Wang, Shuhong Xu
2022 — conf
Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs.
FLARE@MICCAI
Yi Lv, Yu Ning, Junchen Wang
2022 B conf
Compositional Verification of Interacting Systems Using Event Monads.
ITP
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia
2022 Misc conf
Decidability of Liveness for Concurrent Objects on the TSO Memory Model.
SETTA
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2022 J jnl
On the Design of Beamforming Feedback for Wi-Fi Sensing.
IEEE Wirel. Commun. Lett.
Yihang Jiang, Xiang Zhu, Rui Du, Yi Lv, Tony Xiao Han, David Xun Yang, Yun Zhang, Yang Li, Yi Gong
2022 J jnl
Post-silicon nano-electronic device and its application in brain-inspired chips.
Frontiers Neurorobotics
Yi Lv, Houpeng Chen, Qian Wang, Xi Li, Chenchen Xie, Zhitang Song
2022 J jnl
Self-Powered and Autonomous Vibrational Wake-Up System Based on Triboelectric Nanogenerators and MEMS Switch.
Sensors
Yuan Lin, Youchao Qi, Jiaqi Wang, Guoxu Liu, Zhaozheng Wang, Junqing Zhao, Yi Lv, Zhi Zhang, Ning Tian, Mengbi Wang, Yuanfen Chen, Chi Zhang
2022 J jnl
Silicon Modeling of Spiking Neurons With Diverse Dynamic Behaviors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Shenglan Ni, Houpeng Chen, Xi Li, Yu Lei, Qian Wang, Yi Lv, Guangming Zhang, Sannian Song, Zhitang Song
2021 J jnl
A New Measure of Pulse Rate Variability and Detection of Atrial Fibrillation Based on Improved Time Synchronous Averaging.
Comput. Math. Methods Medicine
Xiaodong Ding, Yiqin Wang, Yiming Hao, Yi Lv, Rui Chen, Haixia Yan
2021 J jnl
An Ultra-Low Quiescent Current Resistor-Less Power on Reset Circuit.
IEEE Trans. Circuits Syst. II Express Briefs
Jiashu Guo, Houpeng Chen, Yu Lei, Xi Li, Qian Wang, Chenchen Xie, Jie Miao, Yi Lv, Weili Liu, Zhitang Song
2021 J jnl
Decidability of Liveness on the TSO Memory Model.
CoRR
Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu
2021 J jnl
Fully automated segmentation in temporal bone CT with neural network: a preliminary assessment study.
BMC Medical Imaging
Jiang Wang, Yi Lv, Junchen Wang, Furong Ma, Yali Du, Xin Fan, Menglin Wang, Jia Ke
2021 — conf
Fuzzy Evaluation System for Innovation Ability of Science and Technology Enterprises.
KMO
Wenpei Shao, Xiangyang Feng, Ming Zhu, Ran Tao, Yi Lv, Youqun Shi
2021 J jnl
Security analysis method for practical quantum key distribution with arbitrary encoding schemes.
CoRR
Zehong Chang, Fumin Wang, Xiaoli Wang, Xiaofei Liu, Rongqian Wu, Yi Lv, Pei Zhang
2021 J jnl
Service-Oriented Real-Time Smart Job Shop Symmetric CPS Based on Edge Computing.
Symmetry
Chuang Wang, Yi Lv, Qiang Wang, Dongyu Yang, Guanghui Zhou
2021 — conf
Signal Processing of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels.
ICC Workshops
Yi Lv, Rui Ni, Qian Zhu, Mérouane Debbah
2021 — conf
Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net.
KiTS@MICCAI
Yi Lv, Junchen Wang
2021 — conf
Transmission Performance Guaranteed Task Distribution Strategy in Mobile Crowdsensing.
VTC Spring
Yi Lv, Yan Wang, Yaping Cui, Peng He, Dapeng Wu, Ruyan Wang
2020 — conf
3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge.
CADA@MICCAI
Ziyu Su, Yizhuan Jia, Weibin Liao, Yi Lv, Jiaqi Dou, Zhongwei Sun, Xuesong Li
2020 J jnl
BIST-Based Fault Diagnosis for PCM With Enhanced Test Scheme and Fault-Free Region Finding Algorithm.
IEEE Trans. Very Large Scale Integr. Syst.
Chenchen Xie, Xi Li, Yu Lei, Houpeng Chen, Qian Wang, Jiashu Guo, Jie Miao, Yi Lv, Zhitang Song
2020 B conf
Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels.
GLOBECOM
Rui Ni, Yi Lv, Qian Zhu, Guangjian Wang, Gaoning He, Mérouane Debbah
2020 — conf
Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet.
CADA@MICCAI
Yizhuan Jia, Weibin Liao, Yi Lv, Ziyu Su, Jiaqi Dou, Zhongwei Sun, Xuesong Li
2020 — conf
Electromagnetic Field Fingerprint Method for Circularly Polarized OAM.
ICC Workshops
Rui Ni, Yi Lv, Qian Zhu, Mérouane Debbah
2020 J jnl
Fast Searching Density Peak Clustering Algorithm Based on Shared Nearest Neighbor and Adaptive Clustering Center.
Symmetry
Yi Lv, Mandan Liu, Yue Xiang
2020 — conf
Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure.
SocialSec
Yi Lv
2019 — conf
A Web Based Security Monitoring and Information Management System for Nursing Homes.
ICIRA (3)
Ying Li, Ying Xu, Yi Lv, Junchen Wang
2019 — conf
Att-ConvLSTM: PM2.5 Prediction Model and Application.
ICNC-FSKD
Zhe Xu, Yi Lv
2019 — conf
Deep convolutional network based on rank learning for OCT retinal images quality assessment.
Biomedical Applications in Molecular, Structural, and Functional Imaging
Jia Yang Wang, Lei Zhang, Min Zhang, Jun Feng, Yi Lv
2019 — conf
Deep residual-network-based quality assessment for SD-OCT retinal images: preliminary study.
Image Perception, Observer Performance, and Technology Assessment
Min Zhang, Jia Yang Wang, Lei Zhang, Jun Feng, Yi Lv
2019 J jnl
Near-threshold SIDO DC-DC converter with a high-precision ZCD for phase change memory chip.
IEICE Electron. Express
Jie Miao, Houpeng Chen, Yu Lei, Yi Lv, Weili Liu, Zhitang Song
2019 — conf
Pancreas Segmentation in Abdominal CT Scans using Inter-/Intra-Slice Contextual Information with a Cascade Neural Network.
EMBC
Zhengzheng Yang, Lei Zhang, Min Zhang, Jun Feng, Zheng Wu, Fenggang Ren, Yi Lv
2019 — conf
Running guide: design of a marathon navigation system for visually impaired people.
CCHI
Yancong Zhu, Cong Wang, Wei Liu, Yi Lv
2018 J jnl
An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log.
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
2018 J jnl
Decidability of linearizabilities for relaxed data structures.
Sci. China Inf. Sci.
Chao Wang, Yi Lv, Peng Wu
2018 J jnl
TSO-to-TSO linearizability is undecidable.
Acta Informatica
Chao Wang, Yi Lv, Peng Wu
2017 B conf
Decomposable Relaxation for Concurrent Data Structures.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2017 B conf
Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks.
ICCCN
Yu Xiong, Jin Shi, Yi Lv, George N. Rouskas
2016 C conf
A novel approach to parameterized verification of cache coherence protocols.
ICCD
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
2016 J jnl
An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data.
Sensors
Shijie Liu, Yi Lv, Xiaohua Tong, Huan Xie, Jun Liu, Lei Chen
2016 B conf
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
ICECCS
Wei Ji, Farn Wang, Peng Wu, Yi Lv
2016 B conf
Bounded TSO-to-SC Linearizability Is Decidable.
SOFSEM
Chao Wang, Yi Lv, Peng Wu
2016 — conf
Temperature modeling and control of 5kW proton exchange membrane fuel cell system.
ICIA
Pengliang Tang, Zhidong Qi, Qian Ma, Yi Lv
2015 — conf
A LESS robotic arm control system based on visual feedback.
ICIA
Tengfei Ma, Cong Fu, Haibo Feng, Yi Lv
2015 C conf
Input-Driven Active Testing of Multi-threaded Programs.
APSEC
Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv
2015 B conf
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
ATVA
Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
2015 B conf
Quasi-Linearizability is Undecidable.
APLAS
Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
2015 B conf
TSO-to-TSO Linearizability Is Undecidable.
ATVA
Chao Wang, Yi Lv, Peng Wu
2014 — conf
A new excitation field for magnetic induction tomography based on the focusing magnetic field.
ISBI
Yi Lv, Xu Wang, Jingjing Jin, JianHui Liu, Changjun Han, Suchun Gao
2014 — conf
Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China.
GRMSE
Min Zhou, Yi Lv, Ruili Shen, Zhehao Zhou, Jing Zhou, Shaoxiang Hu, Xiaojuan Zhou
2014 B conf
Efficiently and Completely Verifying Synchronized Consistency Models.
ATVA
Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu
2011 C conf
Fast Verification of Memory Consistency for Chip Multi-Processor.
CIS
Zheng Lv, Hao Chen, Feng Chen, Yi Lv
2011 — conf
Manager as Scrum Master.
AGILE
Yi Lv
2010 J jnl
We're All in This Together.
IEEE Softw.
Steve Berczuk, Yi Lv
2009 Misc conf
Environment Abstraction with State Clustering and Parameter Truncating.
TASE
Hong Pan, Yi Lv, Huimin Lin
2009 A* conf
Fast complete memory consistency verification.
HPCA
Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan
2009 — conf
Juicer: Scalable Extraction for Thread Meta-information of Web Forum.
PAISI
Yan Guo, Yu Wang, Guodong Ding, Donglin Cao, Gang Zhang, Yi Lv
2007 C conf
Computing Invariants for Parameter Abstraction.
MEMOCODE
Yi Lv, Huimin Lin, Hong Pan
2006 J jnl
Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol.
Hong Pan, Huimin Lin, Yi Lv