Anton R. Gnatenko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ECAI | Analysing Temporal Reasoning in Description Logics Using Formal Grammars. | Camille Bourgaux, Anton R. Gnatenko, Michal Thomazo |
| 2025 | ICDT | On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. | Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2024 | EKAW | Modelling and Mining Knowledge About Computational Complexity. | Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard |