Rui Qiu

According to our database1, Rui Qiu authored at least 15 papers between 2012 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Crowd V-IoE: Visual Internet of Everything Architecture in AI-Driven Fog Computing.
IEEE Wirel. Commun., 2020

BeiDou Satellite Positioning Method Based on IoT and Edge Computing.
Sensors, 2020

Carbon pricing initiatives-based bi-level pollution routing problem.
Eur. J. Oper. Res., 2020

2019
Edge Computing-based Differential Positioning Method for BeiDou Navigation Satellite System.
KSII Trans. Internet Inf. Syst., 2019

A synergistic approach to improving symbolic execution using test ranges.
Innov. Syst. Softw. Eng., 2019

A hybrid time MILP model for the pump scheduling of multi-product pipelines based on the rigorous description of the pipeline hydraulic loss changes.
Comput. Chem. Eng., 2019

Robust Optimization for Emergency Scheduling of Oil Products After Disaster.
IEEE Access, 2019

Synergistic Effect of i-C<sub>3</sub>F<sub>7</sub>CN/CO<sub>2</sub> and i-C<sub>3</sub>F<sub>7</sub>CN/N<sub>2</sub> Mixtures.
IEEE Access, 2019

Frame Difference Generative Adversarial Networks: Clearer Contour Video Generating.
Proceedings of the Seventh International Symposium on Computing and Networking Workshops, 2019

2018
Using Test Ranges to Improve Symbolic Execution.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
A synergistic approach for distributed symbolic execution using test ranges.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Rough Approximation Operators in Group Mapping and Their Applications to Coding Theory.
Fundam. Informaticae, 2016

Certified Symbolic Execution.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Compositional Symbolic Execution with Memoized Replay.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2012
An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns.
Proceedings of the 2012 12th International Conference on Quality Software, 2012


  Loading...