Loading...
The system can't perform the operation now. Try again later.
Citations per year
Duplicate citations
The following articles are merged in Scholar. Their
combined citations
are counted only for the first article.
Merged citations
This "Cited by" count includes citations to the following articles in Scholar. The ones marked
*
may be different from the article in the profile.
Add co-authors
Co-authors
Follow
New articles by this author
New citations to this author
New articles related to this author's research
Email address for updates
Done
My profile
My library
Metrics
Alerts
Settings
Sign in
Sign in
Get my own profile
Co-authors
lian li
Institute of Computing Technology, Chinese Academy of Sciences
Verified email at ict.ac.cn
Yulei Sui
University of New South Wales (UNSW Sydney)
Verified email at unsw.edu.au
JIE LU
The Institute of Computing Technology of the Chinese Academy of Sciences
Verified email at ict.ac.cn
Jingling Xue
IEEE Fellow (Computer Society), Scientia Professor, School of Computer Science and Engineering, UNSW
Verified email at cse.unsw.edu.au
HAOFENG LI
Institute of Computing Technology, Chinese Academy of Sciences
Verified email at ict.ac.cn
Follow
Chenghang Shi
Institute of Computing Technology
, Chinese of Academy Sciences
Verified email at ict.ac.cn -
Homepage
Program Analysis
Software Engineering
Articles
Co-authors
Title
Sort
Sort by citations
Sort by year
Sort by title
Cited by
Cited by
Year
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
C Shi, H Li, Y Sui, J Lu, L Li, J Xue
2023 38th IEEE/ACM International Conference on Automated Software …
, 2023
2023
The system can't perform the operation now. Try again later.
Show more
Privacy
Terms
Help
About Scholar
Search help