Natalya Olegovna Garanina

According to our database1, Natalya Olegovna Garanina authored at least 32 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Dedicative Verification of Reflex Programs.
Program. Comput. Softw., 2020

Methods for Domain Specialization of Verification-Oriented Process Ontologies.
Autom. Control. Comput. Sci., 2020

2019
Verification-Oriented Process Ontology.
Autom. Control. Comput. Sci., 2019

An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Two-Step Deductive Verification of Control Software Using Reflex.
Proceedings of the Perspectives of System Informatics, 2019

2018
Multiagent Approach to Coreference Resolution Based on the Multifactor Similarity in Ontology Population.
Program. Comput. Softw., 2018

An Ontology of Specification Patterns for Verification of Concurrent Systems.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

2017
An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution.
Autom. Control. Comput. Sci., 2017

A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population.
Proceedings of the Perspectives of System Informatics, 2017

2016
Conflict resolution in multi-agent systems with typed relations for ontology population.
Program. Comput. Softw., 2016

Context-dependent Lexical and Syntactic Disambiguation in Ontology Population.
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
Ontology population as algebraic information system processing based on multi-agent natural language text analysis algorithms.
Program. Comput. Softw., 2015

Using SPIN for verification of multiagent data analysis.
Autom. Control. Comput. Sci., 2015

Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population.
Proceedings of the Perspectives of System Informatics, 2015

An Approach to Ambiguity Resolution for Ontology Population.
Proceedings of the 24th International Workshop on Concurrency, 2015

2014
An Approach to Model Checking of Multi-agent Data Analysis.
Proceedings of the Proceedings First Workshop on Logics and Model-checking for Self-* Systems, 2014

Common knowledge in well-structured perfect recall systems.
Autom. Control. Comput. Sci., 2014

A Multi-agent Text Analysis Based on Ontology of Subject Domain.
Proceedings of the Perspectives of System Informatics, 2014

Distributed Termination Detection by Counting Agent.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2013
A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology.
Proceedings of the 22nd International Workshop on Concurrency, 2013

Towards Description Logic on Concept Lattices.
Proceedings of the Tenth International Conference on Concept Lattices and Their Applications, 2013

2012
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall.
Program. Comput. Softw., 2012

Optimisation procedures in affine model checking.
Autom. Control. Comput. Sci., 2012

2011
Model checking of distributed systems with affine data structures.
Autom. Control. Comput. Sci., 2011

Exponential Acceleration of Model Checking for Perfect Recall Systems.
Proceedings of the Perspectives of Systems Informatics, 2011

2009
Modal Logics for Reasoning about Multiagent Systems.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2007
Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems.
Proceedings of the Knowledge Processing and Data Analysis - First International Conference, 2007

Combining Two Formalism for Reasoning about Concepts.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Update and Abstraction in Model Checking of Knowledge and Branching Time.
Fundam. Informaticae, 2006

Well-Structured Model Checking of Multiagent Systems.
Proceedings of the Perspectives of Systems Informatics, 2006

2003
Polynomial Approximations for Model Checking.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
Model checking knowledge and fixpoints.
Proceedings of the Fixed Points in Computer Science, 2002


  Loading...