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 | 155 | 2006 |
A formal semantics of UML sequence diagram X Li, Z Liu, H Jifeng 2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004 | 140 | 2004 |
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 | 132 | 2019 |
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 |
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 | 84 | 2020 |
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 | 83 | 2018 |
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 | 79 | 2018 |
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 | 61 | 2005 |
A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006 | 56 | 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 |
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 | 48 | 2018 |
A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin | 47 | 2004 |
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 | 46 | 2019 |
Contract oriented development of component software Z Liu, H Jifeng, X Li Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 39 | 2004 |
Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 38 | 2005 |
rCOS: Refinement of Component and Object Systems Z Liu, H Jifeng, X Li Formal Methods for Components and Objects: Third International Symposium …, 2005 | 38 | 2005 |