KIAM Main page Web Library  •  Publication Searh   
Publications
Baranova Tat'yana Petrovna
Email:
ORCID: 0000-0002-2003-3737

2019 year
1.  KIAM Preprint  132, Moscow, 2019
Authors: Andrianov A.N., Baranova T.P., Bugerya A.B., Gladkova E.N., Efimkin K.N.
Title: The NORMA language

2016 year
2.  KIAM Preprint  73, Moscow, 2016
Authors: Andrianov A. N., Baranova T. P., Bugerya A. B., Efimkin K. N.
Title: Nonprocedural NORMA language translation for GPUs

2015 year
3.  KIAM Preprint  102, Moscow, 2015
Authors: Andrianov A. N., Baranova T. P., Bugerya A. B., Efimkin K. N.
Title: Norma language usage for implementing of some NPB tests

2014 year
4.  KIAM Preprint  79, Moscow, 2014
Authors: Baranova T. P., Bulikov V.G., Gaiifulin S.A., Lusikovich V.V., Molchanova G.Yu., Semenova T.V.
Title: The automatic testing system. Tracking of the object of control

2014 year
5.  KIAM Preprint  7, Moscow, 2014
Authors: Baranova T. P., Bulikov V.G., Gaiifulin S. A., Lusikovich V.V., Molchanova G. Y., Semenova T. V.
Title: The automatic testing system. Dipol programming language

2011 year
6.  KIAM Preprint  19, Moscow, 2011
Authors: Baranova T. P., Bulikov V.G., Vershubskii V.Yu., Gaiifulin S. A., Lusikovich V.V., Molchanova G. Y., Semenova T. V.
Title: The automatic testing system. Simulators

2008 year
7.  KIAM Preprint  29, Moscow, 2008
Authors: Baranova T. P., Bulikov V.G., Vershubskii V.Yu., Gaiifulin S. A., Lusikovich V.V., Molchanova G. Y., Semenova T. V., Shura-Bura M.R.
Title: A computer-aided testing system

2007 year
8.  Article, Moscow, 2007 Publisher: : . 15 Ȓ, , , 2007
Authors: Baranova T. P., Vershubskii V.Yu., Efimkin K. N., Fedosimov V.A.
Title: A static analyzer of serial programs

2005 year
9.  KIAM Preprint  124, Moscow, 2005
Authors: Baranova T. P., Vershubskii V.Yu.
Title: A Program to analyze texts written in the FORTRAN language

2004 year
10.  KIAM Preprint  69, Moscow, 2004
Authors: Baranova T. P., Vershubskii V.Yu.
Title: Usage of the SAGE class library for analyses of FORTRAN programs