| Component-based software engineering: the need to link methods and their theories H Jifeng, X Li, Z Liu Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005 | 172 | 2005 |
| rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical Computer Science 365 (1), 109-142, 2006 | 159 | 2006 |
| 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 | 153 | 2019 |
| A formal semantics of UML sequence diagram X Li, Z Liu, H Jifeng 2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004 | 148 | 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 | 99 | 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 | 97 | 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 | 92 | 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 | 79 | 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 | 62 | 2005 |
| A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006 | 57 | 2006 |
| 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 |
| 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 | 54 | 2019 |
| 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 | 54 | 2018 |
| A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin | 48 | 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 | 42 | 2020 |
| Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 39 | 2005 |
| 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, ChinaVerified email at swu.edu.cn
