RUS  ENG
Full version
PEOPLE

Chalyi Dmitrii Yur'evich

Publications in Math-Net.Ru

  1. Extremal estimates of the Wiener index for weakly connected directed graphs

    Model. Anal. Inform. Sist., 32:1 (2025),  16–31
  2. Question answering system for applicant support by using modern messengers

    Model. Anal. Inform. Sist., 25:4 (2018),  411–420
  3. On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»

    Model. Anal. Inform. Sist., 25:4 (2018),  402–410
  4. Semantic security methods for software-defined networks

    Model. Anal. Inform. Sist., 24:6 (2017),  755–759
  5. Design and security analysis of a fragment of Internet of Things telecommunication system

    Model. Anal. Inform. Sist., 23:6 (2016),  767–776
  6. End-to-end information flow security model for software-defined networks

    Model. Anal. Inform. Sist., 22:6 (2015),  735–749
  7. A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language

    Model. Anal. Inform. Sist., 21:4 (2014),  5–12
  8. Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions

    Model. Anal. Inform. Sist., 19:4 (2012),  37–47
  9. On languages of automaton counter machines

    Model. Anal. Inform. Sist., 17:2 (2010),  48–71
  10. On a reachability set of automaton counter machines

    Model. Anal. Inform. Sist., 17:1 (2010),  52–64
  11. On a reachability set of automaton 3-counter machines

    Model. Anal. Inform. Sist., 16:3 (2009),  77–84
  12. On a class of counter machines

    Model. Anal. Inform. Sist., 16:2 (2009),  75–82
  13. Algorithms for the boundedness problem for Minsky counter machines

    Model. Anal. Inform. Sist., 15:4 (2008),  42–55
  14. On the decidability of boundedness problems for counter Minsky machines

    Model. Anal. Inform. Sist., 15:1 (2008),  16–26


© Steklov Math. Inst. of RAS, 2026