Application of the trace assertion method to the specification, design, and verification of automaton programs. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2009)

Algorithms for the boundedness problem for Minsky counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

Decidability of boundedness problems for Minsky counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

On a reachability set of automation 3-counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

On one class of counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2010)

Boundedness problems for Minsky counter machines. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2010)

On the reachability set of automaton counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2011)

On languages of automaton counter machines. - E. V. Kuzmin 001; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2011)

Performance analysis of trickles and TCP transport protocols under high-load network conditions. - Mikhail A. Nikitinskiy; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2013)

A translator with a security static analysis feature of an information flow for a simple programming language. - E. Ju. Antoshina; A. N. Barakova; Evgeny S. Nikitin; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2014)

Modeling stateless transport protocols in ns-3. - Dmitry Ju. Chalyy (FRUCT, 2015)

Implementation of stateless transport protocols in ns-3. - Dmitry Ju. Chalyy (WNS3, 2015)

Semantic Security Tools in Software-Defined Networks. - E. Ju. Antoshina; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2018)

On Some Approaches to the Solution of the "Useful Proof-of-Work for Blockchains" Task. - Valery G. Durnev; Dmitriy Mikhailovich Murin; Valery A. Sokolov; D. Ju. Chalyy (Autom. Control. Comput. Sci., 2018)

A Question-Answering System for Applicant Support Using Modern Messaging Apps. - D. R. Filonov; D. Ju. Chalyy; Dmitriy Mikhailovich Murin; Valery G. Durnev; Valery A. Sokolov (Autom. Control. Comput. Sci., 2019)