Letichevskii Aleksandr Adol'fovich

Publications in Math-Net.Ru

1. Incremental approach to the technology of test design for industrial projects
   
   Model. Anal. Inform. Sist., 21:6 (2014),  144–154
2. Approach to behavior scenarios debugging
   
   Model. Anal. Inform. Sist., 21:6 (2014),  44–56
3. The Guide-based Automatic Creation of Verified Test Scenarious
   
   Model. Anal. Inform. Sist., 20:6 (2013),  64–77
4. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383
5. An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
   
   Model. Anal. Inform. Sist., 19:6 (2012),  79–91
6. Insertion machines
   
   News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1,  169–180
7. Specification and modeling of distributed systems using basic protocols
   
   News of the Kabardin-Balkar scientific center of RAS, 2005, no. 2,  58–67
8. Towards an interactive semantics of nondeterministic concurrent programming languages
   
   News of the Kabardin-Balkar scientific center of RAS, 1998, no. 1,  11–19
9. Completability of a search for invariant equalities in programs
   
   Dokl. Akad. Nauk SSSR, 299:6 (1988),  1307–1309
10. The efficiency of parallel computations with limited resources
    
    Dokl. Akad. Nauk SSSR, 254:3 (1980),  527–530
11. On maximal desequencing of cyclic operators
    
    Dokl. Akad. Nauk SSSR, 242:4 (1978),  761–764
12. On a class of groups with solvable problem of automata equivalence
    
    Dokl. Akad. Nauk SSSR, 227:1 (1976),  36–38
13. Functional equivalence of automata with a final state
    
    Dokl. Akad. Nauk SSSR, 185:1 (1969),  58–60
14. Equivalence of ultimate state automata relative to a free semigroup with right zero
    
    Dokl. Akad. Nauk SSSR, 182:5 (1968),  1007–1009
15. An extension of the logical potentialities of ALGOL-60
    
    Zh. Vychisl. Mat. Mat. Fiz., 5:2 (1965),  369–372
16. Automatic expansion of representations of free semigroups
    
    Zh. Vychisl. Mat. Mat. Fiz., 2:3 (1962),  467–474
17. Completeness conditions for finite automata
    
    Zh. Vychisl. Mat. Mat. Fiz., 1:4 (1961),  702–710