RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Letichevskii, Aleksandr Adol'fovich

Statistics Math-Net.Ru
Total publications: 13
Scientific articles: 13
Presentations: 2

Number of views:
This page:902
Abstract pages:887
Full texts:328
References:97
academiian of National Academy of Sciences of Ukraine
Professor
Doctor of physico-mathematical sciences (1973)
Birth date: 3.05.1935
E-mail:

http://www.mathnet.ru/eng/person60082
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2014
1. P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, “Incremental approach to the technology of test design for industrial projects”, Model. Anal. Inform. Sist., 21:6 (2014),  144–154  mathnet
2. P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko, “Approach to behavior scenarios debugging”, Model. Anal. Inform. Sist., 21:6 (2014),  44–56  mathnet
2013
3. P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky, “The Guide-based Automatic Creation of Verified Test Scenarious”, Model. Anal. Inform. Sist., 20:6 (2013),  64–77  mathnet
4. I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013),  349–383  mathnet
2012
5. A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov, “An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects”, Model. Anal. Inform. Sist., 19:6 (2012),  79–91  mathnet
1980
6. V. M. Glushkov, Yu. V. Kapitonova, A. A. Letichevskii, “The efficiency of parallel computations with limited resources”, Dokl. Akad. Nauk SSSR, 254:3 (1980),  527–530  mathnet  mathscinet  zmath
1978
7. A. A. Letichevskii, “On maximal desequencing of cyclic operators”, Dokl. Akad. Nauk SSSR, 242:4 (1978),  761–764  mathnet  mathscinet  zmath
1976
8. A. A. Letichevskii, L. B. Smikun, “On a class of groups with solvable problem of automata equivalence”, Dokl. Akad. Nauk SSSR, 227:1 (1976),  36–38  mathnet  mathscinet  zmath
1969
9. A. A. Letichevskii, “Functional equivalence of automata with a final state”, Dokl. Akad. Nauk SSSR, 185:1 (1969),  58–60  mathnet  mathscinet  zmath
1968
10. A. A. Letichevskii, “Equivalence of ultimate state automata relative to a free semigroup with right zero”, Dokl. Akad. Nauk SSSR, 182:5 (1968),  1007–1009  mathnet  mathscinet  zmath
1965
11. V. P. Gladun, A. A. Letichevskii, S. D. Mikhnovskii, K. M. Podkolzina, Z. L. Rabinovich, “An extension of the logical potentialities of ALGOL-60”, Zh. Vychisl. Mat. Mat. Fiz., 5:2 (1965),  369–372  mathnet  zmath; U.S.S.R. Comput. Math. Math. Phys., 5:2 (1965), 289–294
1962
12. A. A. Letichevskii, “Automatic expansion of representations of free semigroups”, Zh. Vychisl. Mat. Mat. Fiz., 2:3 (1962),  467–474  mathnet  mathscinet  zmath; U.S.S.R. Comput. Math. Math. Phys., 2:3 (1963), 489–496
1961
13. A. A. Letichevskii, “Completeness conditions for finite automata”, Zh. Vychisl. Mat. Mat. Fiz., 1:4 (1961),  702–710  mathnet  zmath; U.S.S.R. Comput. Math. Math. Phys., 1:3 (1962), 829–840

Presentations in Math-Net.Ru
1. From program schemes of Lyapunov to current models of program systems
A. A. Letichevskii
Conference devoted to the 100th anniversary of Alexei Andreevich Lyapunov
November 10, 2011 10:35   
2. On the memories of academician A. A. Dorodnicyn
A. A. Letichevskii
International Conference on Applied Mathematics and Computer Science dedicated to Academician A. A. Dorodnicyn's 100-th Birthday Anniversary
December 7, 2010 11:35   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019