Model Checking of Distributed Systems with Affine Data Structures

by N. O. Garanina
Published 2010-12-01

Common Knowledge in Well-structured Perfect Recall Systems

by N. O. Garanina
Published 2013-12-01

Optimization Procedures in Affine Model Checking

by N. O. Garanina
Published 2011-12-01

Common Knowledge in Well-structured Perfect Recall Systems

by N. O. Garanina
Published 2013-01-01

An Approach to Verification of a Family of Multi- agent Systems for Conflict Resolution

by N. O. Garanina, E. A. Sidorova
Published 2016-12-01

Adding Antibacterial Properties to Textile Materials Containing Polyester Fibers during Dyeing Stage

by S. Piatrova-Kuminskaya, A. Mironava, O. Garanina
Published 2018-01-01

Verification Oriented Process Ontology

by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova
Published 2018-12-01

Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)

by E. V. Bodin, N. O. Garanina, N. V. Shilov
Published 2011-06-01

Using SPIN for Verification of Multi-agent Data Analysis

by N. O. Garanina, E. V. Bodin, E. A. Sidorova
Published 2014-12-01

Methods for Domain Specification of Verification-Oriented Process Ontology

by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin
Published 2019-12-01

In vivo multimodal optical imaging of dermoscopic equivocal melanocytic skin lesions

by V. Elagin, E. Gubarkova, O. Garanina, D. Davydova, N. Orlinskaya, L. Matveev, I. Klemenova, I. Shlivko, M. Shirmanova, E. Zagaynova
Published 2021-01-01