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

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

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 | 10 | 1980 |

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, 307-318, 1990 | 6 | 1990 |

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

Invariants in symbolic modeling and verification of requirements A Letichevsky, A Godlevsky, A Guba, A Kolchin, O Letychevskyi, ... Ninth International Conference on Computer Science and Information …, 2013 | 5 | 2013 |

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 |

Synthesis methods for discrete models of biological systems VM Glushkov, AA Letichevskii, AB Godlevskii Methods of Mathematical Biology, 1983 | 4 | 1983 |

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

Some results on regular events for multitape finite automata: a preliminary report A Godlevsky, H Grigoryan, T Grigoryan, S Shoukourian Bulletin of EATCS 1 (133), 2021 | 3 | 2021 |

A development technique and means for formalizing functional specifications of software and hardware systems AB Godlevsky, NM Mishchenko, MK Morokhovets, OD Felizhanko, ... Cybernetics and Systems Analysis 52 (5), 684-697, 2016 | 3 | 2016 |

Usage of Invariants for Symbolic Verification of Requirements. AA Letichevsky, A Godlevsky, A Guba, A Kolchin, OA Letychevskyi, ... SCSS, 124, 2013 | 3 | 2013 |

Predicate transformers in the context of symbolic modeling of transition systems AB Godlevsky Cybernetics and Systems Analysis 46, 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 |

Parallelising programs with algebraic programming tools AE Doroshenko, AB Godlevsky EURO-PAR'95 Parallel Processing: First International EURO-PAR Conference …, 1995 | 3 | 1995 |

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