Renjian Li

According to our database1, Renjian Li authored at least 4 papers between 2011 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Static analysis of lists by combining shape and numerical abstractions.
Sci. Comput. Program., 2014

A Discrete Particle Swarm Optimization Algorithm for Archipelago Berth Allocation Problem.
J. Comput., 2014

2013
Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2011
Quantitative analysis for symbolic heap bounds of CPS software.
Comput. Sci. Inf. Syst., 2011


  Loading...