Browsing by Author Sun, Jun

Showing results 1 to 17 of 17
Issue DateTitleAuthor(s)
2020Automated synthesis of local time requirement for service compositionAndré, Étienne; Tan, Tian Huat; Chen, Manman; Liu, Shuang; Sun, Jun; Liu, Yang; Dong, Jin Song
2018Carbene-catalyzed [4 + 2] cycloadditions of vinyl enolate and (in situ generated) imines for enantioselective synthesis of quaternary α-amino phosphonatesSun, Jun; Mou, Chengli; Wang, Zhongyao; He, Fangcheng; Wu, Jian; Chi, Robin Yonggui
2018Carbene-catalyzed enal γ-carbon addition to α-ketophosphonates for enantioselective access to bioactive 2-pyranylphosphonatesSun, Jun; He, Fangcheng; Wang, Zhongyao; Pan, Dingwu; Zheng, Pengcheng; Mou, Chengli; Jin, Zhichao; Chi, Robin Yonggui
2018Carbene-catalyzed enantioselective addition of benzylic carbon to unsaturated acyl azolium for rapid synthesis of pyrrolo[3,2- c]quinolinesWang, Jilan; Li, Yongjia; Sun, Jun; Wang, Hong; Jin, Zhichao; Chi, Robin Yonggui
2021Carbene-catalyzed enantioselective aldol reaction : post-aldol stereochemistry control and formation of quaternary stereogenic centersYang, Xing; Majhi, Pankaj Kumar; Chai, Huifang; Liu, Bin; Sun, Jun; Liu, Ting; Liu, Yonggui; Zhou, Liejin; Xu, Jun; Liu, Jiawei; Wang, Dongdong; Zhao, Yanli; Jin, Zhichao; Chi, Robin Yonggui
 2017Carbene-catalyzed indole 3-Methyl C(sp3)-H bond functionalizationCheng, Jian; Sun, Jun; Yan, Jiekuan; Yang, Song; Zheng, Pengcheng; Jin, Zhichao; Chi, Robin Yonggui
2017Carbene-catalyzed indole 3-methyl C(sp3)-H bond functionalizationCheng, Jian; Sun, Jun; Yan, Jiekuan; Yang, Song; Zheng, Pengcheng; Jin, Zhichao; Chi, Robin Yonggui
2017Carbene-catalyzed LUMO activation of alkyne esters for access to functional pyridinesMou, Chengli; Wu, Jichang; Huang, Zhijian; Sun, Jun; Jin, Zhichao; Chi, Robin Yonggui
2018Enantioselective access to multi-cyclic α-amino phosphonates via carbene-catalyzed cycloaddition reactions between enals and six-membered cyclic iminesSun, Jun; Mou, Chengli; Liu, Changyi; Huang, Ruoyan; Zhang, Shupeng; Zheng, Pengcheng; Chi, Robin Yonggui
 2018A formal specification and verification framework for timed security protocolsLi, Li; Sun, Jun; Liu, Yang; Sun, Meng; Dong, Jin-Song
 2012Model checking software architecture designZhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun
2020NHC-catalyzed cascade reaction between β-methyl enals and dienones for quick construction of complex multicyclic lactonesSun, Jun; Xu, Jun; Nie, Guihua; Jin, Zhichao; Chi, Robin Yonggui
 2018Towards model checking android applicationsBai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem
 2013Towards verification of computation orchestrationDong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
 2012Using monterey phoenix to formalize and verify system architecturesZhang, Jiexin; Liu, Yang; Auguston, Mikhail; Sun, Jun; Dong, Jin Song
 2018A UTP semantics for communicating processes with shared variables and its formal encoding in PVSShi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
 2013Verifying linearizability via optimized refinement checkingDong, Jin Song; Liu, Yanhong A.; Zhang, Shao Jie; Sun, Jun; Liu, Yang; Chen, Wei