Dongming Xiang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network. | Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding |
| 2024 | SMC | Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets. | Hanqian Tu, Dongming Xiang, Wang Lin, Guanjun Liu |
| 2018 | ICA3PP | Verifying CTL with Unfoldings of Petri Nets. | Lanlan Dong, Guanjun Liu, Dongming Xiang |
| 2018 | SMC | A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets. | Bo Yang, Guanjun Liu, Dongming Xiang, Chungang Yan, Changjun Jiang |
| 2016 | ICPADS | Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations. | Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang |