Egor V. Kostylev



   

    Research fellow

    School of Informatics
    Laboratory for Foundations of Computer Science
    University of Edinburgh

    IF 5.38, Informatics Forum
    10, Crichton Street
    Edinburgh, UK

    EH8 9AB
    Tel: +44 (0) 131 650 5138
    Fax: +44 (0) 131 651 3815
    Email


I work in the Database Group in the Laboratory for Foundations of Computer Science as a postdoc of Peter Buneman.


Publications

[1]

Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, and Dmitriy Zheleznyakov. Controlled Query Evaluation over OWL 2 RL Ontologies. In Proceedings of the 12th International Semantic Web Conference (ISWC 2013), Sydney, Australia, 21-25 October 2013. (to appear)

[2]

Egor V. Kostylev and Juan L. Reutter. On Complexity of Answering Counting Aggregate Queries over DL-Lite. In Proceedings of the 2013 International Workshop on Description Logics (DL 2013), Ulm, Germany, 23-26 July 2013. (to appear)
[ .pdf ]

[3]

Víctor Gutiérrez Basulto, Yazmin Ibanez-Garcia, Roman Kontchakov, and Egor V. Kostylev. Conjunctive Queries with Negation over DL-Lite: A Closer Look. In Proceedings of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, 27-29 July 2013. (to appear)
[ .pdf ]

[4]

Egor V. Kostylev, Juan L. Reutter, and Andras Z. Salamon. Classification of Annotation Semirings over Containment of Conjunctive Queries. ACM Transactions of Database Systems (TODS). (to appear)
[ .pdf ]

[5]

Egor V. Kostylev and Juan L. Reutter. Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family. In Proceedings of the 27th AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA, July 14-18, 2013. (to appear)
[ .pdf ]

[6]

Peter Buneman, Egor V. Kostylev, and Stijn Vansummeren. Annotations are Relative. In Proceedings of the 16th International Conference on Database Theory (ICDT 2013), Genova, Italy, March 18-22, 2013. Pages 177-188, ACM 2013.
[ .pdf] [ slides ] [poster ]

[7]

Peter Buneman, Egor V. Kostylev, and James Cheney. Hierarchical models of provenance. In Proceedings of the 4th USENIX workshop on Theory and Practice of Provenance (TaPP 2012), Boston, Massachusetts, USA, June 14-15, 2012. USENIX, 2012.
[ .pdf ] [ slides ]

[8]

Egor V. Kostylev, Juan L. Reutter, and Andras Z. Salamon. Classification of Annotation Semirings over Query Containment. In Proceedings of the 31st Symposium on Principles of Database Systems (PODS 2012), Scottsdale, Arisona, USA, May 21-23, 2012. Pages 237-448, ACM, 2012.
[ .pdf ] [ extended slides ] [ poster ]

[9]

Egor V. Kostylev and Peter Buneman. Combining Dependent Annotations for Relational Algebra. In Proceedings of the 15th International Conference on Database Theory (ICDT 2012), Berlin, Germany, March 26-29, 2012. Pages 196-207, ACM, 2012.
[ .pdf ] [ slides ]

[10]

Peter Buneman and Egor V. Kostylev. Annotation Algebras for RDFS. In Proceedings of the Second International Workshop on the role of Semantic Web in Provenance Management (SWPM 2010), Shanghai, China, November 7, 2010. CEUR Workshop Proceedings, 2010.
[ .pdf ] [ slides ]

[11]

Peter E. Bulychev, Egor V. Kostylev, and Vladimir A. Zakharov. Anti-unification Algorithms and Their Applications in Program Analysis. In Proceedings of the Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference (PSI 2009), Novosibirsk, Russia, June 15-19, 2009. Pages 413-423, Springer, 2010.
[ .pdf ] [ extended slides ]

[12]

E. V. Kostylev and V. A. Zakharov. On complexity of the anti-unification problem. Discrete Mathematics and Applications, 18 (1), pages 85-98, 2008.
[ .pdf (in Russian) ]

[13]

E. V. Kostylev and V. A. Zakharov. On the generalization of substitutions as applied to program static analysis problem. Moscow University Computational Mathematics and Cybernetics, 28 (4), pages 42-49, Allerton Press, Inc., 2005.
[ .pdf ]


My Ph.D. thesis


Antiunification algorithms and their application to program invariants computation.
[ .pdf (in Russian) ]