Iterative methods of program analysis AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii Cybernetics 25 (2), 139-152, 1989 | 29 | 1989 |

Properties of a predicate transformer of the VRS system AA Letichevsky, AB Godlevsky, AA Letychevsky, SV Potiyenko, ... Cybernetics and Systems Analysis 46 (4), 521-532, 2010 | 26 | 2010 |

Semantics of data exchanges in simple multimodule programs AA Letichevskii, AB Godlevskii, AE Doroshenko, SL Krivoi Programmirovanie 5, 3-12, 1983 | 8 | 1983 |

An efficient algorithm for constructing the basis of a subgroup of a free group AA Letichevskii, AB Godlevskii, SL Krivoi Cybernetics 17 (3), 407-416, 1981 | 8 | 1981 |

Backward transformation of formulas in symbolic modeling: from the result to the source formula AB Godlevsky, SV Potienko Problems of Programming 4, 363-368, 2010 | 7 | 2010 |

Iterative methods of program analysis: Equalities and inequalities AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii Cybernetics 26 (3), 307-318, 1990 | 6 | 1990 |

Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes AB Godlevskii, AA Letichevskii, SK Shukuryan Cybernetics 16 (6), 793-799, 1980 | 6 | 1980 |

Synthesis methods for discrete models of biological systems VM Glushkov, AA Letichevskii, AB Godlevskii Vyshcha Shkola, Kyiv, 1983 | 5 | 1983 |

On some special case of the functional equivalence problem for discrete transformers AB Godlevsky Cybernetics, 32, 1974 | 5 | 1974 |

The Parallel Dynamical Semantics of Sequential Program that Allows Speculative and Incremental Computation AB Godlevsky Kibernetika i sistemny analiz, 131-153, 1996 | 4 | 1996 |

Parallelizing programs with APs AB Godlevsky, AE Doroshenko Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993 | 4 | 1993 |

On some specific cases of halting problem and equivalence problem for automata AB Godlevsky Cybernetics, 90, 1973 | 4 | 1973 |

Predicate transformers in the context of symbolic modeling of transition systems AB Godlevsky Cybernetics and Systems Analysis 46 (4), 602-608, 2010 | 3 | 2010 |

Constructing parallel implementations with algebraic programming tools AE Doroshenko, AB Godlevsky Proceedings the First Aizu International Symposium on Parallel Algorithms …, 1995 | 3 | 1995 |

Design of effective automaton-reduction algorithms for some equivalence relations AB Godlevskii, SL Krivoi Cybernetics 25 (6), 772-782, 1989 | 3 | 1989 |

On optimization of programs designed by ‘top-down’methods AB Godlevskii, SL Krivoi Information Processing Models and Systems [in Russian], 25-33, 1984 | 3 | 1984 |

Models and parallel programming abstractions for synchronization and communication AE Doroshenko, AB Godlevsky, L Hluchý COMPUTING AND INFORMATICS 18 (4), 361-381, 2012 | 2 | 2012 |

Parallelising programs with algebraic programming tools AE Doroshenko, AB Godlevsky European Conference on Parallel Processing, 685-690, 1995 | 2 | 1995 |

Implementation of MAYaK family languages for macropiplined multiprocessor computing systems SN Berestovaya, AB Godlevskii, SS Gorokhovskii, YV Kapitonova, ... Cybernetics 25 (3), 319-326, 1989 | 2 | 1989 |

Transformation of programs in the algebra of algorithms using invariant relationships AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii Izv. Vyssh. Uchebn. Zaved. Priborostr 31, 17-20, 1988 | 2 | 1988 |