David Gabelaia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | FORTE | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FORTE | On Bisimilarity for Polyhedral Models and SLCS. | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2003 | FlAIRS | On the Computational Complexity of Spatio-Temporal Logics. | David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |