Yury Savateev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICWE | Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation. | Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Ruben Taelman, George Roussos |
| 2024 | WWW | A Demonstration of Decentralized Search Over Solid Personal Online Datastores. | Mohamed Ragab, Yury Savateev, Helen Oliver, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos |
| 2024 | WWW | Unlocking the Potential of Health Data with Decentralised Search in Personal Health Datastores. | Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos |
| 2024 | WWW | The 1st Workshop on Decentralised Search and Recommendation. | Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos |
| 2023 | IJCAI | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2023 | WISE | ESPRESSO: A Framework for Empowering Search on Decentralized Web. | Mohamed Ragab, Yury Savateev, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos |
| 2022 | KR | Unique Characterisability and Learnability of Temporal Instance Queries. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2021 | TIME | Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. | Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev |
| 2019 | WoLLIC | Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2017 | WoLLIC | Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. | Yury Savateev, Daniyar S. Shamkanov |
| 2011 | TABLEAUX | Sequent Calculus for Justifications. | Yury Savateev |
| 2009 | LFCS | Product-Free Lambek Calculus Is NP-Complete. | Yury Savateev |
| 2008 | CSR | Lambek Grammars with One Division Are Decidable in Polynomial Time. | Yury Savateev |