On the Expressive Power of Some Extensions of Linear Temporal Logic. - Anton R. Gnatenko; Vladimir A. Zakharov (Autom. Control. Comput. Sci., 2019)

On the Model Checking Problem for Some Extension of CTL. - Anton R. Gnatenko; Vladimir A. Zakharov (Autom. Control. Comput. Sci., 2021)

Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic. - Anton R. Gnatenko; Vladimir A. Zakharov (Autom. Control. Comput. Sci., 2022)

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2023)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2024)

Modelling and Mining Knowledge About Computational Complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (EKAW, 2024)

Building an ontology of computational complexity. - Anton R. Gnatenko; Oliver Kutz; Nicolas Troquard (JOWO, 2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (ICDT, 2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (CoRR, 2025)