| Model checking knowledge and fixpoints. NV Shilov, NO Garanina FICS, 25-39, 2002 | 27 | 2002 |
| Using multiple semantic measures for coreference resolution in ontology population N Garanina, E Sidorova, I Kononenko, S Gorlatch International Journal of Computing 16 (3), 166-176, 2017 | 23 | 2017 |
| Update and abstraction in model checking of knowledge and branching time NV Shilov, NO Garanina, KM Choe Fundamenta Informaticae 72 (1-3), 347-361, 2006 | 20 | 2006 |
| Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms NO Garanina, EA Sidorova Programming and Computer Software 41 (3), 140-148, 2015 | 19 | 2015 |
| Distributed Termination Detection by Counting Agent. NO Garanina, EV Bodin CS&P, 69-79, 2014 | 18 | 2014 |
| Model checking knowledge, actions and fixpoints NO Garanina, NA Kalinina, NV Shilov Proc. of Concurrency, Specification and Programming Workshop CS&P, 351-357, 2004 | 16 | 2004 |
| A multi-agent text analysis based on ontology of subject domain N Garanina, E Sidorova, E Bodin International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 15 | 2014 |
| An Ontology of Specification Patterns for Verification of Concurrent Systems. NO Garanina, V Zubin, T Lyakh, S Gorlatch SoMeT, 515-528, 2018 | 13 | 2018 |
| Context-dependent Lexical and Syntactic Disambiguation in Ontology Population. NO Garanina, EA Sidorova CS&P, 101-112, 2016 | 12 | 2016 |
| A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. NO Garanina, EA Sidorova, EV Bodin CS&P, 122-132, 2013 | 12 | 2013 |
| Well-structured model checking of multiagent systems NV Shilov, NO Garanina International Andrei Ershov Memorial Conference on Perspectives of System …, 2006 | 9 | 2006 |
| Multiagent approach to a Dijkstra problem N Shilov, N Garanina, E Bodin Proceedings of Workshop on Concurrency, Specification, and Programming CS&P …, 2010 | 7 | 2010 |
| Verification oriented process ontology N Garanina, I Anureev Proceedings of the 9th Workshop “Program Semantics, Specification and …, 2018 | 6 | 2018 |
| An Approach to Ambiguity Resolution for Ontology Population. NO Garanina, EA Sidorova CS&P, 134-145, 2015 | 6 | 2015 |
| Combined logics of knowledge, time, and actions for reasoning about multi-agent systems NV Shilov, NO Garanina Knowledge Processing and Data Analysis, 48-58, 2007 | 6 | 2007 |
| Combining Two Formalism for Reasoning about Concepts. NV Shilov, IS Anureev, NO Garanina Description Logics, 2007 | 6 | 2007 |
| Polynomial approximations for model checking NV Shilov, NO Garanina International Andrei Ershov Memorial Conference on Perspectives of System …, 2003 | 6 | 2003 |
| Combining knowledge and fixpoints NV Shilov, NO Garanina Preprint, 2002 | 6 | 2002 |
| Towards safe cyber-physical systems: the Reflex language and its transformational semantics I Anureev, N Garanina, T Liakh, A Rozov, H Schulte, V Zyubin 2019 International Siberian Conference on Control and Communications (SIBCON …, 2019 | 5 | 2019 |
| A distributed approach to coreference resolution in multiagent text analysis for ontology population N Garanina, E Sidorova, I Kononenko International Andrei Ershov Memorial Conference on Perspectives of System …, 2017 | 5 | 2017 |
Nikolay ShilovInnopolis UniversityVerified email at iis.nsk.su
