Personal profile
Qualifications
Doctor of Philosophy
Master of Science
Master of Engineering
Bachelor of Science
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Loop restricted existential rules and first-order rewritability for query answering
Asuncion, V., Zhang, Y., Zhang, H. & Bai, Y., 1 Mar 2024, In: Journal of Logic and Computation. 34, 2, p. 315-351 37 p.Research output: Contribution to journal › Article › peer-review
-
The effect of blood pressure lowering medications on the prevention of episodic migraine : a systematic review and meta-analysis
Carcel, C., Haghdoost, F., Shen, J., Nanda, P., Bai, Y., Atkins, E., Torii-Yoshimura, T., Clough, A. J., Davies, L., Cordato, D., Griffiths, L. R., Balicki, G., Wang, X., Vidyasagar, K., Malavera, A., Anderson, C. S., Zagami, A. S., Delcourt, C. & Rodgers, A., Jun 2023, In: Cephalalgia. 43, 6, 9 p.Research output: Contribution to journal › Article › peer-review
Open Access26 Citations (Scopus) -
Long-term regional evidence of the effects of livestock grazing on soil microbial community structure and functions in surface and deep soil layers
Wu, Y., Chen, D., Delgado-Baquerizo, M., Liu, S., Wang, B., Wu, J., Hu, S. & Bai, Y., May 2022, In: Soil Biology and Biochemistry. 168, 10 p., 108629.Research output: Contribution to journal › Article › peer-review
77 Citations (Scopus) -
Loop restricted existential rules and first-order rewritability for query answering
Asuncion, V., Zhang, Y., Zhang, H., Bai, Y. & Si, W., 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 27 October- 2 November 2018, Arizona, U.S.. AAAI, p. 619-620 2 p.Research output: Chapter in Book / Conference Paper › Conference Paper
-
Role updating in information systems using model checking
Hu, J., Khan, K. M., Zhang, Y., Bai, Y. & Li, R., 1 Apr 2017, In: Knowledge and Information Systems. 51, 1, p. 187-234 48 p.Research output: Contribution to journal › Article › peer-review
6 Citations (Scopus)
Projects
- 5 Finished
-
Building robust network topologies against cyber attacks for critical infrastructure networks [via UNSW]
Si, W. (PI), Bai, Y. (Investigator), Zheng, W. X. (Investigator) & Zomaya, A. (Investigator)
The NSW Cyber Security Network
1/01/19 → 31/12/20
Project: Research
-
An answer set programming approach for specification and verification of distributed authorizations in complex environments [via Qatar Uni]
Zhang, Y. (PI), Bai, Y. (Investigator), Deng, J. (Scholarship Recipient) & Khan, K. (Investigator)
1/12/10 → 31/05/14
Project: Research
-
Answer Set Programming for Distributed Authorisations with Delegation
Bai, Y. (PI), Zhang, Y. (Investigator) & Chen, J. (Investigator)
20/12/06 → 3/01/08
Project: Research
-
Model updating knowledge for the correctness of security protocols
Zhang, Y. (PI) & Bai, Y. (Investigator)
16/02/04 → 15/02/05
Project: Research
-
The specification and implementation of high level authorisation rules in information systems
Bai, Y. (PI)
12/05/00 → 31/05/01
Project: Research
HDR Theses
-
On formal specification of authorization policies and their transformations : thesis
Bai, Y. (Author), 2000Western Sydney University thesis: Doctoral thesis
File