Author of the publication

Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System).

, , , and . RCDL, volume 1297 of CEUR Workshop Proceedings, page 75-80. CEUR-WS.org, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Sokolov, Valery
add a person with the name Sokolov, Valery
 

Other publications of authors with the same name

Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System)., , , and . RCDL, volume 1297 of CEUR Workshop Proceedings, page 75-80. CEUR-WS.org, (2014)Об автоматической спецификации стиха в информационно-аналитической системе (On an Automatic Procedure for the Specification of a Poetic Text for an Open Information-Analytical System)., , , and . DAMDID/RCDL, volume 1536 of CEUR Workshop Proceedings, page 144-151. CEUR-WS.org, (2015)An Approach to the Implementation of the Dynamical Priorities Method., and . PaCT, volume 3606 of Lecture Notes in Computer Science, page 74-78. Springer, (2005)Application of the trace assertion method to the specification, design, and verification of automaton programs., , and . Program. Comput. Softw., 35 (1): 43-55 (2009)Modeling and traffic analysis of the adaptive rate transport protocol., and . Future Generation Comp. Syst., 18 (6): 813-827 (2002)Modeling, specification, and verification of automaton programs., and . Program. Comput. Softw., 34 (1): 27-43 (2008)Boundedness problems for Minsky counter machines., , and . Program. Comput. Softw., 36 (1): 3-10 (2010)On a Technology of Design and Analysis of Dataflow Programs., , and . PaCT, volume 1277 of Lecture Notes in Computer Science, page 115-120. Springer, (1997)ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks., and . PaCT, volume 2127 of Lecture Notes in Computer Science, page 159-174. Springer, (2001)Construction of CFC-Programs by LTL-Specification., , and . Autom. Control. Comput. Sci., 51 (7): 567-575 (2017)