EDBT 2026 Demo / reviewers in the wild / expert
GaiYun Liu
dblp:18/10654 · also Gai Yun Liu, Gaiyun Liu
· DBLP profile ↗
6ranked-venue papers in the field
3as first author
3since 2021 · last 2026
0000-0002-4947-6267ORCID · verified
Domains — venue-derived; a paper can count in several
Knowledge Engineering, Semantic Web & Information Systems · 6 (3 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Verification and enforcement of k-step mutual opacity of networked systems
Robia Arif, GaiYun Liu, Abdulrahman Al-Ahmari, Zhiwu Li 0001 |
Inf. Sci. | 2 |
| 2024 | Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots
Umar Suleiman Abubakar, GaiYun Liu |
Inf. Sci. | 2 |
| 2023 | Adaptive supervisory control for a class of Petri nets with bimodal transitions
Umar Suleiman Abubakar, GaiYun Liu, Kamel Barkaoui, Zhiwu Li 0001 |
Inf. Sci. | 2 |
| 2020 | Robust deadlock control for automated manufacturing systems based on elementary siphon theory
GaiYun Liu, Lingchun Zhang, Liang Chang 0003, Abdulrahman Al-Ahmari |
Inf. Sci. | 1 |
| 2016 | A survey of siphons in Petri nets
GaiYun Liu, Kamel Barkaoui |
Inf. Sci. | 1 |
| 2013 | Robustness of deadlock control for a class of Petri nets with unreliable resources
GaiYun Liu, Zhiwu Li 0001, Kamel Barkaoui, Abdulrahman Al-Ahmari |
Inf. Sci. | 1 |