Browsing by Author Sun, Jun
Showing results 1 to 17 of 17
| Issue Date | Title | Author(s) | |
|---|---|---|---|
 | 2020 | Automated synthesis of local time requirement for service composition | André, Étienne; Tan, Tian Huat; Chen, Manman; Liu, Shuang; Sun, Jun; Liu, Yang; Dong, Jin Song |
| 2018 | Carbene-catalyzed [4 + 2] cycloadditions of vinyl enolate and (in situ generated) imines for enantioselective synthesis of quaternary α-amino phosphonates | Sun, Jun; Mou, Chengli; Wang, Zhongyao; He, Fangcheng; Wu, Jian; Chi, Robin Yonggui |
| 2018 | Carbene-catalyzed enal γ-carbon addition to α-ketophosphonates for enantioselective access to bioactive 2-pyranylphosphonates | Sun, Jun; He, Fangcheng; Wang, Zhongyao; Pan, Dingwu; Zheng, Pengcheng; Mou, Chengli; Jin, Zhichao; Chi, Robin Yonggui |
| 2018 | Carbene-catalyzed enantioselective addition of benzylic carbon to unsaturated acyl azolium for rapid synthesis of pyrrolo[3,2- c]quinolines | Wang, Jilan; Li, Yongjia; Sun, Jun; Wang, Hong; Jin, Zhichao; Chi, Robin Yonggui |
| 2021 | Carbene-catalyzed enantioselective aldol reaction : post-aldol stereochemistry control and formation of quaternary stereogenic centers | Yang, 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 |
| 2017 | Carbene-catalyzed indole 3-Methyl C(sp3)-H bond functionalization | Cheng, Jian; Sun, Jun; Yan, Jiekuan; Yang, Song; Zheng, Pengcheng; Jin, Zhichao; Chi, Robin Yonggui | |
| 2017 | Carbene-catalyzed indole 3-methyl C(sp3)-H bond functionalization | Cheng, Jian; Sun, Jun; Yan, Jiekuan; Yang, Song; Zheng, Pengcheng; Jin, Zhichao; Chi, Robin Yonggui |
| 2017 | Carbene-catalyzed LUMO activation of alkyne esters for access to functional pyridines | Mou, Chengli; Wu, Jichang; Huang, Zhijian; Sun, Jun; Jin, Zhichao; Chi, Robin Yonggui |
| 2018 | Enantioselective access to multi-cyclic α-amino phosphonates via carbene-catalyzed cycloaddition reactions between enals and six-membered cyclic imines | Sun, Jun; Mou, Chengli; Liu, Changyi; Huang, Ruoyan; Zhang, Shupeng; Zheng, Pengcheng; Chi, Robin Yonggui |
| 2018 | A formal specification and verification framework for timed security protocols | Li, Li; Sun, Jun; Liu, Yang; Sun, Meng; Dong, Jin-Song | |
| 2012 | Model checking software architecture design | Zhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun | |
| 2020 | NHC-catalyzed cascade reaction between β-methyl enals and dienones for quick construction of complex multicyclic lactones | Sun, Jun; Xu, Jun; Nie, Guihua; Jin, Zhichao; Chi, Robin Yonggui |
| 2018 | Towards model checking android applications | Bai, Guangdong; Ye, Quanqi; Wu, Yongzheng; Botha, Heila; Sun, Jun; Liu, Yang; Dong, Jin Song; Visser, Willem | |
| 2013 | Towards verification of computation orchestration | Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian | |
| 2012 | Using monterey phoenix to formalize and verify system architectures | Zhang, Jiexin; Liu, Yang; Auguston, Mikhail; Sun, Jun; Dong, Jin Song | |
| 2018 | A UTP semantics for communicating processes with shared variables and its formal encoding in PVS | Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao | |
| 2013 | Verifying linearizability via optimized refinement checking | Dong, Jin Song; Liu, Yanhong A.; Zhang, Shao Jie; Sun, Jun; Liu, Yang; Chen, Wei |