Julia V. Kapitonova

Publication Activity (10 Years)

Years Active: 1979-2005
Publications (10 Years): 0

Publications

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. Comput. Networks 49 (5) (2005)
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)
Sergey Baranov, Vsevolod Kotlyarov, Julia V. Kapitonova, Alexander A. Letichevsky, Vladislav A. Volkov
Requirement Capturing and 3CR Approac. COMPSAC (2002)
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. Calculemus (1999)
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
Computations in APS. Theor. Comput. Sci. 119 (1) (1993)
Alexander A. Letichevsky, Julia V. Kapitonova, S. V. Konozenko
Algebraic Programs Optimization. ISSAC (1991)
Alexander A. Letichevsky, Julia V. Kapitonova
Algebraic Programming in the APS System. ISSAC (1990)
Vladimir S. Mikhalevich, Julia V. Kapitonova, Alexander A. Letichevsky
On Model of Macroconveyor Computations. IFIP Congress (1986)
Julia V. Kapitonova
On design and implementation of algorithms. Algorithms in Modern Mathematics and Computer Science (1979)