| Publication | Date of Publication | Type |
|---|
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Modeling and Analysis of Information Systems | 2023-01-17 | Paper |
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
Modeling and Analysis of Information Systems | 2023-01-17 | Paper |
An Effective Algorithm for Collision Resolution in Security Policy Rules
Modeling and Analysis of Information Systems | 2022-09-21 | Paper |
Boris Abramovich Trakhtenbrot
Russian Mathematical Surveys | 2022-05-09 | Paper |
Nonperturbative QED vacuum birefringence
Journal of High Energy Physics | 2018-02-05 | Paper |
Nonlinear vacuum electrodynamics influence on the spacetime structure and massive particles orbits properties in Einstein-Born-Infeld theory
International Journal of Modern Physics D | 2016-12-19 | Paper |
Using the concept of natural geometry in the nonlinear electrodynamics of the vacuum
Theoretical and Mathematical Physics | 2014-01-28 | Paper |
Boundedness problems for Minsky counter machines
Doklady Mathematics | 2011-06-08 | Paper |
Boundedness problems for Minsky counter machines
Programming and Computer Software | 2010-09-24 | Paper |
Modeling, specification, and verification of automaton programs
Programming and Computer Software | 2009-09-04 | Paper |
Application of the trace assertion method to the specification, design, and verification of automaton programs
Programming and Computer Software | 2009-09-04 | Paper |
| scientific article; zbMATH DE number 5068370 (Why is no real title available?) | 2006-10-30 | Paper |
| scientific article; zbMATH DE number 2214281 (Why is no real title available?) | 2005-10-13 | Paper |
| scientific article; zbMATH DE number 2186291 (Why is no real title available?) | 2005-07-05 | Paper |
| scientific article; zbMATH DE number 2084344 (Why is no real title available?) | 2004-08-06 | Paper |
Modeling and traffic analysis of the adaptive rate transport protocol
Future Generation Computer Systems | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1830923 (Why is no real title available?) | 2002-11-18 | Paper |
| scientific article; zbMATH DE number 1534583 (Why is no real title available?) | 2000-11-21 | Paper |
| scientific article; zbMATH DE number 1285785 (Why is no real title available?) | 1999-05-10 | Paper |
| scientific article; zbMATH DE number 4061728 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3985717 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4006735 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3964448 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3733887 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3411018 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3411019 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3412597 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3373745 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3060601 (Why is no real title available?) | 1949-01-01 | Paper |
