Xinfeng Shu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2016–2019
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | COCOON | An Efficient Decision Procedure for Propositional Projection Temporal Logic. | Xinfeng Shu, Nan Zhang |
| 2019 | COCOON | A Proof System for a Unified Temporal Logic. | Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang |
| 2016 | COCOON | Extending MSVL with Semaphore. | Xinfeng Shu, Zhenhua Duan |