Decidability in elementary analysis, IHarvey Friedman; Ákos Seress · Advances in Mathematics · 1989

Decidability in elementary analysis, IIHarvey Friedman; Ákos Seress · Advances in Mathematics · 1990

ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMSBEN-AMRAM, AMIR M.; KRISTIANSEN, LARS · International Journal of Foundations of Computer Science · 2012

Decidability for a temporal logic used in discrete-event system analysisKNIGHT, J. F.; PASSINO, K. M. · International Journal of Control · 1990

[IEEE Comput. Soc. Press 1993 International Conference on Network Protocols - San Francisco, CA, USA (19-22 Oct. 1993)] 1993 International Conference on Network Protocols - Decidability issues in reduced reachability analysisCacciari, L.; Rafiq, O. · 1993

A genome-wide association study identifies six novel risk loci for primary biliary cholangitisQiu, Fang; Tang, Ruqi; Zuo, Xianbo; Shi, Xingjuan; Wei, Yiran; Zheng, Xiaodong; Dai, Yaping; Gong, Yuhua; Wang, Lan; Xu, Ping; Zhu, Xiang; Wu, Jian; Han, Chongxu; Gao, Yueqiu; Zhang, Kui; Jiang, Yuzhang; Zhou, Jianbo; Shao, Youlin; Hu, Zhigang; Tian, Ye; Zhang, Haiyan; Dai, Na; Liu, Lei; Wu, Xudong; Zhao, Weifeng; Zhang, Xiaomin; Zang, Zhidong; Nie, Jinshan; Sun, Weihao; Zhao, Yi; Mao, Yuan; Jiang, Po; Ji, Hualiang; Dong, Qing; Li, Junming; Li, Zhenzhong; Bai, Xinli; Li, Li; Lin, Maosong; Dong, Ming; Li, Jinxin; Zhu, Ping; Wang, Chan; Zhang, Yanqiu; Jiang, Peng; Wang, Yujue; Jawed, Rohil; Xu, Jing; Zhang, Yu; Wang, Qixia; Yang, Yue; Yang, Fan; Lian, Min; Jiang, Xiang; Xiao, Xiao; Li, Yanmei; Fang, Jingyuan; Qiu, Dekai; Zhu, Zhen; Qiu, Hong; Zhang, Jianqiong; Tian, Wenyan; Chen, Sufang; Jiang, Ling; Ji, Bing; Li, Ping; Chen, Guochang; Wu, Tianxue; Sun, Yan; Yu, Jianjiang; Tang, Huijun; He, Michun; Xia, Min; Pei, Hao; Huang, Lihua; Qing, Zhuye; Wu, Jianfang; Huang, Qinghai; Han, Junhai; Xie, Wei; Sun, Zhongsheng; Guo, Jian; He, Gengsheng; Eric Gershwin, M.; Lian, Zhexiong; Liu, Xiang; Seldin, Michael F.; Liu, Xiangdong; Chen, Weichang; Ma, Xiong · Nature Communications · 2017