|
|
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 |
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 |
|
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 |
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 |
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 |
|
2011 |
6. |
A. A. Letichevskii, “Insertion machines”, News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1, 169–180 |
|
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 |
|
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 |
|
1988 |
9. |
A. A. Letichevskii, “Completability of a search for invariant equalities in programs”, Dokl. Akad. Nauk SSSR, 299:6 (1988), 1307–1309 ; 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 |
|
1978 |
11. |
A. A. Letichevskii, “On maximal desequencing of cyclic operators”, Dokl. Akad. Nauk SSSR, 242:4 (1978), 761–764 |
|
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 |
|
1969 |
13. |
A. A. Letichevskii, “Functional equivalence of automata with a final state”, Dokl. Akad. Nauk SSSR, 185:1 (1969), 58–60 |
|
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 |
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 ; 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 ; 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 ; U.S.S.R. Comput. Math. Math. Phys., 1:3 (1962), 829–840 |
4
|
|
Presentations in Math-Net.Ru |
|
|
Organisations |
|
|
|
|