Guanxuan Wu
Orcid: 0009-0006-8102-7329
According to our database1,
Guanxuan Wu
authored at least 2 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
IEEE Control. Syst. Lett., 2023