| 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 | 17 | 2021 |
| Product-free Lambek calculus is NP-complete Y Savateev Annals of Pure and Applied Logic 163 (7), 775-788, 2012 | 16 | 2012 |
| 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 | 14 | 2022 |
| Unidirectional Lambek grammars in polynomial time Y Savateev Theory of Computing Systems 46 (4), 662-672, 2010 | 13 | 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 | 9 | 2023 |
| 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 |
| 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 | 5 | 2023 |
| Deciding FO-rewritability of ontology-mediated queries in linear temporal logic V Ryzhikov, Y Savateev, M Zakhariyashchev | 5 | 2021 |
| The derivability problem for Lambek calculus with one division Y Savateev Artificial Intelligence Preprint Series 56, 2006 | 5 | 2006 |
| 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 | 4 | 2019 |
| 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 | 2 | 2023 |
| 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 | 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 |
| 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 on Web Conference 2024, 1154-1157, 2024 | | 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 on Web Conference 2024, 1055-1058, 2024 | | 2024 |
| DESERE: The 1st Workshop on Decentralised Search and Recommendation M Ragab, Y Savateev, W Wang, R Moosaei, T Tiropanis, A Poulovassilis, ... arXiv preprint arXiv:2403.07732, 2024 | | 2024 |
