Research outputs per year
Research outputs per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Qualifications
Doctor of Philosophy
Master of Science
Master of Engineering
Bachelor of Science
Fingerprint
Dive into the research topics where Yun Bai is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 Access16 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., 2022, In: Soil Biology and Biochemistry. 168, 10 p., 108629.Research output: Contribution to journal › Article › peer-review
56 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
5 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