Dan You
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VECoS | Reversibility-Aware Step Graphs for State Space Reduction and Reversibility Checking in Concurrent Systems. | Hao Dou, Mengchu Zhou, Shouguang Wang, Dan You, Wenli Duo |
| 2018 | SMC | Liveness Enforcement for a Class of Petri Nets via Resource Allocation. | Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu |
| 2017 | SMC | Approach for minimal-siphon computation in S | Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu |
| 2015 | ICRA | Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. | ShouGuang Wang, Dan You, MengChu Zhou |
| 2015 | ICRA | New reachability trees for unbounded Petri nets. | ShouGuang Wang, MengChu Zhou, Mengdi Gan, Dan You, Yue Li |