Egor V. Kostylev

MaRDI QIDQ269722zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Two variable logic with ultimately periodic counting SIAM Journal on Computing	2024-07-17	Paper
Declarative Data Analysis Using Limit Datalog Programs	2023-03-24	Paper
The Complexity and Expressive Power of Limit Datalog Journal of the ACM	2022-03-31	Paper
Foundations of ontology-based data access under bag semantics Artificial Intelligence	2019-08-28	Paper
Logical foundations of linked data anonymisation Journal of Artificial Intelligence Research	2019-03-04	Paper
Logical foundations of information disclosure in ontology-based data integration Artificial Intelligence	2019-01-18	Paper
Complexity and expressive power of weakly well-designed SPARQL Theory of Computing Systems	2018-07-16	Paper
Containment of queries for graphs with data Journal of Computer and System Sciences	2017-11-14	Paper
Beyond well-designed SPARQL	2017-07-14	Paper
CONSTRUCT queries in SPARQL	2017-06-13	Paper
Static analysis of navigational XPath over graph databases Information Processing Letters	2016-04-06	Paper
Classification of annotation semirings over containment of conjunctive queries ACM Transactions on Database Systems	2015-09-03	Paper
Anti-unification algorithms and their applications in program analysis Perspectives of Systems Informatics	2010-02-02	Paper
On complexity of the anti-unification problem Discrete Mathematics and Applications	2009-10-21	Paper
On a generalization of substitutions in application to the problem of static analysis of programs	2007-02-12	Paper
Two variable logic with ultimately periodic counting (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Egor V. Kostylev