Renyan Feng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TASE | Strong Forgetting in Hennessy-Milner Logic. | Xin Zhou, Yisong Wang, Renyan Feng, Songhang Xu |
| 2020 | KR | On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. | Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu |