×
Author ID: kapitonova.yu-v Recent zbMATH articles by "Kapitonova, Yu. V."
Published as: Kapitonova, Yu. V.

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 83 times in 68 Documents Cited by Year
Systems specification by basic protocols. Zbl 1103.68370
Letichevsky, A. Ad.; Kapitonova, Yu. V.; Volkov, V. A.; Letichevsky, A. A.; Baranov, S. N.; Kotlyarov, V. P.; Weigert, T.
11
2005
Mathematical theory for the design of computational systems. (Математическая теория проектирования вычислительных систем.) Zbl 0661.68001
Kapitonova, Yu. V.; Letichevskiĭ, A. A.
9
1988
Classes of conjugate elements of the unitriangular group. Zbl 0761.20022
Gudivok, P. M.; Kapitonova, Yu. V.; Polyak, S. S.; Rud’ko, V. P.; Tsitkin, A. I.
9
1990
A fast algorithm for matrix multiplication and its efficient realization on systolic arrays. Zbl 0999.68265
Elfimova, L. D.; Kapitonova, Yu. V.
7
2001
Deductive tools of an algebraic programming system. Zbl 0966.68198
Kapitonova, Yu. V.; Letichevskii, A. A.; Volkov, V. A.
6
2000
Iterative methods of program analysis. Zbl 0800.68546
Godlevskij, A. B.; Kapitonova, Yu. V.; Krivoj, S. L.; Letichevskij, A. A.
5
1989
Macroconveyor computations of functions on data structures. Zbl 0483.68027
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.; Gorlach, S. P.
4
1981
Insertion programming. Zbl 1040.68025
Letichevskij, A. A.; Kapitonova, Yu. V.; Volkov, V. A.; Vyshemirskij, V. V.; Letichevskij, A. A. jun.
3
2003
The efficiency of parallel computations with limited resources. Zbl 0468.68028
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.
3
1980
Optimality of systems of identically distributed competing processes. Zbl 1102.68012
Kapitonova, Yu. V.; Kovalenko, N. S.; Pavlov, P. A.
2
2005
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\). Zbl 1010.68080
Kapitonova, Yu. V.; Chebotarev, A. N.
2
2000
Zur Konstruktion einer praktischen formalen Sprache zur Notierung mathematischer Theorien. Zbl 0257.68060
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.; Versinin, K. P.; Malevanyi, N. P.
2
1972
Discrete systems and problems of their realization. II. Zbl 0321.94025
Kapitonova, Yu. V.
2
1975
An integrated approach to the design of processor arrays with systolic organization of computations. Zbl 1031.68037
Elfimova, L. D.; Kapitonova, Yu. V.
2
2002
Fundamental ideas and evolution of computer systems. Zbl 0843.01001
Kapitonova, Yu. V.
2
1995
Iterative methods for program analysis equalities and inequalities. Zbl 0800.68549
Godlevskij, A. B.; Kapitonova, Yu. V.; Krivoj, S. L.; Letichevskij, A. A.
2
1990
Theorem proving in a mathematical information environment. Zbl 0945.68532
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1998
Design of macropipelined programs. Zbl 0646.68009
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1987
Problems on automation of computer and system design. Zbl 0197.43602
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevsky, A. A.
1
1970
Discrete systems and problems of their realization. I. Zbl 0321.94024
Kapitonova, Yu. V.
1
1975
Semantics of timed message sequence charts. Zbl 1031.68072
Letichevskii, A. A.; Kapitonova, Yu. V.; Kotlyarov, V. P.; Letichevskii, A. A. jun.; Volkov, V. A.
1
2002
Basic paradigms of programming. Zbl 0837.68011
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1994
Fundamentals of discrete mathematics. (Osnovy dyskretnoïmatematyky.) Zbl 1259.00002
Kapitonova, Yu. V.; Krivij, S. L.; Letichevs’kij, A. A.; Luts’kij, G. M.; Pechurin, M. K.
1
2002
Using Bayesian networks for monitoring computer users. Zbl 1101.68873
Kapitonova, Yu. V.; Mishchenko, N. M.; Felizhanko, O. D.; Shchegoleva, N. N.
1
2004
Efficiency and optimality of one method of distributing program resources in multiprocessor computer systems. Zbl 0557.68026
Kapitonova, Yu. V.; Kovalenko, N. S.; Ovseets, M. I.
1
1983
Optimal organization of a class of parallel processes. Zbl 0559.68040
Kapitonova, Yu. V.; Klyaus, P. S.; Kovalenko, N. S.
1
1984
Mathematical model of pipelining of competing processes. Zbl 0631.68030
Kapitonova, Yu. V.; Klyaus, P. S.; Kovalenko, N. S.
1
1987
Definition of the semantics of programming language constructs in terms of lambda-calculus. I. Zbl 0491.68034
Domrachev, V. N.; Kapitonova, Yu. V.; Samojlenko, L. G.
1
1981
Systems specification by basic protocols. Zbl 1103.68370
Letichevsky, A. Ad.; Kapitonova, Yu. V.; Volkov, V. A.; Letichevsky, A. A.; Baranov, S. N.; Kotlyarov, V. P.; Weigert, T.
11
2005
Optimality of systems of identically distributed competing processes. Zbl 1102.68012
Kapitonova, Yu. V.; Kovalenko, N. S.; Pavlov, P. A.
2
2005
Using Bayesian networks for monitoring computer users. Zbl 1101.68873
Kapitonova, Yu. V.; Mishchenko, N. M.; Felizhanko, O. D.; Shchegoleva, N. N.
1
2004
Insertion programming. Zbl 1040.68025
Letichevskij, A. A.; Kapitonova, Yu. V.; Volkov, V. A.; Vyshemirskij, V. V.; Letichevskij, A. A. jun.
3
2003
An integrated approach to the design of processor arrays with systolic organization of computations. Zbl 1031.68037
Elfimova, L. D.; Kapitonova, Yu. V.
2
2002
Semantics of timed message sequence charts. Zbl 1031.68072
Letichevskii, A. A.; Kapitonova, Yu. V.; Kotlyarov, V. P.; Letichevskii, A. A. jun.; Volkov, V. A.
1
2002
Fundamentals of discrete mathematics. (Osnovy dyskretnoïmatematyky.) Zbl 1259.00002
Kapitonova, Yu. V.; Krivij, S. L.; Letichevs’kij, A. A.; Luts’kij, G. M.; Pechurin, M. K.
1
2002
A fast algorithm for matrix multiplication and its efficient realization on systolic arrays. Zbl 0999.68265
Elfimova, L. D.; Kapitonova, Yu. V.
7
2001
Deductive tools of an algebraic programming system. Zbl 0966.68198
Kapitonova, Yu. V.; Letichevskii, A. A.; Volkov, V. A.
6
2000
Inductive synthesis of an automaton from its specification in the logical language \({\mathfrak L}\). Zbl 1010.68080
Kapitonova, Yu. V.; Chebotarev, A. N.
2
2000
Theorem proving in a mathematical information environment. Zbl 0945.68532
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1998
Fundamental ideas and evolution of computer systems. Zbl 0843.01001
Kapitonova, Yu. V.
2
1995
Basic paradigms of programming. Zbl 0837.68011
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1994
Classes of conjugate elements of the unitriangular group. Zbl 0761.20022
Gudivok, P. M.; Kapitonova, Yu. V.; Polyak, S. S.; Rud’ko, V. P.; Tsitkin, A. I.
9
1990
Iterative methods for program analysis equalities and inequalities. Zbl 0800.68549
Godlevskij, A. B.; Kapitonova, Yu. V.; Krivoj, S. L.; Letichevskij, A. A.
2
1990
Iterative methods of program analysis. Zbl 0800.68546
Godlevskij, A. B.; Kapitonova, Yu. V.; Krivoj, S. L.; Letichevskij, A. A.
5
1989
Mathematical theory for the design of computational systems. (Математическая теория проектирования вычислительных систем.) Zbl 0661.68001
Kapitonova, Yu. V.; Letichevskiĭ, A. A.
9
1988
Design of macropipelined programs. Zbl 0646.68009
Kapitonova, Yu. V.; Letichevskij, A. A.
1
1987
Mathematical model of pipelining of competing processes. Zbl 0631.68030
Kapitonova, Yu. V.; Klyaus, P. S.; Kovalenko, N. S.
1
1987
Optimal organization of a class of parallel processes. Zbl 0559.68040
Kapitonova, Yu. V.; Klyaus, P. S.; Kovalenko, N. S.
1
1984
Efficiency and optimality of one method of distributing program resources in multiprocessor computer systems. Zbl 0557.68026
Kapitonova, Yu. V.; Kovalenko, N. S.; Ovseets, M. I.
1
1983
Macroconveyor computations of functions on data structures. Zbl 0483.68027
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.; Gorlach, S. P.
4
1981
Definition of the semantics of programming language constructs in terms of lambda-calculus. I. Zbl 0491.68034
Domrachev, V. N.; Kapitonova, Yu. V.; Samojlenko, L. G.
1
1981
The efficiency of parallel computations with limited resources. Zbl 0468.68028
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.
3
1980
Discrete systems and problems of their realization. II. Zbl 0321.94025
Kapitonova, Yu. V.
2
1975
Discrete systems and problems of their realization. I. Zbl 0321.94024
Kapitonova, Yu. V.
1
1975
Zur Konstruktion einer praktischen formalen Sprache zur Notierung mathematischer Theorien. Zbl 0257.68060
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevskij, A. A.; Versinin, K. P.; Malevanyi, N. P.
2
1972
Problems on automation of computer and system design. Zbl 0197.43602
Glushkov, V. M.; Kapitonova, Yu. V.; Letichevsky, A. A.
1
1970

Citations by Year