Volgen
Xiaoshan Li
Xiaoshan Li
Associate Professor of Computer Science, University of Macau
Geverifieerd e-mailadres voor umac.mo - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1722005
rCOS: A refinement calculus of object systems
H Jifeng, X Li, Z Liu
Theoretical Computer Science 365 (1), 109-142, 2006
1552006
A formal semantics of UML sequence diagram
X Li, Z Liu, H Jifeng
2004 Australian Software Engineering Conference. Proceedings., 168-177, 2004
1412004
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
1192019
Linear duration invariants
Z Chaochen, Z Jingzhong, Y Lu, L Xiaoshan
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994
961994
A mean value calculus of durations
Z Chaochen, L Xiaoshan
A classical mind, 431-451, 1994
94*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, M Zhou
Frontiers in psychiatry 11, 551315, 2020
812020
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
782003
Formal and use-case driven requirement analysis in UML
X Li, Z Liu, J He
25th Annual International Computer Software and Applications Conference …, 2001
782001
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
742018
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
702018
Consistent code generation from UML models
Q Long, Z Liu, X Li, H Jifeng
2005 Australian Software Engineering Conference, 23-30, 2005
622005
A theory of reactive components
J He, X Li, Z Liu
Electronic Notes in Theoretical Computer Science 160, 173-195, 2006
562006
A duration calculus with infinite intervals
Z Chaochen, D Van Hung, L Xiaoshan
International Symposium on Fundamentals of Computation Theory, 16-41, 1995
561995
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
482018
A relational model for object-oriented designs
J He, Z Liu, X Li, S Qin, WN Chin
462004
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
412019
rCOS: Refinement of Component and Object Systems
Z Liu, H Jifeng, X Li
Formal Methods for Components and Objects: Third International Symposium …, 2005
382005
Contract oriented development of component software
Z Liu, H Jifeng, X Li
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
382004
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
372008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20