Qiyuan Xu

According to our database, Qiyuan Xu authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules.

Qiyuan Xu, David Sanán, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

Proc. ACM Program. Lang., 2025

2023

A Review of Intelligent Verification System for Distribution Automation Terminal based on Artificial Intelligence Algorithms.

Hongwei Li, Qiyuan Xu, Qilin Wang, Bin Tang

J. Cloud Comput., December, 2023