Guangyao Chen
ShanghaiTech University(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Lipid Membrane Structure and Behavior, Microfluidic and Capillary Electrophoresis Applications, Software Testing and Debugging Techniques, Neuroscience and Neuropharmacology Research
Most-Cited Works
- → Chemical Analysis of Single Cells and Exocytosis(1997)81 cited
- → Dopamine levels of two classes of vesicles are differentially depleted by amphetamine(1998)37 cited
- → Design, synthesis and biological evaluation of novel hydroxamates and 2-aminobenzamides as potent histone deacetylase inhibitors and antitumor agents(2017)31 cited
- → Demonstration of two distributions of vesicle radius in the dopamine neuron of Planorbis corneus from electrochemical data(1999)23 cited
- → Petasis three-component reaction accelerated by trifluoroacetic acid: synthesis of indoline-derived glycines(2016)17 cited
- → Electrochemical monitoring of bursting exocytotic events from the giant dopamine neuron ofPlanorbis corneus(1996)17 cited
- → Mechanism and Prevention and Control of Mine Earthquake in Thick and Hard Rock Strata considering the Horizontal Stress Evolution of Stope(2021)15 cited
- → Model checking-based decision support system for fault management: A comprehensive framework and application in electric power systems(2024)10 cited
- → Voltammetric and Amperometric Probes for Single-Cell Analysis(2003)2 cited
- → Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems(2024)2 cited