 | 2005 |
| 5 |  | 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 |
| 4 |  | 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 |
| 3 |  | Sergey Baranov,
Vsevolod Kotlyarov,
Julia V. Kapitonova,
Alexander A. Letichevsky,
Vladislav A. Volkov:
Requirement Capturing and 3CR Approac.
COMPSAC 2002: 279-283 |
| 1999 |
| 2 |  | 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 |
| 1 |  | 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 |