2005 |
9 | 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 |
8 | 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 |
7 | EE | Sergey Baranov,
Vsevolod Kotlyarov,
Julia V. Kapitonova,
Alexander A. Letichevsky,
Vladislav A. Volkov:
Requirement Capturing and 3CR Approac.
COMPSAC 2002: 279-283 |
1999 |
6 | 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) |
1993 |
5 | | Alexander A. Letichevsky,
Julia V. Kapitonova,
S. V. Konozenko:
Computations in APS.
Theor. Comput. Sci. 119(1): 145-171 (1993) |
1991 |
4 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova,
S. V. Konozenko:
Algebraic Programs Optimization.
ISSAC 1991: 370-376 |
1990 |
3 | EE | Alexander A. Letichevsky,
Julia V. Kapitonova:
Algebraic Programming in the APS System.
ISSAC 1990: 68-75 |
1986 |
2 | | Vladimir S. Mikhalevich,
Julia V. Kapitonova,
Alexander A. Letichevsky:
On Model of Macroconveyor Computations.
IFIP Congress 1986: 975-980 |
1979 |
1 | | Julia V. Kapitonova:
On design and implementation of algorithms.
Algorithms in Modern Mathematics and Computer Science 1979: 462 |