| Product-free Lambek calculus is NP-complete Y Savateev International Symposium on Logical Foundations of Computer Science, 380-394, 2009 | 32 | 2009 |
| Non-well-founded proofs for the Grzegorczyk modal logic Y Savateev, D Shamkanov The Review of Symbolic Logic 14 (1), 22-50, 2021 | 19 | 2021 |
| Unique characterisability and learnability of temporal instance queries M Fortin, B Konev, V Ryzhikov, Y Savateev, F Wolter, M Zakharyaschev arXiv preprint arXiv:2205.01651, 2022 | 17 | 2022 |
| Product-free Lambek calculus is NP-complete Y Savateev Annals of pure and applied logic 163 (7), 775-788, 2012 | 16 | 2012 |
| Unidirectional Lambek grammars in polynomial time Y Savateev Theory of computing systems 46 (4), 662-672, 2010 | 14 | 2010 |
| Lambek grammars with one division are decidable in polynomial time Y Savateev International Computer Science Symposium in Russia, 273-282, 2008 | 13 | 2008 |
| ESPRESSO: A Framework for Empowering Search on Decentralized Web M Ragab, Y Savateev, R Moosaei, T Tiropanis, A Poulovassilis, ... International Conference on Web Information Systems Engineering, 360-375, 2023 | 10 | 2023 |
| Reverse engineering of temporal queries mediated by LTL ontologies M Fortin, B Konev, V Ryzhikov, Y Savateev, F Wolter, M Zakharyaschev arXiv preprint arXiv:2305.01248, 2023 | 7 | 2023 |
| Deciding FO-rewritability of ontology-mediated queries in linear temporal logic V Ryzhikov, Y Savateev, M Zakhariyashchev | 6 | 2021 |
| Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs Y Savateev, D Shamkanov International Workshop on Logic, Language, Information, and Computation, 321-335, 2017 | 6 | 2017 |
| Cut elimination for the weak modal Grzegorczyk logic via non-well-founded proofs Y Savateev, D Shamkanov Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 5 | 2019 |
| The derivability problem for Lambek calculus with one division Y Savateev Artificial Intelligence Preprint Series 56, 2006 | 5 | 2006 |
| Unlocking the potential of health data with decentralised search in personal health datastores M Ragab, Y Savateev, H Oliver, T Tiropanis, A Poulovassilis, A Chapman, ... Companion Proceedings of the ACM Web Conference 2024, 1154-1157, 2024 | 3 | 2024 |
| Deciding FO-rewritability of regular languages and ontology-mediated queries in linear temporal logic A Kurucz, V Ryzhikov, Y Savateev, M Zakharyaschev Journal of Artificial Intelligence Research 76, 645-703, 2023 | 3 | 2023 |
| ESPRESSO: A Framework to Empower Search on the Decentralized Web M Ragab, Y Savateev, H Oliver, T Tiropanis, A Poulovassilis, A Chapman, ... Data Science and Engineering 9 (4), 431-448, 2024 | 2 | 2024 |
| Decentralized search over personal online datastores: architecture and performance evaluation M Ragab, Y Savateev, H Oliver, T Tiropanis, A Poulovassilis, A Chapman, ... International conference on web engineering, 49-64, 2024 | 2 | 2024 |
| A demonstration of decentralized search over solid personal online datastores M Ragab, Y Savateev, H Oliver, R Moosaei, T Tiropanis, A Poulovassilis, ... Companion Proceedings of the ACM Web Conference 2024, 1055-1058, 2024 | 1 | 2024 |
| Reverse engineering of temporal queries with and without LTL ontologies: First steps M Fortin, B Konev, V Ryzhikov, Y Savateev, F Wolter, M Zakharyaschev Description Logics, 2022 | 1 | 2022 |
| Deciding FO-definability of regular languages A Kurucz, V Ryzhikov, Y Savateev, M Zakharyaschev International Conference on Relational and Algebraic Methods in Computer …, 2021 | 1 | 2021 |
| Proof internalization in generalized Frege systems for classical logic Y Savateev Annals of Pure and Applied Logic 165 (1), 340-356, 2014 | 1 | 2014 |
