Dimitar P. Guelev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A Complete Proof System for HyperLTL. | Naijun Zhan, Wen Tang, Dimitar P. Guelev |
| 2022 | TIME | Gabbay Separation for the Duration Calculus. | Dimitar P. Guelev |
| 2017 | SETTA | Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. | Dimitar P. Guelev, Shuling Wang, Naijun Zhan |
| 2015 | SETTA | An Application of Temporal Projection to Interleaving Concurrency. | Ben C. Moszkowski, Dimitar P. Guelev |
| 2012 | TAMC | An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. | Shuling Wang, Naijun Zhan, Dimitar P. Guelev |
| 2004 | CCS | Synthesising verified access control systems in XACML. | Nan Zhang, Mark Ryan, Dimitar P. Guelev |