Integrating Object-Z with Timed Automata

by Dong, J.S., Duke, R., Hao, P.
Published 2013

Formal designs for embedded and hybrid systems

by Dong, J.S., Hao, P., Mahony, B.
Published 2013

The semantics and tool support of OZTA

by Dong, J.S., Hao, P., Qin, S., Zhang, X.
Published 2013

A reasoning method for timed CSP based on constraint solving

by Dong, J.S., Hao, P., Sun, J., Zhang, X.
Published 2013

HighSpec: A tool for building and checking OZTA models

by Dong, J.S., Hao, P., Zhang, X., Qin, S.C.
Published 2013

Timed automata patterns

by Dong, J.S., Hao, P., Qin, S., Sun, J., Yi, W.
Published 2013

Timed patterns: TCOZ to timed automata

by Dong, J.S., Hao, P., Qin, S.C., Sun, J., Yi, W.
Published 2013

Multiplex imaging and cellular target identification of kinase inhibitors via an affinity-based proteome profiling approach

by Su Y., Pan S., Li Z., Li L., Wu X., Hao P., Sze S.K., Yao S.Q.
Published 2020

Small molecule probe suitable for in situ profiling and inhibition of protein disulfide isomerase

by Ge, J., Zhang, C.-J., Li, L., Chong, L.M., Wu, X., Hao, P., Sze, S.K., Yao, S.Q.
Published 2014

Design and synthesis of minimalist terminal alkyne-containing diazirine photo-crosslinkers and their incorporation into kinase inhibitors for cell- and tissue-based proteome profil...

by Li, Z., Hao, P., Li, L., Tan, C.Y.J., Cheng, X., Chen, G.Y.J., Sze, S.K., Shen, H.-M., Yao, S.Q.
Published 2014

Monocyte adhesion to atherosclerotic matrix proteins is enhanced by Asn-Gly-Arg deamidation

by Dutta B., Park J.E., Kumar S., Hao P., Gallart-Palau X., Serra A., Ren Y., Sorokin V., Lee C.N., Ho H.H., De Kleijn D., Sze S.K.
Published 2018

Associated factors in modulating aflatoxin B1-albumin adduct level in three Chinese populations

by Tao, P., Zhi-Ming, L., Tang-Wei, L., Le-Qun, L., Min-Hao, P., Xue, Q., Lu-Nam, Y., Ren-Xiang, L., Zong-Liang, W., Lian-Wen, W., Qiao, W., Han-Ming, S., Choon-Nam, O., Santella, R.M.
Published 2014