Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus. - Honghui Wu; Ahmet Taha Koru; Guanxuan Wu; Frank L. Lewis; Hai Lin 002 (IEEE Control. Syst. Lett., 2023)

AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph. - Guanxuan Wu; Allison Sullivan (MODELS, 2024)