Yi Lv

According to our database1, Yi Lv authored at least 26 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Deep residual-network-based quality assessment for SD-OCT retinal images: preliminary study.
Proceedings of the Medical Imaging 2019: Image Perception, 2019

Deep convolutional network based on rank learning for OCT retinal images quality assessment.
Proceedings of the Medical Imaging 2019: Biomedical Applications in Molecular, 2019

A Web Based Security Monitoring and Information Management System for Nursing Homes.
Proceedings of the Intelligent Robotics and Applications - 12th International Conference, 2019

An Automatic Proving Approach to Parameterized Verification.
ACM Trans. Comput. Log., 2018

Decidability of linearizabilities for relaxed data structures.
SCIENCE CHINA Information Sciences, 2018

Decomposable Relaxation for Concurrent Data Structures.
Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Power-Aware Lightpath Management for SDN-Based Elastic Optical Networks.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

An Alternative Approach for Registration of High-Resolution Satellite Optical Imagery and ICESat Laser Altimetry Data.
Sensors, 2016

Bounded TSO-to-SC Linearizability Is Decidable.
Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata.
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

A novel approach to parameterized verification of cache coherence protocols.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

TSO-to-TSO Linearizability Is Undecidable.
Proceedings of the Automated Technology for Verification and Analysis, 2015

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Input-Driven Active Testing of Multi-threaded Programs.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Quasi-Linearizability is Undecidable.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

A new excitation field for magnetic induction tomography based on the focusing magnetic field.
Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014

Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014

Efficiently and Completely Verifying Synchronized Consistency Models.
Proceedings of the Automated Technology for Verification and Analysis, 2014

Fast Verification of Memory Consistency for Chip Multi-Processor.
Proceedings of the Seventh International Conference on Computational Intelligence and Security, 2011

Manager as Scrum Master.
Proceedings of the 2011 Agile Conference, 2011

We're All in This Together.
IEEE Software, 2010

Environment Abstraction with State Clustering and Parameter Truncating.
Proceedings of the TASE 2009, 2009

Juicer: Scalable Extraction for Thread Meta-information of Web Forum.
Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2009

Fast complete memory consistency verification.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

Computing Invariants for Parameter Abstraction.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Model Checking Data Consistency for Cache Coherence Protocols.
J. Comput. Sci. Technol., 2006