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