Skip navigation
HKU Login
Guest Login
Home
Publications
Researchers
Staff
Research Postgraduates
Organizations
Grants
Datasets
Deposit Data
HKUL Research Data Management
Theses
Patents
Community Service
Browsing by Author Hu, G
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
中
or enter first few letters:
Showing results 27 to 36 of 36
< previous
Title
Author(s)
Issue Date
Sound and precise analysis of parallel programs through schedule specialization
Proceeding/Conference:
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Wu, J
Tang, Y
Hu, G
Cui, H
Yang, J
2012
Sound and precise analysis of parallel programs through schedule specialization
Proceeding/Conference:
ACM SIGPLAN Notices
Wu, J
Tang, Y
Hu, G
Cui, H
Yang, J
2012
Structural stability and electronic, magnetic properties of Ge adsorption on defected graphene: A first-principles study
Journal:
Physica E: Low-Dimensional Systems and Nanostructures
Dai, X
Li, Y
Xie, M
Hu, G
Zhao, J
Zhao, B
2011
StructuralcharacterizationofLa0.9Ba0.1MnO3/Y-ZrO2 film by X-ray diffraction
Journal:
Physica B
Tan, W
Wang, H O
Dau, P
Wu, H P
Wu, X
Jia, Q J
Hu, G
Gao, J
2011
Supporting students’ assignment writing: what lecturers do in a Master of Education programme
Journal:
Assessment & Evaluation in Higher Education
Li, Y
Hu, G
2018
TAC1 gene products regulate pituitary hormone secretion and gene expression in prepubertal grass carp pituitary cells
Journal:
Endocrinology
Hu, G
He, M
Ko, KW
Wong, AOL
2017
The roles of self–absorption and radiative energy transfer in photoluminescence of N–doped carbon nanodots in solution
Journal:
AIP Advances
Zhang, J
Su, Z
Cui, Y
Hu, G
Tang, YL
Gan, ZX
Yang, L
Lao, X
Bao, Y
Xu, S
2019
The ‘dual motives’ of written assignments in an MEd programme
Proceeding/Conference:
17th Symposium for Second Language Writing
Li, Y
Hu, G
2018
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:
International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS
Cui, H
Hu, G
Wu, J
Yang, J
2013
Verifying systems rules using rule-directed symbolic execution
Proceeding/Conference:
ACM SIGPLAN Notices
Cui, H
Hu, G
Wu, J
Yang, J
2013