Leifeng He
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | TASE | Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. | Leifeng He, Guanjun Liu |
| 2020 | SERVICES | Petri Nets Based Verification of Epistemic Logic and Its Application on Protocols of Privacy and Security. | Leifeng He, Guanjun Liu |
| 2019 | HPCC | Model Checking CTLK Based on Knowledge-Oriented Petri Nets. | Leifeng He, Guanjun Liu |
| 2016 | APSCC | A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. | Leifeng He, Guanjun Liu, Mimi Wang |