Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Letichevskii, Aleksandr Adol'fovich

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

Number of views:
This page:1878
Abstract pages:1512
Full texts:785
References:126
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
1988
6. A. A. Letichevskii, “Completability of a search for invariant equalities in programs”, Dokl. Akad. Nauk SSSR, 299:6 (1988),  1307–1309  mathnet  mathscinet  zmath; Dokl. Math., 37:2 (1988), 559–561
1980
7. 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
8. A. A. Letichevskii, “On maximal desequencing of cyclic operators”, Dokl. Akad. Nauk SSSR, 242:4 (1978),  761–764  mathnet  mathscinet  zmath
1976
9. 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
10. A. A. Letichevskii, “Functional equivalence of automata with a final state”, Dokl. Akad. Nauk SSSR, 185:1 (1969),  58–60  mathnet  mathscinet  zmath
1968
11. 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
12. 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
13. 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
14. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2022