Lei Qiao

According to our database1, Lei Qiao authored at least 32 papers between 2007 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Equilibrium refinements in games with many players.
CoRR, 2019

Autonomous UAV Landing System Based on Visual Navigation.
CoRR, 2019

PT-ResNet: Perspective Transformation-Based Residual Network for Semantic Road Image Segmentation.
CoRR, 2019

OptSample: A Resilient Buffer Management Policy for Robotic Systems based on Optimal Message Sampling.
CoRR, 2019

A Verified Specification of TLSF Memory Management Allocator Using State Monads.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

A Performance-Guaranteed Virtual Machine Migration Strategy in Cloud.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Energy-Efficient Task Scheduling for Heterogeneous Cloud Computing Systems.
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Tumbler: Energy Efficient Task Scheduling for Dual-Channel Solar-Powered Sensor Nodes.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Performance and Power Consumption Analysis of IEEE802.11ah for Smart Grid.
Wireless Communications and Mobile Computing, 2018

Energy-Aware VM Initial Placement Strategy Based on BPSO in Cloud Computing.
Scientific Programming, 2018

Dynamic directed random matching.
J. Economic Theory, 2018

Formal modelling of list based dynamic memory allocators.
SCIENCE CHINA Information Sciences, 2018

A general Phragmén-Lindelöf principle for weak solutions of the Schrödinger equation and its applications.
Appl. Math. Lett., 2018

Modular Verification of SPARCv8 Code.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017
Hainan Coherent Scatter Phased Array Radar (HCOPAR): System Design and Ionospheric Irregularity Observations.
IEEE Trans. Geoscience and Remote Sensing, 2017

Design and Application of the Distributed Ionospheric Coherent Scatter Radar.
IEEE Geosci. Remote Sensing Lett., 2017

Comparison of the Traditional Ionosonde and the Digital Ionosonde Based on Direct Digitization.
IEEE Geosci. Remote Sensing Lett., 2017

MLP-based adaptive neural control of nonlinear time-delay systems with the unknown hysteresis.
Int. J. Systems Science, 2017

Solutions of the Dirichlet-Sch problem and asymptotic properties of solutions for the Schrödinger equation.
Appl. Math. Lett., 2017

Weak solutions for the stationary Schrödinger equation and its application.
Appl. Math. Lett., 2017

Formalizing SPARCv8 Instruction Set Architecture in Coq.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016
On the closed-graph property of the Nash equilibrium correspondence in a large game: A complete characterization.
Games and Economic Behavior, 2016

Content-related energy efficiency analysis in cache-enabled device-to-device network.
Proceedings of the 8th International Conference on Wireless Communications & Signal Processing, 2016

2015
Intercomparison of Precipitation Estimates From WSR-88D Radar and TRMM Measurement Over Continental United States.
IEEE Trans. Geoscience and Remote Sensing, 2015

2014
On the space of players in idealized limit games.
J. Economic Theory, 2014

The sensitivity and significance analysis of parameters in the model of pH regulation on lactic acid production by Lactobacillus bulgaricus.
BMC Bioinformatics, 2014

Formal Verification of Lunar Rover Control Software Using UPPAAL.
Proceedings of the FM 2014: Formal Methods, 2014

2013
A Simulation of Synthetic agr System in E.coli.
Proceedings of the Bioinformatics Research and Applications, 9th International Symposium, 2013

2012
A risk index model for multi-period uncertain portfolio selection.
Inf. Sci., 2012

2011
An Embedded Operating System Design for the Lunar Exploration Rover.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2007
A New Approach to Outlier Detection.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007


  Loading...