Подписаться
Godlevsky A.B.
Godlevsky A.B.
V.M.Glushkov Institute of Cybernetics
Подтвержден адрес электронной почты в домене incyb.kiev.ua
Название
Процитировано
Процитировано
Год
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
332010
Iterative methods of program analysis
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 25 (2), 139-152, 1989
271989
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
101980
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
81981
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
72010
Semantics of data exchanges in simple multimodule programs
AA Letichevskii, AB Godlevskii, AE Doroshenko, SL Krivoi
Programmirovanie 5, 3-12, 1983
71983
Iterative methods of program analysis: Equalities and inequalities
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 26, 307-318, 1990
61990
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
52013
The Parallel Dynamical Semantics of Sequential Program that Allows Speculative and Incremental Computation
AB Godlevsky
Kibernetika i sistemny analiz, 131-153, 1996
51996
On some special case of the functional equivalence problem for discrete transformers
AB Godlevsky
Cybernetics, 32, 1974
51974
Parallelizing programs with APS
AB Godlevsky, AE Doroshenko
Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993
41993
Synthesis methods for discrete models of biological systems
VM Glushkov, AA Letichevskii, AB Godlevskii
Methods of Mathematical Biology, 1983
41983
On some specific cases of halting problem and equivalence problem for automata
AB Godlevsky
Cybernetics, 90, 1973
41973
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
32021
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
32016
Usage of Invariants for Symbolic Verification of Requirements.
AA Letichevsky, A Godlevsky, A Guba, A Kolchin, OA Letychevskyi, ...
SCSS, 124, 2013
32013
Predicate transformers in the context of symbolic modeling of transition systems
AB Godlevsky
Cybernetics and Systems Analysis 46, 602-608, 2010
32010
Constructing parallel implementations with algebraic programming tools
AE Doroshenko, AB Godlevsky
Proceedings the First Aizu International Symposium on Parallel Algorithms …, 1995
31995
Parallelising programs with algebraic programming tools
AE Doroshenko, AB Godlevsky
EURO-PAR'95 Parallel Processing: First International EURO-PAR Conference …, 1995
31995
Design of effective automaton-reduction algorithms for some equivalence relations
AB Godlevskii, SL Krivoi
Cybernetics 25, 772-782, 1989
31989
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20