| Publication | Date of Publication | Type |
|---|
The problem of accuracy in systems for cyberattack resistance and the verification of neural networks on the example of botnet detecting problem
Cybernetics and Systems Analysis | 2025-06-05 | Paper |
Insertion modeling and its applications
Computer Science Journal of Moldova | 2018-07-03 | Paper |
Cyber-physical systems
Cybernetics and Systems Analysis | 2018-02-23 | Paper |
Generating symbolic traces in the insertion modeling system
Cybernetics and Systems Analysis | 2015-11-26 | Paper |
Glushkov's evidence algorithm
Cybernetics and Systems Analysis | 2014-10-27 | Paper |
Properties of a predicate transformer of the VRS system
Cybernetics and Systems Analysis | 2014-06-05 | Paper |
Parallel inference search in logical calculus based on the algebraic programming system
Cybernetics and Systems Analysis | 2014-06-05 | Paper |
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Systems specification by basic protocols
Cybernetics and Systems Analysis | 2006-10-20 | Paper |
| Algebra of behavior transformations and its applications | 2006-02-13 | Paper |
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks | 2005-11-07 | Paper |
Insertion programming
Cybernetics and Systems Analysis | 2004-03-29 | Paper |
Semantics of timed message sequence charts
Cybernetics and Systems Analysis | 2003-09-09 | Paper |
| scientific article; zbMATH DE number 1617305 (Why is no real title available?) | 2001-07-11 | Paper |
Use of the method of formalized technical assignments for the program designs for processing data structures
Programming and Computer Software | 2001-04-26 | Paper |
A general theory of action languages
Cybernetics and Systems Analysis | 1999-09-13 | Paper |
| scientific article; zbMATH DE number 3471979 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3407174 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3293673 (Why is no real title available?) | 1969-01-01 | Paper |
An extension of the logical potentialities of ALGOL-60
USSR Computational Mathematics and Mathematical Physics | 1967-01-01 | Paper |
Automatic expansions of representations of free semigroups
USSR Computational Mathematics and Mathematical Physics | 1962-01-01 | Paper |
Completeness conditions for finite automata
USSR Computational Mathematics and Mathematical Physics | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3653554 (Why is no real title available?)
Programming and Computer Software | N/A | Paper |
