D. Ju. Chalyy

13 papers Journal 13
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Question-Answering System for Applicant Support Using Modern Messaging Apps.
Autom. Control. Comput. Sci.
D. R. Filonov, D. Ju. Chalyy, Dmitriy Mikhailovich Murin, Valery G. Durnev, Valery A. Sokolov
2018 J jnl
On Some Approaches to the Solution of the "Useful Proof-of-Work for Blockchains" Task.
Autom. Control. Comput. Sci.
Valery G. Durnev, Dmitriy Mikhailovich Murin, Valery A. Sokolov, D. Ju. Chalyy
2018 J jnl
Semantic Security Tools in Software-Defined Networks.
Autom. Control. Comput. Sci.
E. Ju. Antoshina, D. Ju. Chalyy
2014 J jnl
A translator with a security static analysis feature of an information flow for a simple programming language.
Autom. Control. Comput. Sci.
E. Ju. Antoshina, A. N. Barakova, Evgeny S. Nikitin, D. Ju. Chalyy
2013 J jnl
Performance analysis of trickles and TCP transport protocols under high-load network conditions.
Autom. Control. Comput. Sci.
Mikhail A. Nikitinskiy, D. Ju. Chalyy
2011 J jnl
On languages of automaton counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2011 J jnl
On the reachability set of automaton counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
Algorithms for the boundedness problem for Minsky counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
Boundedness problems for Minsky counter machines.
Program. Comput. Softw.
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
2010 J jnl
Decidability of boundedness problems for Minsky counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
On a reachability set of automation 3-counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2010 J jnl
On one class of counter machines.
Autom. Control. Comput. Sci.
E. V. Kuzmin, D. Ju. Chalyy
2009 J jnl
Application of the trace assertion method to the specification, design, and verification of automaton programs.
Program. Comput. Softw.
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy