default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYi Lv
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j22]Yuanmeng Zheng, Qingbin Luo, Qiang Li, Yi Lv:
Quantum circuit implementations of lightweight authenticated encryption ASCON. J. Supercomput. 80(8): 11322-11337 (2024)- [j21]Yihang Jiang, Yi Gong
, Yuan Zeng, Yi Lv, Tony Xiao Han, Rentian Ding, Rui Du:
On the Design and Performance of QRD-Based Beamforming Feedback for Wi-Fi Sensing. IEEE Trans. Wirel. Commun. 23(5): 5261-5271 (2024) - 2023
- [j20]Yuanxin Xiang, Yi Lv, Wenqiang Lei, Jiancheng Lv:
Ultra-Short Wave Communication Squelch Algorithm Based on Deep Neural Network. Big Data Min. Anal. 6(1): 106-114 (2023) - [c45]Yi Lv, Lichen Yan, Puning Zhang, Di Hu, Shuman Shao:
Personalized-Enhanced Federated Learning on Heterogeneous Internet of Medical Things. HealthCom 2023: 125-130 - [c44]Hong Zhang, Yuxin Liao, Lingtong Ma, Yi Lv, Jun Luo:
Online Resource Scheduling Mechanism for Quality of Service Assurance in Intelligent Medical. HealthCom 2023: 171-176 - [c43]Weibin Liao, Peirong Jiang, Yi Lv, Yunjing Xue, Zhensen Chen, Xuesong Li:
MCRLe: Multi-Modal Contrastive Representation Learning For Stroke Onset Time Diagnosis. ISBI 2023: 1-5 - [c42]Yi Lv, Weibin Liao, Zhensen Chen, Xuesong Li:
MFR-Net: Multi-Scale Feature Representation Module for 3D Cerebrovascular Segmentation. ISBI 2023: 1-5 - [c41]Yi Lv, Weibin Liao, Wenjin Liu, Zhensen Chen, Xuesong Li:
A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery. ISBI 2023: 1-5 - [c40]Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang:
VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. TASE 2023: 202-220 - [c39]Yi Lv, Xin Chen, Peng He, Yaping Cui, Ruyan Wang, Dapeng Wu:
Hybrid Worker Selection for Task Coverage Maximization in Mobile Crowdsensing. WCNC 2023: 1-6 - 2022
- [j19]Yi Lv, Houpeng Chen, Qian Wang, Xi Li, Chenchen Xie, Zhitang Song:
Post-silicon nano-electronic device and its application in brain-inspired chips. Frontiers Neurorobotics 16 (2022) - [j18]Yufen Wu, Yi Lv, Dawei Wang, Yang Xue, Shuhong Xu:
A human hybrid tracking and localization method for mixed reality simulation of complex system. Int. J. Model. Simul. Sci. Comput. 13(2): 2241011:1-2241011:13 (2022) - [j17]Lijun Wang, Yang Xue, Yi Lv, Yufen Wu, Dawei Wang, Shuhong Xu:
A mixed reality simulation evaluation method for complex system. Int. J. Model. Simul. Sci. Comput. 13(2): 2241012:1-2241012:15 (2022) - [j16]Yuan Lin, Youchao Qi, Jiaqi Wang, Guoxu Liu, Zhaozheng Wang, Junqing Zhao, Yi Lv, Zhi Zhang, Ning Tian, Mengbi Wang, Yuanfen Chen, Chi Zhang:
Self-Powered and Autonomous Vibrational Wake-Up System Based on Triboelectric Nanogenerators and MEMS Switch. Sensors 22(10): 3752 (2022) - [j15]Shenglan Ni, Houpeng Chen, Xi Li, Yu Lei, Qian Wang, Yi Lv, Guangming Zhang, Sannian Song, Zhitang Song:
Silicon Modeling of Spiking Neurons With Diverse Dynamic Behaviors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(7): 2199-2212 (2022) - [j14]Yihang Jiang, Xiang Zhu, Rui Du, Yi Lv, Tony Xiao Han, David Xun Yang, Yun Zhang, Yang Li, Yi Gong:
On the Design of Beamforming Feedback for Wi-Fi Sensing. IEEE Wirel. Commun. Lett. 11(10): 2036-2040 (2022) - [c38]Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia:
Compositional Verification of Interacting Systems Using Event Monads. ITP 2022: 33:1-33:21 - [c37]Yi Lv, Yu Ning, Junchen Wang:
Coarse to Fine Automatic Segmentation of Abdominal Multiple Organs. FLARE@MICCAI 2022: 223-232 - [c36]Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu:
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. SETTA 2022: 149-165 - 2021
- [j13]Jiang Wang, Yi Lv, Junchen Wang, Furong Ma, Yali Du, Xin Fan, Menglin Wang, Jia Ke:
Fully automated segmentation in temporal bone CT with neural network: a preliminary assessment study. BMC Medical Imaging 21(1): 166 (2021) - [j12]Xiaodong Ding, Yiqin Wang, Yiming Hao, Yi Lv, Rui Chen, Haixia Yan:
A New Measure of Pulse Rate Variability and Detection of Atrial Fibrillation Based on Improved Time Synchronous Averaging. Comput. Math. Methods Medicine 2021: 5597559:1-5597559:9 (2021) - [j11]Chuang Wang, Yi Lv, Qiang Wang, Dongyu Yang, Guanghui Zhou:
Service-Oriented Real-Time Smart Job Shop Symmetric CPS Based on Edge Computing. Symmetry 13(10): 1839 (2021) - [j10]Jiashu Guo, Houpeng Chen, Yu Lei, Xi Li, Qian Wang, Chenchen Xie, Jie Miao, Yi Lv, Weili Liu, Zhitang Song:
An Ultra-Low Quiescent Current Resistor-Less Power on Reset Circuit. IEEE Trans. Circuits Syst. II Express Briefs 68(1): 146-150 (2021) - [c35]Yi Lv, Rui Ni, Qian Zhu, Mérouane Debbah:
Signal Processing of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels. ICC Workshops 2021: 1-6 - [c34]Wenpei Shao, Xiangyang Feng, Ming Zhu, Ran Tao, Yi Lv, Youqun Shi:
Fuzzy Evaluation System for Innovation Ability of Science and Technology Enterprises. KMO 2021: 147-159 - [c33]Yi Lv, Junchen Wang:
Three Uses of One Neural Network: Automatic Segmentation of Kidney Tumor and Cysts Based on 3D U-Net. KiTS@MICCAI 2021: 40-45 - [c32]Yi Lv, Yan Wang, Yaping Cui, Peng He, Dapeng Wu, Ruyan Wang:
Transmission Performance Guaranteed Task Distribution Strategy in Mobile Crowdsensing. VTC Spring 2021: 1-5 - [i2]Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu:
Decidability of Liveness on the TSO Memory Model. CoRR abs/2107.09930 (2021) - [i1]Zehong Chang, Fumin Wang, Xiaoli Wang, Xiaofei Liu, Rongqian Wu, Yi Lv, Pei Zhang:
Security analysis method for practical quantum key distribution with arbitrary encoding schemes. CoRR abs/2109.04758 (2021) - 2020
- [j9]Yi Lv, Mandan Liu, Yue Xiang:
Fast Searching Density Peak Clustering Algorithm Based on Shared Nearest Neighbor and Adaptive Clustering Center. Symmetry 12(12): 2014 (2020) - [j8]Chenchen Xie, Xi Li, Yu Lei, Houpeng Chen, Qian Wang, Jiashu Guo, Jie Miao, Yi Lv, Zhitang Song:
BIST-Based Fault Diagnosis for PCM With Enhanced Test Scheme and Fault-Free Region Finding Algorithm. IEEE Trans. Very Large Scale Integr. Syst. 28(7): 1652-1664 (2020) - [c31]Rui Ni, Yi Lv, Qian Zhu, Guangjian Wang, Gaoning He, Mérouane Debbah:
Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels. GLOBECOM 2020: 1-6 - [c30]Rui Ni, Yi Lv, Qian Zhu, Mérouane Debbah:
Electromagnetic Field Fingerprint Method for Circularly Polarized OAM. ICC Workshops 2020: 1-6 - [c29]Yizhuan Jia, Weibin Liao, Yi Lv, Ziyu Su, Jiaqi Dou, Zhongwei Sun, Xuesong Li:
Detect and Identify Aneurysms Based on Adjusted 3D Attention UNet. CADA@MICCAI 2020: 39-48 - [c28]Ziyu Su, Yizhuan Jia, Weibin Liao, Yi Lv, Jiaqi Dou, Zhongwei Sun, Xuesong Li:
3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge. CADA@MICCAI 2020: 58-67 - [c27]Yi Lv:
Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure. SocialSec 2020: 420-432
2010 – 2019
- 2019
- [j7]Jie Miao, Houpeng Chen, Yu Lei, Yi Lv, Weili Liu, Zhitang Song:
Near-threshold SIDO DC-DC converter with a high-precision ZCD for phase change memory chip. IEICE Electron. Express 16(11): 20190250 (2019) - [c26]Yancong Zhu, Cong Wang, Wei Liu, Yi Lv:
Running guide: design of a marathon navigation system for visually impaired people. CCHI 2019: 7-15 - [c25]Zhengzheng Yang, Lei Zhang, Min Zhang, Jun Feng, Zheng Wu, Fenggang Ren, Yi Lv:
Pancreas Segmentation in Abdominal CT Scans using Inter-/Intra-Slice Contextual Information with a Cascade Neural Network. EMBC 2019: 5937-5940 - [c24]Ying Li, Ying Xu, Yi Lv, Junchen Wang:
A Web Based Security Monitoring and Information Management System for Nursing Homes. ICIRA (3) 2019: 72-81 - [c23]Zhe Xu, Yi Lv:
Att-ConvLSTM: PM2.5 Prediction Model and Application. ICNC-FSKD 2019: 30-40 - [c22]Jia Yang Wang, Lei Zhang, Min Zhang, Jun Feng, Yi Lv:
Deep convolutional network based on rank learning for OCT retinal images quality assessment. Biomedical Applications in Molecular, Structural, and Functional Imaging 2019: 1095309 - [c21]Min Zhang, Jia Yang Wang, Lei Zhang, Jun Feng, Yi Lv:
Deep residual-network-based quality assessment for SD-OCT retinal images: preliminary study. Image Perception, Observer Performance, and Technology Assessment 2019: 1095214 - 2018
- [j6]Chao Wang, Yi Lv, Peng Wu:
TSO-to-TSO linearizability is undecidable. Acta Informatica 55(8): 649-668 (2018) - [j5]Chao Wang, Yi Lv, Peng Wu:
Decidability of linearizabilities for relaxed data structures. Sci. China Inf. Sci. 61(1): 012103:1-012103:10 (2018) - [j4]Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai:
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19(4): 27:1-27:25 (2018) - 2017
- [c20]Yu Xiong, Jin Shi, Yi Lv, George N. Rouskas:
Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks. ICCCN 2017: 1-9 - [c19]Chao Wang, Yi Lv, Peng Wu:
Decomposable Relaxation for Concurrent Data Structures. SOFSEM 2017: 188-202 - 2016
- [j3]Shijie Liu, Yi Lv, Xiaohua Tong, Huan Xie, Jun Liu, Lei Chen:
An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data. Sensors 16(12): 2008 (2016) - [c18]Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai:
A novel approach to parameterized verification of cache coherence protocols. ICCD 2016: 560-567 - [c17]Wei Ji, Farn Wang, Peng Wu, Yi Lv:
An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata. ICECCS 2016: 111-121 - [c16]Pengliang Tang, Zhidong Qi, Qian Ma, Yi Lv:
Temperature modeling and control of 5kW proton exchange membrane fuel cell system. ICIA 2016: 1344-1348 - [c15]Chao Wang, Yi Lv, Peng Wu:
Bounded TSO-to-SC Linearizability Is Decidable. SOFSEM 2016: 404-417 - 2015
- [c14]Chao Wang, Yi Lv, Gaoang Liu, Peng Wu:
Quasi-Linearizability is Undecidable. APLAS 2015: 369-386 - [c13]Han Yue, Peng Wu, Tsong Yueh Chen, Yi Lv:
Input-Driven Active Testing of Multi-threaded Programs. APSEC 2015: 246-253 - [c12]Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan:
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA 2015: 207-213 - [c11]Chao Wang, Yi Lv, Peng Wu:
TSO-to-TSO Linearizability Is Undecidable. ATVA 2015: 309-325 - [c10]Tengfei Ma, Cong Fu, Haibo Feng, Yi Lv:
A LESS robotic arm control system based on visual feedback. ICIA 2015: 2042-2047 - 2014
- [c9]Yi Lv, Luming Sun, Xiaochun Ye, Dongrui Fan, Peng Wu:
Efficiently and Completely Verifying Synchronized Consistency Models. ATVA 2014: 264-280 - [c8]Min Zhou, Yi Lv, Ruili Shen, Zhehao Zhou, Jing Zhou, Shaoxiang Hu, Xiaojuan Zhou:
Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China. GRMSE 2014: 740-750 - [c7]Yi Lv, Xu Wang, Jingjing Jin, Jianhui Liu, Changjun Han, Suchun Gao:
A new excitation field for magnetic induction tomography based on the focusing magnetic field. ISBI 2014: 1136-1139 - 2011
- [c6]Yi Lv:
Manager as Scrum Master. AGILE 2011: 151-153 - [c5]Zheng Lv, Hao Chen, Feng Chen, Yi Lv:
Fast Verification of Memory Consistency for Chip Multi-Processor. CIS 2011: 1497-1502 - 2010
- [j2]Steve Berczuk, Yi Lv:
We're All in This Together. IEEE Softw. 27(6): 12-15 (2010)
2000 – 2009
- 2009
- [c4]Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan:
Fast complete memory consistency verification. HPCA 2009: 381-392 - [c3]Yan Guo, Yu Wang, Guodong Ding, Donglin Cao, Gang Zhang, Yi Lv:
Juicer: Scalable Extraction for Thread Meta-information of Web Forum. PAISI 2009: 143-148 - [c2]Hong Pan, Yi Lv, Huimin Lin:
Environment Abstraction with State Clustering and Parameter Truncating. TASE 2009: 73-80 - 2007
- [c1]Yi Lv, Huimin Lin, Hong Pan:
Computing Invariants for Parameter Abstraction. MEMOCODE 2007: 29-38 - 2006
- [j1]Hong Pan, Huimin Lin, Yi Lv:
Model Checking Data Consistency for Cache Coherence Protocols. J. Comput. Sci. Technol. 21(5): 765-775 (2006)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 20:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
