Skip to content

Yihui Guo

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2025–2025

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2025APSECUnified Modelling and Consistency Verification of UML Multi-View Models Using Alloy.Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu