We stand with Ukraine  

Yi Li

Orcid: 0000-0002-0693-0247

Affiliations:
  • Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing, China


According to our database1, Yi Li authored at least 1 paper in 2025.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Synthesizing Loops from Linear Ranking Functions.
[BibTeX]
[DOI]
Rui-Juan Jing
,
Yaru Yuan
,
Yuxing Cai
,
Yi Li
,
Changbo Chen
Proceedings of the Formal Methods and Software Engineering, 2025


  Loading...