Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Su, Kai-Le, Chen, Qing-Liang, Sattar, Abdul, Yue, Wei-Ya, Lv, Guan-Feng, Zheng, Xi-Zhong
Published in Journal of computer science and technology (01.11.2006)
Published in Journal of computer science and technology (01.11.2006)
Get full text
Journal Article
Predictive Ability of the SYNergy Between Percutaneous Coronary Intervention with TAXus and Cardiac Surgery Score Ⅱ for Long-term Mortality in Patients with Three-vessel Coronary Artery Disease Undergoing Percutaneous Coronary Intervention Treated
Ji-Qiang He Xian-Peng Yu Cheng Peng Quan Li Ya-Wei Luo Yue-Chun Gao Xiao-Ling Zhang Chang-Yan Wu Hua Zhao Yu-Chen Zhang Jing-Hua Liu Shu-Zheng Lyu Fang Chen
Published in 中华医学杂志（英文版） (2015)
Published in 中华医学杂志（英文版） (2015)
Get full text
Journal Article
SAT-based algorithm for knowledge reasoning
Su, Kai-Le, Chen, Qing-Liang, Yue, Wei-Ya
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.06.2007)
Get full text
Published in Jisuanji Kexue yu Tansuo / Journal of Computer Science and Frontiers (01.06.2007)
Journal Article
Two new indole derivatives as anion receptors for detecting fluoride ion
Liu, Xiu-Ming, Zhao, Qiang, Li, Yue, Song, Wei-Chao, Li, Ya-Ping, Chang, Ze, Bu, Xian-He
Published in Chinese chemical letters (01.11.2013)
Published in Chinese chemical letters (01.11.2013)
Get full text
Journal Article