Search Results - "Luo, Chenguang"

Chiral Cyclohexyl-Fused Spirobiindanes: Practical Synthesis, Ligand Development, and Asymmetric Catalysis by Zheng, Zhiyao, Cao, Yuxi, Chong, Qinglei, Han, Zhaobin, Ding, Jiaming, Luo, Chenguang, Wang, Zheng, Zhu, Dongsheng, Zhou, Qi-Lin, Ding, Kuiling

“…1,1′-Spirobiindane has been one type of privileged skeleton for chiral ligand design, and 1,1′-spirobiindane-based chiral ligands have demonstrated outstanding…”
Get full text

Mechanical Properties and Reaction Kinetics of Alkali-Activated Metakaolin by Cui, Chao, Dang, Yingze, Luo, Chenguang, Wang, Lan, Peng, Hui

“…In this study, the influence of the physicochemical properties and proportioning conditions of metakaolin on the mechanical properties of the synthesized…”
Get full text

The efficacy of L-carnitine in patients with nonalcoholic steatohepatitis and concomitant obesity by Zakharova, Natalia, Luo, Chenguang, Aringazina, Raisa, Samusenkov, Vadim

“…In light of the high prevalence of nonalcoholic fatty liver disease and obesity, treatment options for nonalcoholic steatohepatitis are of particular interest…”
Get full text

Transition-metal-free polycyclic indoline formation via a free radical pathway: a computational mechanistic study by Luo, Chenguang, Lu, Lin, Zhang, Lin, Yang, Zuoyin, Pu, Min, Yin, Biaolin, Lei, Ming

“…The mechanism of [2 + 2 + 1] cyclization reactions to access polycyclic sulfonyl indolines via Fe(II)-catalyzed or UV-driven has been investigated by density…”
Get full text

Mechanisms underlying drying shrinkage in ASM-based geopolymer: Capillary tensile stress and its prediction method by Cui, Chao, Tai, Wenyu, Luo, Chenguang, Wang, Lan, Peng, Hui

“…A pivotal limitation in the widespread adoption of geopolymer stems from their notable and substantial drying shrinkage properties, which significantly…”
Get full text

DFT Mechanistic Investigation on Manganese Pincer Complex Catalysed Cross‐Coupling of Methanol with Benzyl Alcohol to Afford Methyl Benzoate by Ali, Qaim, Li, Zhewei, Zhang, Lin, Luo, Chenguang, Pu, Min, Lei, Ming

“…In this paper the density functional theory (DFT) method was employed to investigate the cross‐coupling of methanol with benzyl alcohol to afford methyl…”
Get full text

Access to Polycyclic Sulfonyl Indolines via Fe(II)-Catalyzed or UV-Driven Formal [2 + 2 + 1] Cyclization Reactions of N‑((1H-indol-3-yl)methyl)propiolamides with NaHSO3 by Lu, Lin, Luo, Chenguang, Peng, Hui, Jiang, Huanfeng, Lei, Ming, Yin, Biaolin

“…A variety of structurally novel polycyclic sulfonyl indolines have been synthesized via FeCl2-catalyzed or UV-driven intramolecular formal [2 + 2 + 1]…”
Get full text

A Heap Model for Java Bytecode to Support Separation Logic by Chenguang Luo, Guanhua He, Shengchao Qin

“…Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program…”
Get full text

Access to Polycyclic Sulfonyl Indolines via Fe(II)-Catalyzed or UV-Driven Formal [2 + 2 + 1] Cyclization Reactions of N-((1H-indol-3-yl)methyl)propiolamides with NaHSO 3 by Lu, Lin, Luo, Chenguang, Peng, Hui, Jiang, Huanfeng, Lei, Ming, Yin, Biaolin

“…A variety of structurally novel polycyclic sulfonyl indolines have been synthesized via FeCl -catalyzed or UV-driven intramolecular formal [2 + 2 + 1]…”
Get full text

Rhodium(III)‐Catalyzed C−H Bond Functionalization of 2‐Pyridones with Alkynes: Switchable Alkenylation, Alkenylation/Directing Group Migration and Rollover Annulation by Xu, Xin, Luo, Chenguang, Zhao, Haoqiang, Pan, Yixiao, Zhang, Xin, Li, Jiajie, Xu, Lijin, Lei, Ming, Walsh, Patrick J.

“…Cp*Rh(III)‐catalyzed chelation‐assisted direct C−H bond functionalization of 1‐(2‐pyridyl)‐2‐pyridones with internal alkynes that can be controlled to give…”
Get full text

From Word Automata to Tree Automata by Chenguang Luo

“…Finite tree automata have now become a live research field both because of its features as a theoretical model of computation and its practical value in the…”
Get full text

pH-Dependent transfer hydrogenation or dihydrogen release catalyzed by a [(η-arene)RuCl(κ-,-dmobpy)] complex: a DFT mechanistic understanding by Luo, Chenguang, Li, Longfei, Yue, Xin, Li, Pengjie, Zhang, Lin, Yang, Zuoyin, Pu, Min, Cao, Zexing, Lei, Ming

“…The reaction mechanism of the pH-dependent transfer hydrogenation of a ketone or the dehydrogenation of formic acid catalyzed by a [(η 6 -arene)RuCl(κ 2 - N ,…”
Get full text

pH-Dependent transfer hydrogenation or dihydrogen release catalyzed by a (η6-arene)RuCl(κ2-N,N-dmobpy)+ complex: a DFT mechanistic understanding by Luo, Chenguang, Li, Longfei, Yue, Xin, Li, Pengjie, Zhang, Lin, Yang, Zuoyin, Pu, Min, Cao, Zexing, Lei, Ming

“…The reaction mechanism of the pH-dependent transfer hydrogenation of a ketone or the dehydrogenation of formic acid catalyzed by a…”
Get full text

A Computational Study on Iridium‐Catalyzed Production of Acetic Acid from Ethanol and Water Solution by Yue, Xin, Li, Longfei, Li, Pengjie, Luo, Chenguang, Pu, Min, Yang, Zuoyin, Lei, Ming

“…Summary of main observation and conclusion The mechanism for the production of acetic acid from ethanol and water mixture catalyzed by iridium catalyst has…”
Get full text

Inside Cover: A Computational Study on Iridium‐Catalyzed Production of Acetic Acid from Ethanol and Water Solution (Chin. J. Chem. 9/2019) by Yue, Xin, Li, Longfei, Li, Pengjie, Luo, Chenguang, Pu, Min, Yang, Zuoyin, Lei, Ming

“…The inside cover picture shows the hydrogen transfer process of the production of acetic acid from ethanol and water mixture catalyzed by iridium catalyst…”
Get full text

Heap Memory Requirements Analysis via Separation Logic by Guanhua He, Chenguang Luo

“…Memory is a constrained resource for software, and memory consumption is an essential factor to evaluate a program's performance. Therefore, there are existing…”
Get full text

Loop invariant synthesis in a combined abstract domain by Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Chen, Xin

“…Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with…”
Get full text

Automatically refining partial specifications for heap-manipulating programs by Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Yang, Hongli

“…Automatically verifying heap-manipulating programs is a challenging task, especially when dealing with complex data structures with strong invariants, such as…”
Get full text

Verifying BPEL-Like Programs with Hoare Logic by Chenguang Luo, Shengchao Qin, Zongyan Qiu

“…The WS-BPEL language has become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable…”
Get full text

Verifying pointer safety for programs with unknown calls by Luo, Chenguang, Craciun, Florin, Qin, Shengchao, He, Guanhua, Chin, Wei-Ngan

“…We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial…”
Get full text