Folgen
Xiaoshan Li
Xiaoshan Li
Associate Professor of Computer Science, University of Macau
Bestätigte E-Mail-Adresse bei umac.mo - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1652005
A formal semantics of UML sequence diagram
X Li, Z Liu, H Jifeng
2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004
1222004
Linear duration invariants
Z Chaochen, Z Jingzhong, Y Lu, L Xiaoshan
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
951994
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
932019
Formal and use-case driven requirement analysis in UML
X Li, Z Liu, J He
25th Annual International Computer Software and Applications Conference …, 2001
752001
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
742003
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
582005
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
572018
A duration calculus with infinite intervals
Z Chaochen, DV Hung, L Xiaoshan
Lecture Notes in Computer Science, 16-16, 1995
551995
A theory of reactive components
J He, X Li, Z Liu
Electronic Notes in Theoretical Computer Science 160, 173-195, 2006
522006
A relational model for object-oriented designs.
J He, Z Liu, X Li, S Qin
Springer, 2004
482004
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
472020
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
442018
Consistency checking of UML requirements
X Li, Z Liu, J He
10th IEEE International Conference on Engineering of Complex Computer …, 2005
372005
Linking UML models of design and requirement
J Liu, Z Liu, J He, X Li
2004 Australian Software Engineering Conference. Proceedings., 329-338, 2004
372004
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
362018
rCOS: Refinement of component and object systems
Z Liu, H Jifeng, X Li
FMCO 3657, 183-221, 2004
362004
Contract oriented development of component software
Z Liu, H Jifeng, X Li
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
352004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20