| Publication | Date of Publication | Type |
|---|
Information exchange system based on ring mappings
Cybernetics and Systems Analysis | 2026-02-23 | Paper |
Algorithms for solving linear constraints over the set \(\{0, 1\}\)
Cybernetics and Systems Analysis | 2026-02-19 | Paper |
Algorithms for solving linear constraints over residue ring
Cybernetics and Systems Analysis | 2025-01-10 | Paper |
Algorithms for solving linear constraints over the ring of integers
Cybernetics and Systems Analysis | 2024-11-14 | Paper |
Algorithms for constructing minimal generating set of solutions for systems of linear equations
Cybernetics and Systems Analysis | 2024-05-30 | Paper |
Analyzing Natural-Language Knowledge Under Uncertainty on the Basis of Description Logics
Cybernetics and Systems Analysis | 2024-04-30 | Paper |
Analyzing natural languages: antimems, contradictions, and onthologies
Cybernetics and Systems Analysis | 2023-05-10 | Paper |
Application of commutative rings with unity for construction of symmetric encryption system
Cybernetics and Systems Analysis | 2022-12-09 | Paper |
Algebraic operations on fuzzy sets and relations in automata interpretation implemented by logical hardware
Cybernetics and Systems Analysis | 2022-12-09 | Paper |
Symmetric information exchange system based on ring isomorphism
Cybernetics and Systems Analysis | 2022-12-09 | Paper |
| scientific article; zbMATH DE number 7587637 (Why is no real title available?) | 2022-09-19 | Paper |
Algorithms for solving linear equations over associative rings with unit element
Cybernetics and Systems Analysis | 2022-03-07 | Paper |
Representation, analysis, and extraction of knowledge from unstructured natural language texts
Cybernetics and Systems Analysis | 2021-08-04 | Paper |
Logical operations over fuzzy sets and relations in automaton interpretation
Cybernetics and Systems Analysis | 2020-12-14 | Paper |
Numerical methods to solve problems on a mathematical safe
Cybernetics and Systems Analysis | 2020-01-20 | Paper |
Partitioning a set of vectors with integer coordinates by means of logical hardware
Cybernetics and Systems Analysis | 2019-08-22 | Paper |
Designing an IT infrastructure
Cybernetics and Systems Analysis | 2019-03-28 | Paper |
Partitioning a set of vectors with nonnegative integer coordinates using logical hardware
Cybernetics and Systems Analysis | 2018-07-20 | Paper |
Synthesis of neural-like networks on the basis of conversion of cyclic Hamming codes
Cybernetics and Systems Analysis | 2018-04-05 | Paper |
Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation
Cybernetics and Systems Analysis | 2017-07-14 | Paper |
Solution algorithms for systems of linear equations over residue rings
Cybernetics and Systems Analysis | 2016-11-16 | Paper |
Synthesis of adaptive logical networks on the basis of Zhegalkin polynomials
Cybernetics and Systems Analysis | 2016-04-18 | Paper |
Combinatorial method for solving systems of linear constraints
Cybernetics and Systems Analysis | 2015-03-18 | Paper |
Finite-state automata in information technologies
Cybernetics and Systems Analysis | 2014-10-30 | Paper |
Partitioning the full range of Boolean functions based on the threshold and threshold relation
Cybernetics and Systems Analysis | 2014-10-27 | Paper |
Program verification: state of the art, problems, and results. I
Cybernetics and Systems Analysis | 2014-10-27 | Paper |
Program verification: state of the art, problems, and results. II
Cybernetics and Systems Analysis | 2014-10-24 | Paper |
Improved resolution-based method for satisfiability checking formulas of the language \(L\)
Perspectives of Systems Informatics | 2010-02-02 | Paper |
An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers
Cybernetics and Systems Analysis | 2010-01-22 | Paper |
Exploring the properties of MSC documents by translating them into Petri nets
Cybernetics and Systems Analysis | 2010-01-22 | Paper |
Formal methods for analysis of discrete systems using a specification language
Cybernetics and Systems Analysis | 2009-11-24 | Paper |
Algorithms for solving systems of linear Diophantine equations in residue rings
Cybernetics and Systems Analysis | 2008-09-04 | Paper |
Algorithms for solution of systems of linear Diophantine equations in residue fields
Cybernetics and Systems Analysis | 2007-10-31 | Paper |
| scientific article; zbMATH DE number 5201493 (Why is no real title available?) | 2007-10-17 | Paper |
Algorithms for solving systems of linear Diophantine equations in integer domains
Cybernetics and Systems Analysis | 2007-07-05 | Paper |
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II
Cybernetics and Systems Analysis | 2006-11-28 | Paper |
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I
Cybernetics and Systems Analysis | 2006-10-20 | Paper |
| Automatic modeling and analysis of MSC-specified systems | 2006-06-19 | Paper |
Formal methods of analysis of system properties
Cybernetics and Systems Analysis | 2005-08-12 | Paper |
On algorithms for solving systems of linear Diophantine constraints over the set \{0,1\}
Cybernetics and Systems Analysis | 2005-06-30 | Paper |
| scientific article; zbMATH DE number 2086797 (Why is no real title available?) | 2004-08-11 | Paper |
Compatibility of systems of linear constraints over the set of natural numbers
Cybernetics and Systems Analysis | 2003-09-16 | Paper |
Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers
Cybernetics and Systems Analysis | 2001-12-05 | Paper |
On sufficient equivalence conditions of Gaussian measures corresponding to homogeneous fields whose spectral densities have real zeros
Cybernetics and Systems Analysis | 2001-12-02 | Paper |
| scientific article; zbMATH DE number 1537545 (Why is no real title available?) | 2000-12-01 | Paper |
Intersection of term equality sets in finitely defined algebras
Cybernetics and Systems Analysis | 2000-03-20 | Paper |
Unification problem in equational theories
Cybernetics and Systems Analysis | 1999-03-15 | Paper |
