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.

 

Other publications of authors with the same name

Establishing Linux Driver Verification Process., , , and . Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 165-176. Springer, (2009)Transparent integration of a real-time collision safety system to a motor control chain of a service robot., , and . TePRA, page 1-6. IEEE, (2015)Is it possible to unify sequential programs?, and . UNIF@RTA/TLCA, volume 19 of EPiC Series in Computing, page 35-45. EasyChair, (2013)Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (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 the Model Checking of Sequential Reactive Systems., and . CS&P, volume 1698 of CEUR Workshop Proceedings, page 233-244. CEUR-WS.org, (2016)On the Concept of Software Obfuscation in Computer Security., , , and . ISC, volume 4779 of Lecture Notes in Computer Science, page 281-298. Springer, (2007)Algorithms of Two-Level Parallelization for DSMC of Unsteady Flows in Molecular Gasdynamics, , , , , and . CoRR, (1999)Equivalence Checking Problem for Finite State Transducers over Semigroups.. CAI, volume 9270 of Lecture Notes in Computer Science, page 208-221. Springer, (2015)An Efficient and Unified Approach to the Decidability of Equivalence of Propositional Programs.. ICALP, volume 1443 of Lecture Notes in Computer Science, page 247-258. Springer, (1998)To the Functional Equivalence of Turing Machines.. FCT, volume 278 of Lecture Notes in Computer Science, page 488-491. Springer, (1987)