Zuxi Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2019–2026
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers. | Xiangyu Luo, Li Li, Lijun Wu, Kaile Su, Zuxi Chen, Lixiao Zheng |
| 2019 | TASE | Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata. | Zuxi Chen, Huixing Fang, Xiangyu Luo |