UniCalc.LIN: a linear constraint solver for the UniCalc system - Evgueni Petrov; Yuri Kostov; Elena Botoeva (CoRR, 2006)

Expressive Approximations in DL-Lite Ontologies. - Elena Botoeva; Diego Calvanese; Mariano Rodriguez-Muro (AIMSA, 2010)

Query Rewriting in DL-Lite_^(HN)_horn. - Elena Botoeva; Alessandro Artale; Diego Calvanese (Description Logics, 2010)

Knowledge Base Exchange. - Marcelo Arenas; Elena Botoeva; Diego Calvanese (Description Logics, 2011)

Representability in DL-Lite_R Knowledge Base Exchange. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov; Evgeny Sherkhonov (Description Logics, 2012)

Exchanging Description Logic Knowledge Bases. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov; Evgeny Sherkhonov (KR, 2012)

Description Logic Knowledge Base Exchange. - Elena Botoeva (RR, 2012)

Computing Solutions in OWL 2 QL Knowledge Exchange. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (Description Logics, 2013)

Exchanging OWL 2 QL Knowledge Bases. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (IJCAI, 2013)

Query Inseparability by Games. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Inseparability for Description Logic Knowledge Bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2014)

When Are Description Logic Knowledge Bases Indistinguishable? - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2015)

Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version). - Elena Botoeva; Diego Calvanese; Valerio Santarelli; Domenico Fabio Savo; Alessandro Solimando; Guohui Xiao 001 (CoRR, 2015)

Beyond OWL 2 QL in OBDA: Rewritings and Approximations. - Elena Botoeva; Diego Calvanese; Valerio Santarelli; Domenico Fabio Savo; Alessandro Solimando; Guohui Xiao 001 (AAAI, 2016)

OBDA Over Non-Relational Databases. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Martin Rezk; Guohui Xiao 001 (AMW, 2016)

OBDA Beyond Relational DBs: A Study for MongoDB. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Martin Rezk; Guohui Xiao 001 (Description Logics, 2016)

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. - Elena Botoeva; Diego Calvanese; Valerio Santarelli; Domenico Fabio Savo; Alessandro Solimando; Guohui Xiao 001 (Description Logics, 2016)

When is Query Inseparability for ALC Ontologies Decidable? - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2016)

Query-Based Entailment and Inseparability for ALC Ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Knowledge base exchange: The case of OWL 2 QL. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (Artif. Intell., 2016)

Games for query inseparability of description logic knowledge bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2016)

A Formal Presentation of MongoDB (Extended Version). - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Martin Rezk; Guohui Xiao 001 (CoRR, 2016)

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2016)

A Note on Computing Certain Answers to Queries over Incomplete Databases. - Marcelo Arenas; Elena Botoeva; Egor V. Kostylev; Vladislav Ryzhikov (AMW, 2017)

Formalizing MongoDB Queries. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Guohui Xiao 001 (AMW, 2017)

A Generalized Framework for Ontology-Based Data Access. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Julien Corman; Guohui Xiao 001 (AI*IA, 2018)

Expressivity and Complexity of MongoDB Queries. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Guohui Xiao 001 (ICDT, 2018)

Formalization and Complexity of MongoDB Queries (Extended Abstract). - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Guohui Xiao 001 (SEBD, 2018)

Efficient Handling of SPARQL OPTIONAL for OBDA. - Guohui Xiao 001; Roman Kontchakov; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (ISWC (1), 2018)

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). - Guohui Xiao 001; Roman Kontchakov; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (CoRR, 2018)

Query inseparability for ALC ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2019)

Ontology-based data access - Beyond relational sources. - Elena Botoeva; Diego Calvanese; Benjamin Cogrel; Julien Corman; Guohui Xiao 001 (Intelligenza Artificiale, 2019)

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. - Elena Botoeva; Panagiotis Kouvaros; Jan Kronqvist; Alessio Lomuscio; Ruth Misener (AAAI, 2020)

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Elena Botoeva; Francesco Leofante; Amir Maleki; Chelsea Sidrane; Jiameng Fan; Chao Huang 015 (ARCH, 2020)

The Virtual Knowledge Graph System Ontop (Extended Abstract). - Guohui Xiao 001; Davide Lanti; Roman Kontchakov; Sarah Komla-Ebri; Elem Güzel Kalayci; Linfang Ding; Julien Corman; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (Description Logics, 2020)

Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems. - Michael E. Akintunde; Elena Botoeva; Panagiotis Kouvaros; Alessio Lomuscio (KR, 2020)

The Virtual Knowledge Graph System Ontop. - Guohui Xiao 001; Davide Lanti; Roman Kontchakov; Sarah Komla-Ebri; Elem Güzel Kalayci; Linfang Ding; Julien Corman; Benjamin Cogrel; Diego Calvanese; Elena Botoeva (ISWC (2), 2020)

Formal verification of neural agents in non-deterministic environments. - Michael E. Akintunde; Elena Botoeva; Panagiotis Kouvaros; Alessio Lomuscio (Auton. Agents Multi Agent Syst., 2022)

Counterfactual Explanations and Model Multiplicity: a Relational Verification View. - Francesco Leofante; Elena Botoeva; Vineet Rajani (KR, 2023)

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems. - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (IJCAI, 2024)

Formal Verification of Parameterised Neural-symbolic Multi-agent Systems (Extended Abstract). - Panagiotis Kouvaros; Elena Botoeva; Cosmo De Bonis-Campbell (LNSAI@IJCAI, 2024)

Facial Age Estimation: A Research Roadmap for Technological and Legal Development and Deployment. - Richard Guest; Eva Lievens; Martin Sas; Elena Botoeva; Temitope Adeyemo; Valerie Verdoodt; Elora Fernandes; Chris Allgrove (CoRR, 2025)