Min Zhang
Henan Academy of Sciences(CN)Henan Normal University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Adversarial Robustness in Machine Learning, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → Laser‐Triggered Small Interfering RNA Releasing Gold Nanoshells against Heat Shock Protein for Sensitized Photothermal Therapy(2016)180 cited
- → DelPhiPKa web server: predicting pKa of proteins, RNAs and DNAs(2015)120 cited
- → Stochastic Variance Reduced Ensemble Adversarial Attack for Boosting the Adversarial Transferability(2022)119 cited
- → Land claim and loss of tidal flats in the Yangtze Estuary(2016)119 cited
- → Bacteria-Targeting Conjugates Based on Antimicrobial Peptide for Bacteria Diagnosis and Therapy(2015)113 cited
- → Photodynamic Therapy Induced Enhancement of Tumor Vasculature Permeability Using an Upconversion Nanoconstruct for Improved Intratumoral Nanoparticle Delivery in Deep Tissues(2016)108 cited