| 2006 |
|---|
| 18 | EE | Alexander A. Letichevsky:
Basic Protocols: Specification Language for Distributed Systems.
Ershov Memorial Conference 2006: 21-25 |
| 2005 |
|---|
| 17 | | Alexander V. Lyaletski,
Alexander A. Letichevsky,
Oleksandr Kalinovskyy:
Literal Trees and Resolution Technique.
Intelligent Information Systems 2005: 97-106 |
| 16 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
Vsevolod Kotlyarov,
Vladislav A. Volkov,
A. A. Letichevsky Jr.,
Thomas Weigert:
Semantics of Message Sequence Charts.
SDL Forum 2005: 117-132 |
| 15 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
A. A. Letichevsky Jr.,
Vladislav A. Volkov,
Sergey Baranov,
Thomas Weigert:
Basic protocols, message sequence charts, and the verification of requirements specifications.
Computer Networks 49(5): 661-675 (2005) |
| 2002 |
|---|
| 14 | EE | Sergey Baranov,
Vsevolod Kotlyarov,
Julia V. Kapitonova,
Alexander A. Letichevsky,
Vladislav A. Volkov:
Requirement Capturing and 3CR Approac.
COMPSAC 2002: 279-283 |
| 1999 |
|---|
| 13 | | Alexander A. Letichevsky,
David Gilbert:
A Model for Interaction of Agents and Environments.
WADT 1999: 311-328 |
| 12 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
Vladislav A. Volkov,
A. Chugayenko,
Victor Khomenko,
David R. Gilbert:
The development of interactive algorithms for the Mathematical Environment.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 1994 |
|---|
| 11 | | Y. V. Kapitonova,
Alexander A. Letichevsky,
Vladislav A. Volkov,
M. S. Lvov:
Tools for Solving Problems in the Scope of Algebraic Programming.
AISMC 1994: 30-47 |
| 1993 |
|---|
| 10 | | Alexander A. Letichevsky:
Development of Rewriting Strategies.
PLILP 1993: 378-390 |
| 9 | | Alexander A. Letichevsky,
M. S. Lvov:
Discovery of Invariant Equalities in Programs over Data Fields.
Appl. Algebra Eng. Commun. Comput. 4: 269-286 (1993) |
| 8 | | Alexander A. Letichevsky,
Julia V. Kapitonova,
S. V. Konozenko:
Computations in APS.
Theor. Comput. Sci. 119(1): 145-171 (1993) |
| 1991 |
|---|
| 7 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
S. V. Konozenko:
Algebraic Programs Optimization.
ISSAC 1991: 370-376 |
| 1990 |
|---|
| 6 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova:
Algebraic Programming in the APS System.
ISSAC 1990: 68-75 |
| 1987 |
|---|
| 5 | | Alexander A. Letichevsky:
Algebras with Approximation and Excursive Data Structures.
FCT 1987: 284-287 |
| 1986 |
|---|
| 4 | | Vladimir S. Mikhalevich,
Julia V. Kapitonova,
Alexander A. Letichevsky:
On Model of Macroconveyor Computations.
IFIP Congress 1986: 975-980 |
| 1983 |
|---|
| 3 | | Alexander A. Letichevsky:
Algebra of Algorithms, Data Structures and Parallel Computation.
IFIP Congress 1983: 859-864 |
| 1979 |
|---|
| 2 | | Alexander A. Letichevsky:
On finding invariant relations of programs.
Algorithms in Modern Mathematics and Computer Science 1979: 304-314 |
| 1971 |
|---|
| 1 | | Y. V. Kapitonova,
Alexander A. Letichevsky:
Design Problems of Software Special Systems.
IFIP Congress (1) 1971: 335-338 |
