Xiaofei Zhao

Orcid: 0000-0003-0772-8240

Affiliations:

Lanzhou Petrochemical University of Vocational Technology, School of Information Engineering, Lanzhou, China

According to our database¹, Xiaofei Zhao authored at least 5 papers between 2025 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Augmenting software quality assurance with AI and automation using PyTest-BDD.

[BibT_eX]

[DOI]

Autom. Softw. Eng., June, 2026

Correct-by-Construction Dynamic Reachability: A Galois-Connected Approach to Bidirected Dyck Languages.

[BibT_eX]

[DOI]

Xiaofei Zhao

Proceedings of the Formal Methods - 27th International Symposium, 2026

Composable Assurance for AI Alignment: A Framework for Propagating Formal Safety Properties Through MLOps.

[BibT_eX]

[DOI]

Xiaofei Zhao

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Scalable & secure real-world asset tokenization using ethereum staking & layer-2 solutions.

[BibT_eX]

[DOI]

Peer Peer Netw. Appl., September, 2025

Adaptive resource management in dynamic Cyber-Physical Systems using Artificial Intelligence.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2025

Xiaofei Zhao

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...