The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Natalia Olegovna Garanina Natalya Olegovna Garanina ( http://dblp.L3S.de/Authors/Natalia_Olegovna_Garanina )

  Author page on DBLP  Author page in RDF  Community of Natalia Olegovna Garanina in ASPL-2

Publication years (Num. hits)
2002-2014 (17) 2015-2018 (10)
Publication types (Num. hits)
article(10) incollection(1) inproceedings(16)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Natalia Olegovna Garanina, Vladimir Zubin, Tatiana Lyakh, Sergei Gorlatch An Ontology of Specification Patterns for Verification of Concurrent Systems. Search on Bibsonomy SoMeT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina, Elena A. Sidorova, A. S. Seryi Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population. Search on Bibsonomy Programming and Computer Software The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Irina Kononenko A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population. Search on Bibsonomy Ershov Informatics Conference The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina, Elena A. Sidorova An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova Context-dependent Lexical and Syntactic Disambiguation in Ontology Population. Search on Bibsonomy CS&P The full citation details ... 2016 DBLP  BibTeX  RDF
1Natalya Olegovna Garanina, Elena A. Sidorova, Igor S. Anureev Conflict resolution in multi-agent systems with typed relations for ontology population. Search on Bibsonomy Programming and Computer Software The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Stepan Anokhin Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova An Approach to Ambiguity Resolution for Ontology Population. Search on Bibsonomy CS&P The full citation details ... 2015 DBLP  BibTeX  RDF
1Natalya Olegovna Garanina, Elena A. Sidorova Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms. Search on Bibsonomy Programming and Computer Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina, Evgeny V. Bodin, Elena A. Sidorova Using SPIN for verification of multiagent data analysis. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina Common knowledge in well-structured perfect recall systems. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova An Approach to Model Checking of Multi-agent Data Analysis. Search on Bibsonomy MOD* The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Eugene V. Bodin A Multi-agent Text Analysis Based on Ontology of Subject Domain. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Natalia Olegovna Garanina, Evgeny V. Bodin Distributed Termination Detection by Counting Agent. Search on Bibsonomy CS&P The full citation details ... 2014 DBLP  BibTeX  RDF
1Natalia Olegovna Garanina, Elena A. Sidorova, Evgeny V. Bodin A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology. Search on Bibsonomy CS&P The full citation details ... 2013 DBLP  BibTeX  RDF
1Julia V. Grebeneva, Nikolay V. Shilov, Natalia Olegovna Garanina Towards Description Logic on Concept Lattices. Search on Bibsonomy CLA The full citation details ... 2013 DBLP  BibTeX  RDF
1Natalya Olegovna Garanina Exponential improvement of time complexity of model checking for multiagent systems with perfect recall. Search on Bibsonomy Programming and Computer Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina Optimisation procedures in affine model checking. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina Model checking of distributed systems with affine data structures. Search on Bibsonomy Automatic Control and Computer Sciences The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natalya Olegovna Garanina Exponential Acceleration of Model Checking for Perfect Recall Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov, Natalya Olegovna Garanina Modal Logics for Reasoning about Multiagent Systems. Search on Bibsonomy Encyclopedia of Artificial Intelligence The full citation details ... 2009 DBLP  BibTeX  RDF
1Nikolay V. Shilov, Natalya Olegovna Garanina Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. Search on Bibsonomy KONT/KPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina Combining Two Formalism for Reasoning about Concepts. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe Update and Abstraction in Model Checking of Knowledge and Branching Time. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Nikolay V. Shilov, Natalya Olegovna Garanina Well-Structured Model Checking of Multiagent Systems. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nikolay V. Shilov, Natalya Olegovna Garanina Polynomial Approximations for Model Checking. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, complexity, Calculus
1Nikolay V. Shilov, Natalya Olegovna Garanina Model checking knowledge and fixpoints. Search on Bibsonomy FICS The full citation details ... 2002 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license