Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Letichevskii, Aleksandr Adol'fovich
(1935–2019)
academiñian of National Academy of Sciences of Ukraine
Professor
Doctor of physico-mathematical sciences (1973)
Birth date: 3.05.1935
   
Main publications:
  • Matematicheskaya teoriya proektirovaniya vychislitelnykh sistem / Yu. V. Kapitonova, A. A. Letichevskii. - M. : Nauka, 1988. - 294,[1] s. : il.; 22 sm.; ISBN 5-02-013777-4

https://www.mathnet.ru/eng/person60082
https://ru.wikipedia.org/wiki/Letichevskii,_Aleksandr_Adolfovich
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
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 5
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
2011
6. A. A. Letichevskii, “Insertion machines”, News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1,  169–180  mathnet  elib
2005
7. A. A. Letichevskii, “Specification and modeling of distributed systems using basic protocols”, News of the Kabardin-Balkar scientific center of RAS, 2005, no. 2,  58–67  mathnet
1998
8. A. A. Letichevskii, “Towards an interactive semantics of nondeterministic concurrent programming languages”, News of the Kabardin-Balkar scientific center of RAS, 1998, no. 1,  11–19  mathnet
1988
9. 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
10. 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
11. A. A. Letichevskii, “On maximal desequencing of cyclic operators”, Dokl. Akad. Nauk SSSR, 242:4 (1978),  761–764  mathnet  mathscinet  zmath
1976
12. 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
13. A. A. Letichevskii, “Functional equivalence of automata with a final state”, Dokl. Akad. Nauk SSSR, 185:1 (1969),  58–60  mathnet  mathscinet  zmath
1968
14. 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 1
1965
15. 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 3
1962
16. 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 1
1961
17. 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 4

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