Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDYi Lv
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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-II(1): 146-150 (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) - [c27]Rui Ni, Yi Lv, Qian Zhu, Mérouane Debbah:
Electromagnetic Field Fingerprint Method for Circularly Polarized OAM. ICC Workshops 2020: 1-6 - [c26]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) - [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. Medical Imaging: 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. Medical Imaging: 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-01-14 01:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
