| Deciding semantic matching of stateless services D Hull, E Zolin, A Bovykin, I Horrocks, U Sattler, R Stevens AAAI, 1319-1324, 2006 | 81 | 2006 |
| Completeness and definability in the logic of noncontingency EE Zolin Notre Dame Journal of Formal Logic 40 (4), 533-547, 1999 | 57 | 1999 |
| Complexity of reasoning in Description Logics E Zolin Web-resource available at URL http://www.cs.man.ac.uk/~ezolin/dl/, 2007 | 47* | 2007 |
| How many legs do I have? Non-simple roles in number restrictions revisited Y Kazakov, U Sattler, E Zolin International Conference on Logic for Programming Artificial Intelligence …, 2007 | 37 | 2007 |
| Embeddings of propositional monomodal logics EE Zolin Logic Journal of IGPL 8 (6), 861-882, 2000 | 22 | 2000 |
| Modal definability of first-order formulas with free variables and query answering S Kikot, E Zolin Journal of Applied Logic 11 (2), 190-216, 2013 | 17 | 2013 |
| Filtration Safe Operations on Frames S Kikot, I Shapirovsky, E Zolin Advances in Modal Logic, 2014 | 11 | 2014 |
| Query Answering via Modal Definability with FaCT++: First Blood. S Kikot, D Tsarkov, M Zakharyaschev, E Zolin Description Logics, 328-340, 2013 | 11 | 2013 |
| Query answering based on modal correspondence theory E Zolin Proc. of the 4th “Methods for Modalities” Workshop (M4M-4), 21-37, 2005 | 9 | 2005 |
| Sequential reflexive logics with noncontingency operator EE Zolin Mathematical Notes 72 (5), 784-798, 2002 | 9 | 2002 |
| Infinitary expressibility of necessity in terms of contingency E Zolin Proceedings of the sixth ESSLLI student session, 325-334, 2001 | 9 | 2001 |
| Undecidability of the transitive graded modal logic with converse E Zolin Journal of Logic and Computation 27 (5), 1399-1420, 2017 | 8 | 2017 |
| Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi E Zolin Studia Logica, 1-19, 2013 | 6 | 2013 |
| Modal logic applied to query answering and the case for variable modalities E Zolin Workshop on Description Logics, 2007 | 6 | 2007 |
| A Framework for Describing Information Providing Web Services A Bovykin, E Zolin Proceedings of the 13th Workshop on Automated Reasoning (ARW 2006), 3-4, 2006 | 4* | 2006 |
| A formal framework for describing information providing web services A Bovykin, E Zolin Technical report, University of Manchester. Available at http://dynamo. man …, 2005 | 3 | 2005 |
| Deciding semantic matching of stateless services A Bovykin, E Zolin Proceedings of the 5th UK e-Science All Hands Meeting (AHM 2006), 682-685, 2006 | 2 | 2006 |
| Completeness of logics with the transitive closure modality and related logics S Kikot, I Shapirovsky, E Zolin arXiv preprint arXiv:2011.02205, 2020 | 1 | 2020 |
| Local Goldblatt–Thomason theorem E Zolin Logic Journal of IGPL 23 (6), 861-880, 2015 | 1 | 2015 |
| On Completeness of Logics Enriched with Transitive Closure Modality I Shapirovsky, E Zolin This volume contains the abstracts of the talks presented at TACL 2015 …, 2015 | 1 | 2015 |
