3
Publications
45
Citations
3
H-Index
2019
Active since
Affiliations
Shanghai Jiao Tong University(Current)
Haoran Ding is an author at Shanghai Jiao Tong University specializing in mass spectrometry, drug discovery, and analytical chemistry.
Top concepts
MedicineEngineeringFile SystemsPharmacologyVerificationDrug AnalysisChromatographyDrug DiscoveryFormal MethodsData Management
Publications per year
2019–2023
3
3
Using concurrent relational logic with helpers for verifying the AtomFS file system
Mo Zou, Haoran Ding, Dong Du et al. · 2019 · 22 citations
Distributed File System, Engineering, Atomfs File System +23
Feng Liu, Haoran Ding, Mengyue Wang et al. · Journal of Pharmaceutical and Biomedical Analysis · 2021 · 12 citations
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–3 of 3