FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS by YUE, HOUGUANG

Get full text

Modeling and analyzing mixed communications in service-oriented trustworthy software by Jiang, JianMin, Zhang, Shi, Gong, Ping, Hong, Zhong, Yue, HouGuang

Get full text

Refinement of actions for real-time concurrent systems with causal ambiguity by Majster-Cederbaum, Mila, Wu, Jinzhao, Yue, Houguang

Get full text

An Eliminating Causal Ambiguity Approach to Reactive Systems by Houguang Yue

Request full text

Towards action refinement for concurrent systems with causal ambiguity by Jinzhao Wu, Houguang Yue

Request full text

Discovery and Pre-Clinical Characterization of Third-Generation 4‑H Heteroaryldihydropyrimidine (HAP) Analogues as Hepatitis B Virus (HBV) Capsid Inhibitors by Qiu, Zongxing, Lin, Xianfeng, Zhang, Weixing, Zhou, Mingwei, Guo, Lei, Kocer, Buelent, Wu, Guolong, Zhang, Zhisen, Liu, Haixia, Shi, Houguang, Kou, Buyu, Hu, Taishan, Hu, Yimin, Huang, Mengwei, Yan, S. Frank, Xu, Zhiheng, Zhou, Zheng, Qin, Ning, Wang, Yue Fen, Ren, Shuang, Qiu, Hongxia, Zhang, Yuxia, Zhang, Yi, Wu, Xiaoyue, Sun, Kai, Zhong, Sheng, Xie, Jianxun, Ottaviani, Giorgio, Zhou, Yuan, Zhu, Lina, Tian, Xiaojun, Shi, Liping, Shen, Fang, Mao, Yi, Zhou, Xue, Gao, Lu, Young, John A. T, Wu, Jim Zhen, Yang, Guang, Mayweg, Alexander V, Shen, Hong C, Tang, Guozhi, Zhu, Wei

Get full text

Serum Heparanase: A New Clinical Biomarker Involved in Senile Metabolic Inflammatory Syndrome by Wang, Qingsong, Zhou, Xiu-ling, Mei, Guang-hai, Wang, Jiantao, Yu, Zhongyu, Hu, Yue, Guo, Xinyu, Zhang, Hanyu, Xu, Xiaodie, He, Chengfeng, Guo, Jingchun, Tao, Yinghong, Zhou, Houguang

Get full text