| 1987 | Discrete Analogue of the Neumann Method is not Optimal. | S. M. Ermakov, B. B. Pokhodzey |
| 1987 | On Development of Dialogue Concurrent Systems. | A. I. Enikeev |
| 1987 | Soliton Automata. | Jrgen Dassow, Helmut Jrgensen |
| 1987 | On the Number of DNF Minimal Relatively Arbitrary Measures of Complexity. | I. P. Cuhrov |
| 1987 | Saturating Flows in Networks. | Bogdan S. Chlebus, Marek Chrobak, Krzysztof Diks |
| 1987 | Structure Synthesis of Parallel Programs (Methodology and Tools). | G. E. Cejtlin, E. L. Jushchenko |
| 1987 | On A-Completeness for some Classes of Bounded Determitate Functions. | B. A. Buyevich |
| 1987 | Structur Automata. | R. G. Bukharajev, I. R. Nasirov |
| 1987 | Chain-like Model of Programs Communication. | R. G. Bukharajev, A. I. Enikeev, I. I. Makarov |
| 1987 | Arsenals and Lower Bounds. | Lothar Budach |
| 1987 | On the Equivalence Problem of States for Cellular Automata. | A. A. Bolotov |
| 1987 | On the Synthesis of "Irredundant" Automata from a Finite Set of Experiments. | Sergey A. Bogomolov |
| 1987 | Computational Problems in Alphabetic Coding Theory. | M. Yu. Baryshev, L. P. Zhil'tzova, A. A. Markov |
| 1987 | The New Way of Probabilistic Compact Testing. | A. S. Barashko |
| 1987 | Verbal Operation on Automaton. | D. N. Babin |
| 1987 | On Direct Methods of Realization of Normal Algorithms by Turing Machines. | G. V. Babikov |
| 1987 | Duality of Functions and Data in Algorithms Description. | A. D. Astakhov |
| 1987 | The Recursion Theorem, Approximations, and Classifying Index Sets of Recursively Enumerable Sets. | Marat M. Arslanov |
| 1987 | Stable Finite Automata Mappings and Church-Rosser Systems. | A. V. Anisimov, Vladimir A. Oleshchuk |
| 1987 | Effective Lower Bounds for Complexity of Some Classes of Schemes. | Alexander E. Andreev |
| 1987 | Automata Classes Induced by Post Classes. | S. V. Alyoshin |
| 1987 | On a Stable Generating of Random Sequences by Probabilistic Automata. | Ju. A. Al'pin, B. S. Kotchkarev, R. G. Mubarakzianov |
| 1987 | Linearized Disjunctive Normal Forms of Boolean Functions. | A. A. Alexanyan |
| 1987 | Recognition of Properties in K-Valued Logic and Approximate Algorithms. | Valery B. Alekseyev |
| 1987 | Functional Systems on Semilattices. | Gennady P. Agibalov |