Hanyue Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Compositional Abstraction for Timed Systems with Broadcast Synchronization. | Hanyue Chen, Miaomiao Zhang, Frits W. Vaandrager |
| 2023 | CAV | Learning Assumptions for Compositional Verification of Timed Automata. | Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi |
| 2021 | CIKM | LEReg: Empower Graph Neural Networks with Local Energy Regularization. | Xiaojun Ma, Hanyue Chen, Guojie Song |
| 2021 | WWW | Improving Graph Neural Networks with Structural Adaptive Receptive Fields. | Xiaojun Ma, Junshan Wang, Hanyue Chen, Guojie Song |