# Julia V. Kapitonova

According to our database

Collaborative distances:

^{1}, Julia V. Kapitonova authored at least 10 papers between 1979 and 2005.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2005

System Validation.

Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.

Comput. Networks, 2005

Semantics of Message Sequence Charts.

Proceedings of the SDL 2005: Model Driven, 2005

2002

Requirement Capturing and 3CR Approac.

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

1999

The development of interactive algorithms for the Mathematical Environment.

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1993

Computations in APS.

Theor. Comput. Sci., 1993

1991

Algebraic Programs Optimization.

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

1990

Algebraic Programming in the APS System.

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

1986

On Model of Macroconveyor Computations.

Proceedings of the Information Processing 86, 1986

1979

On design and implementation of algorithms.

Proceedings of the Algorithms in Modern Mathematics and Computer Science, 1979