2
Publications
38
Citations
2
H-Index
2022
Active since
Affiliations
Yicun Yang is an author at Shanghai Jiao Tong University specializing in formal methods, knowledge discovery, and information retrieval.
Top concepts
Data MiningEngineeringData ScienceSemantic WebFormal MethodsData ManagementComputer ScienceProgram AnalysisSoftware AnalysisQuery Optimization
Publications per year
2022–2023
2
2
Proving Query Equivalence Using Linear Integer Arithmetic
Haoran Ding, Zhaoguo Wang, Yicun Yang et al. · Proceedings of the ACM on Management of Data · 2023 · 11 citations
Rows per page
1–2 of 2