| rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical Computer Science 365 (1), 109-142, 2006 | 179* | 2006 |
| 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 | 165 | 2005 |
| A formal semantics of UML sequence diagram X Li, Z Liu, H Jifeng 2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004 | 122 | 2004 |
| Linear duration invariants Z Chaochen, Z Jingzhong, Y Lu, L Xiaoshan Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994 | 95 | 1994 |
| 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 | 93 | 2019 |
| Formal and use-case driven requirement analysis in UML X Li, Z Liu, J He 25th Annual International Computer Software and Applications Conference …, 2001 | 75 | 2001 |
| 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 | 74 | 2003 |
| A mean value calculus of durations Z Chaochen, L Xiaoshan A classical mind, 431-451, 1994 | 72* | 1994 |
| Consistent code generation from UML models Q Long, Z Liu, X Li, H Jifeng 2005 Australian Software Engineering Conference, 23-30, 2005 | 58 | 2005 |
| 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 | 57 | 2018 |
| A duration calculus with infinite intervals Z Chaochen, DV Hung, L Xiaoshan Lecture Notes in Computer Science, 16-16, 1995 | 55 | 1995 |
| A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006 | 52 | 2006 |
| A relational model for object-oriented designs. J He, Z Liu, X Li, S Qin Springer, 2004 | 48 | 2004 |
| 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 | 47 | 2020 |
| 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 | 44 | 2018 |
| Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005 | 37 | 2005 |
| Linking UML models of design and requirement J Liu, Z Liu, J He, X Li 2004 Australian Software Engineering Conference. Proceedings., 329-338, 2004 | 37 | 2004 |
| 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 | 36 | 2018 |
| rCOS: Refinement of component and object systems Z Liu, H Jifeng, X Li FMCO 3657, 183-221, 2004 | 36 | 2004 |
| Contract oriented development of component software Z Liu, H Jifeng, X Li Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 35 | 2004 |
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaBestätigte E-Mail-Adresse bei swu.edu.cn
