| Component-based software engineering: the need to link methods and their theories H Jifeng, X Li, Z Liu International Colloquium on Theoretical Aspects of Computing, 70-95, 2005 | 172 | 2005 |
| Deep learning for in vitro prediction of pharmaceutical formulations Y Yang, Z Ye, Y Su, Q Zhao, X Li, D Ouyang Acta pharmaceutica sinica B 9 (1), 177-185, 2019 | 160 | 2019 |
| rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical Computer Science 365 (1), 109-142, 2006 | 157 | 2006 |
| A formal semantics of UML sequence diagram X Li, Z Liu, H Jifeng 2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004 | 145 | 2004 |
| Predicting oral disintegrating tablet formulations by neural network techniques R Han, Y Yang, X Li, D Ouyang Asian journal of pharmaceutical sciences 13 (4), 336-342, 2018 | 101 | 2018 |
| Linear duration invariants Z Chaochen, Z Jingzhong, Y Lu, L Xiaoshan International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994 | 98 | 1994 |
| An integrated transfer learning and multitask learning approach for pharmacokinetic parameter prediction Z Ye, Y Yang, X Li, D Cao, D Ouyang Molecular pharmaceutics 16 (2), 533-541, 2018 | 96 | 2018 |
| A mean value calculus of durations Z Chaochen, L Xiaoshan A classical mind, 431-451, 1994 | 95* | 1994 |
| Relations of COVID-19-related stressors and social support with Chinese college students' psychological response during the COVID-19 pandemic X Li, H Wu, F Meng, L Li, Y Wang, M Zhou Frontiers in psychiatry 11, 551315, 2020 | 94 | 2020 |
| A relational model for formal object-oriented requirement analysis in UML Z Liu, H Jifeng, X Li, Y Chen Formal Methods and Software Engineering: 5th International Conference on …, 2003 | 78 | 2003 |
| Formal and use-case driven requirement analysis in UML X Li, Z Liu, J He 25th Annual International Computer Software and Applications Conference …, 2001 | 76 | 2001 |
| Consistent code generation from UML models Q Long, Z Liu, X Li, H Jifeng 2005 Australian Software Engineering Conference, 23-30, 2005 | 63 | 2005 |
| Public perceptions and information seeking intentions related to seismicity in five Texas communities LA Kahlor, W Wang, HC Olson, X Li, AB Markman International journal of disaster risk reduction 37, 101147, 2019 | 56 | 2019 |
| A duration calculus with infinite intervals Z Chaochen, D Van Hung, L Xiaoshan International Symposium on Fundamentals of Computation Theory, 16-41, 1995 | 56 | 1995 |
| Medshare: a novel hybrid cloud for medical resource sharing among autonomous healthcare providers Y Yang, X Li, N Qamar, P Liu, W Ke, B Shen, Z Liu IEEe Access 6, 46949-46961, 2018 | 55 | 2018 |
| A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006 | 55 | 2006 |
| A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin | 46 | 2004 |
| Environmental risk (and benefit) information seeking intentions: The case of carbon capture and storage in Southeast Texas LA Kahlor, J Yang, X Li, W Wang, HC Olson, L Atkinson Environmental Communication 14 (4), 555-572, 2020 | 45 | 2020 |
| Modelling with relational calculus of object and component systems-rCOS Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 39 | 2008 |
| rCOS: Refinement of Component and Object Systems Z Liu, H Jifeng, X Li Formal Methods for Components and Objects: Third International Symposium …, 2005 | 39 | 2005 |
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, Chinaایمیل تأیید شده در swu.edu.cn
