Natalia Garanina
Natalia Garanina
Senior Reseacher, A.P. Ershov INSTITUTE OF INFORMATICS SYSTEMS, Novosibirsk, Russia
Verified email at iis.nsk.su
Title
Cited by
Cited by
Year
Model checking knowledge and fixpoints.
NV Shilov, NO Garanina
FICS, 25-39, 2002
272002
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
232017
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
202006
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
192015
Distributed Termination Detection by Counting Agent.
NO Garanina, EV Bodin
CS&P, 69-79, 2014
182014
Model checking knowledge, actions and fixpoints
NO Garanina, NA Kalinina, NV Shilov
Proc. of Concurrency, Specification and Programming Workshop CS&P, 351-357, 2004
162004
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
152014
An Ontology of Specification Patterns for Verification of Concurrent Systems.
NO Garanina, V Zubin, T Lyakh, S Gorlatch
SoMeT, 515-528, 2018
132018
Context-dependent Lexical and Syntactic Disambiguation in Ontology Population.
NO Garanina, EA Sidorova
CS&P, 101-112, 2016
122016
A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology.
NO Garanina, EA Sidorova, EV Bodin
CS&P, 122-132, 2013
122013
Well-structured model checking of multiagent systems
NV Shilov, NO Garanina
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
92006
Multiagent approach to a Dijkstra problem
N Shilov, N Garanina, E Bodin
Proceedings of Workshop on Concurrency, Specification, and Programming CS&P …, 2010
72010
Verification oriented process ontology
N Garanina, I Anureev
Proceedings of the 9th Workshop “Program Semantics, Specification and …, 2018
62018
An Approach to Ambiguity Resolution for Ontology Population.
NO Garanina, EA Sidorova
CS&P, 134-145, 2015
62015
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
62007
Combining Two Formalism for Reasoning about Concepts.
NV Shilov, IS Anureev, NO Garanina
Description Logics, 2007
62007
Polynomial approximations for model checking
NV Shilov, NO Garanina
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
62003
Combining knowledge and fixpoints
NV Shilov, NO Garanina
Preprint, 2002
62002
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
52019
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
52017
The system can't perform the operation now. Try again later.
Articles 1–20