His primary areas of study are Theoretical computer science, Programming language, Model checking, Scalability and Concurrency. His work in the fields of Theoretical computer science, such as Formal verification, overlaps with other areas such as TRACE. His studies deal with areas such as Satisfiability and Symbolic data analysis as well as Programming language.
His Model checking study combines topics from a wide range of disciplines, such as Binary decision diagram and Boolean satisfiability problem. Chao Wang has included themes like Compiler, Distributed computing, Cryptography, Satisfiability modulo theories and Scheduling in his Scalability study. His Concurrency study incorporates themes from Thread, Interleaving and Assertion.
His primary scientific interests are in Model checking, Artificial intelligence, Optics, Theoretical computer science and Optoelectronics. To a larger extent, he studies Algorithm with the aim of understanding Model checking. His study in Artificial intelligence is interdisciplinary in nature, drawing from both Computer vision and Pattern recognition.
His Synthetic aperture radar research is under the purview of Remote sensing. His research ties Polarimetry and Remote sensing together. His Software study is focused on Programming language in general.
Chemical engineering, Optoelectronics, Composite material, Graphene and Optics are his primary areas of study. His work carried out in the field of Chemical engineering brings together such families of science as Supercapacitor, Catalysis and Electrode. In the subject of general Catalysis, his work in BET theory is often linked to NOx, thereby combining diverse domains of study.
Many of his studies on Optoelectronics apply to Laser as well. Chao Wang combines Terahertz radiation and Terahertz time-domain spectroscopy in his studies.
The scientist’s investigation covers issues in Chemical engineering, Photodynamic therapy, Side channel attack, Catalysis and Reactive oxygen species. Chao Wang has researched Chemical engineering in several fields, including Cathode, Electrolyte, Supercapacitor and Anode. His work is dedicated to discovering how Photodynamic therapy, Photosensitizer are connected with Biocompatibility, Combination therapy, Bovine serum albumin, Nanotechnology and Photothermal therapy and other disciplines.
His research integrates issues of Program analysis, Software, Embedded system and Cache in his study of Side channel attack. His Embedded system research is multidisciplinary, incorporating elements of Property, Set, Concurrency and Satisfiability modulo theories. He combines subjects such as Tumor hypoxia, Cancer cell, Biophysics, Glutathione and HeLa with his study of Reactive oxygen species.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Specific Generation of Singlet Oxygen through the Russell Mechanism in Hypoxic Tumors and GSH Depletion by Cu-TCPP Nanosheets for Cancer Therapy
Chao Wang;Chao Wang;Fengjuan Cao;Yudi Ruan;Xiaodan Jia.
Angewandte Chemie (2019)
Hierarchical MoS2 nanosheet/active carbon fiber cloth as a binder-free and free-standing anode for lithium-ion batteries
Chao Wang;Chao Wang;Wang Wan;Yunhui Huang;Jitao Chen.
Correction: Corrigendum: High-rate aluminium yolk-shell nanoparticle anode for Li-ion battery with long cycle life and ultrahigh capacity
Sa Li;Junjie Niu;Yu Cheng Zhao;Kang Pyo So.
Nature Communications (2017)
Production of J/Ψ via Ψ' and χ decay in 300 GeV/c proton-and π±-nucleon interactions
Antoniazzi L;Arenton M;Cao Z;Chen T.
Physical Review Letters (1993)
Decreasing soil microbial diversity is associated with decreasing microbial biomass under nitrogen addition
Chao Wang;Dongwei Liu;Edith Bai;Edith Bai.
Soil Biology & Biochemistry (2018)
Aridity threshold in controlling ecosystem nitrogen cycling in arid and semi-arid grasslands
Chao Wang;Xiaobo Wang;Dongwei Liu;Honghui Wu.
Nature Communications (2014)
A Robust and Conductive Black Tin Oxide Nanostructure Makes Efficient Lithium‐Ion Batteries Possible
Wujie Dong;Jijian Xu;Chao Wang;Yue Lu.
Advanced Materials (2017)
Model checking C programs using F-Soft
F. Ivancic;I. Shlyakhter;A. Gupta;M.K. Ganai.
international conference on computer design (2005)
The Milky Way's rotation curve out to 100 kpc and its constraint on the Galactic mass distribution
Y. Huang;X.-W. Liu;H.-B. Yuan;M.-S. Xiang.
Monthly Notices of the Royal Astronomical Society (2016)
DELLA proteins are common components of symbiotic rhizobial and mycorrhizal signalling pathways.
Yue Jin;Huan Liu;Dexian Luo;Nan Yu.
Nature Communications (2016)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: