| 2023 | IJCAI | Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | ICISSP | Zero Update Encryption Adjustment on Encrypted Database Queries. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2022 | ICISSP | Efficient and Secure Encryption Adjustment for JSON Data. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2022 | KR | Unique Characterisability and Learnability of Temporal Instance Queries. | Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev |
| 2022 | KR | Interpolants and Explicit Definitions in Extensions of the Description Logic EL. | Marie Fortin, Boris Konev, Frank Wolter |
| 2021 | ICISSP | Release-aware In-out Encryption Adjustment in MongoDB Query Processing. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2019 | IC3K | Ontology Learning from Twitter Data. | Saad Alajlan, Frans Coenen, Boris Konev, Angrosh Mandya |
| 2019 | ICISSP | Flexible Access Control and Confidentiality over Encrypted Data for Document-based Database. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2019 | ICISSP | Fine-Grained Access Control for Querying Over Encrypted Document-Oriented Database. | Maryam Almarwani, Boris Konev, Alexei Lisitsa |
| 2018 | KR | ExactLearner: A Tool for Exact Learning of EL Ontologies. | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
| 2016 | AAAI | A Model for Learning Description Logic Ontologies Based on Exact Learning. | Boris Konev, Ana Ozaki, Frank Wolter |
| 2016 | IJCAI | Conservative Rewritability of Description Logic TBoxes. | Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
| 2016 | KR | Anti-Unification of Concepts in Description Logic EL. | Boris Konev, Temur Kutsia |
| 2015 | IROS | Scalable distributed collaborative tracking and mapping with Micro Aerial Vehicles. | Richard Williams, Boris Konev, Frans Coenen |
| 2014 | ECAI | Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. | William Gatens, Boris Konev, Frank Wolter |
| 2014 | KR | Exact Learning of Lightweight Description Logic Ontologies. | Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter |
| 2014 | KR | Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. | Michel Ludwig, Boris Konev |
| 2014 | SAT | A SAT Attack on the Erdős Discrepancy Conjecture. | Boris Konev, Alexei Lisitsa |
| 2013 | CADE | Propositional Temporal Proving with Reductions to a SAT Problem. | Richard Williams, Boris Konev |
| 2012 | CADE | Logical Difference Computation with CEX2.5. | Boris Konev, Michel Ludwig, Frank Wolter |
| 2012 | SYNASC | Labelled Tableaux for Temporal Logic with Cardinality Constraints. | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
| 2012 | TIME | Symmetric Temporal Theorem Proving. | Amir Niknafs-Kermani, Boris Konev, Michael Fisher |
| 2011 | AAAI | Conjunctive Query Inseparability of OWL 2 QL TBoxes. | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev |
| 2010 | KR | Decomposing Description Logic Ontologies. | Boris Konev, Carsten Lutz, Denis K. Ponomaryov, Frank Wolter |
| 2009 | IJCAI | Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | CADE | The Logical Difference Problem for Description Logic Terminologies. | Boris Konev, Dirk Walther, Frank Wolter |
| 2008 | ECAI | Semantic Modularity and Module Extraction in Description Logics. | Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter |
| 2008 | TIME | Practical First-Order Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
| 2007 | IJCAI | Tractable Temporal Reasoning. | Clare Dixon, Michael Fisher, Boris Konev |
| 2006 | AiML | Dynamic topological logics over spaces with continuous functions. | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
| 2006 | JELIA | On Herbrand's Theorem for Intuitionistic Logic. | Alexander V. Lyaletski, Boris Konev |
| 2006 | TIME | Is There a Future for Deductive Temporal Verification? | Clare Dixon, Michael Fisher, Boris Konev |
| 2005 | CADE | Deciding Monodic Fragments by Temporal Resolution. | Ullrich Hustadt, Boris Konev, Renate A. Schmidt |
| 2005 | CADE | Temporal Logics over Transitive States. | Boris Konev, Frank Wolter, Michael Zakharyaschev |
| 2004 | CADE | TeMP: A Temporal Monodic Prover. | Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov |
| 2003 | CADE | Monodic Temporal Resolution. | Anatoli Degtyarev, Michael Fisher, Boris Konev |
| 2003 | CADE | TRP++2.0: A Temporal Resolution Prover. | Ullrich Hustadt, Boris Konev |
| 2003 | LPAR | Handling Equality in Monodic Temporal Resolution. | Boris Konev, Anatoli Degtyarev, Michael Fisher |
| 2003 | TIME | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2002 | TABLEAUX | A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. | Anatoli Degtyarev, Michael Fisher, Boris Konev |