Lambek Grammars with One Division Are Decidable in Polynomial Time. - Yury Savateev (CSR, 2008)

Unidirectional Lambek Grammars in Polynomial Time. - Yury Savateev (Theory Comput. Syst., 2010)

Sequent Calculus for Justifications. - Yury Savateev (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Product-free Lambek calculus is NP-complete. - Yury Savateev (Ann. Pure Appl. Log., 2012)

Proof internalization in generalized Frege systems for classical logic. - Yury Savateev (Ann. Pure Appl. Log., 2014)

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. - Yury Savateev; Daniyar S. Shamkanov (WoLLIC, 2017)

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. - Yury Savateev; Daniyar S. Shamkanov (WoLLIC, 2019)

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (Description Logics, 2020)

Deciding FO-definability of Regular Languages. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (RAMiCS, 2021)

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (TIME, 2021)

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic. - Yury Savateev; Daniyar S. Shamkanov (Rev. Symb. Log., 2021)

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (Description Logics, 2022)

Unique Characterisability and Learnability of Temporal Instance Queries. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (KR, 2022)

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (IJCAI, 2023)

ESPRESSO: A Framework for Empowering Search on Decentralized Web. - Mohamed Ragab 001; Yury Savateev; Reza Moosaei; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; George Roussos (WISE, 2023)

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (J. Artif. Intell. Res., 2023)

Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation. - Mohamed Ragab 001; Yury Savateev; Helen Oliver 001; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; Ruben Taelman; George Roussos (ICWE, 2024)

A Demonstration of Decentralized Search Over Solid Personal Online Datastores. - Mohamed Ragab 001; Yury Savateev; Helen Oliver 001; Reza Moosaei; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; George Roussos (WWW (Companion Volume), 2024)

Unlocking the Potential of Health Data with Decentralised Search in Personal Health Datastores. - Mohamed Ragab 001; Yury Savateev; Helen Oliver 001; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; George Roussos (WWW (Companion Volume), 2024)

The 1st Workshop on Decentralised Search and Recommendation. - Mohamed Ragab 001; Yury Savateev; Wenjie Wang 007; Reza Moosaei; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; Helen Oliver 001; George Roussos (WWW (Companion Volume), 2024)

DESERE: The 1st Workshop on Decentralised Search and Recommendation. - Mohamed Ragab 001; Yury Savateev; Wenjie Wang 007; Reza Moosaei; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; Helen Oliver 001; George Roussos (CoRR, 2024)

ESPRESSO: A Framework to Empower Search on the Decentralized Web. - Mohamed Ragab 001; Yury Savateev; Helen Oliver 001; Thanassis Tiropanis; Alexandra Poulovassilis; Adriane Chapman; George Roussos (Data Sci. Eng., 2024)