Concepedia

Meixian Chen

MC

8

Publications

191

Citations

8

H-Index

2012

Active since

Affiliations

Sun Yat-sen University(Current)

Sun Yat-sen University Cancer Center

Meixian Chen is an author at Sun Yat-sen University specializing in program analysis, automated reasoning, and formal specification.

Top concepts

ConstraintsEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification

Publications per year

2012–2022

8

Publications

8

Elevated neutrophil to lymphocyte ratio might predict poor prognosis for colorectal liver metastasis after percutaneous radiofrequency ablation

Yaojun Zhang, Zhenwei Peng, Meixian Chen · International Journal of Hyperthermia · 2012 · 40 citations

The role of clinically significant portal hypertension in hepatic resection for hepatocellular carcinoma patients: a propensity score matching analysis

Wei He, Qingli Zeng, Yun Zheng et al. · BMC Cancer · 2015 · 33 citations · Full text

Reusing constraint proofs in program analysis

Andrea Aquino, Francesco Adalberto Bianchi, Meixian Chen et al. · 2015 · 29 citations

Engineering, Constraints, Verification +18

Lupeol inhibits the proliferation and migration of MDA-MB-231 breast cancer cells <i>via</i> a novel crosstalk mechanism between autophagy and the EMT

Xin Zhang, Zhan-Wang Gao, Kehan Chen et al. · Food & Function · 2022 · 27 citations · Full text

Co‑expression of tissue kallikrein 1 and tissue inhibitor of matrix metalloproteinase 1 improves myocardial ischemia‑reperfusion injury by promoting angiogenesis and inhibiting oxidative stress

Shujie Huang, Meixian Chen, Huizhen Yu et al. · Molecular Medicine Reports · 2020 · 18 citations · Full text

Rows per page

1–5 of 8