|
|
Publications in Math-Net.Ru
-
Extremal estimates of the Wiener index for weakly connected directed graphs
Model. Anal. Inform. Sist., 32:1 (2025), 16–31
-
Question answering system for applicant support by using modern messengers
Model. Anal. Inform. Sist., 25:4 (2018), 411–420
-
On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»
Model. Anal. Inform. Sist., 25:4 (2018), 402–410
-
Semantic security methods for software-defined networks
Model. Anal. Inform. Sist., 24:6 (2017), 755–759
-
Design and security analysis of a fragment of Internet of Things telecommunication system
Model. Anal. Inform. Sist., 23:6 (2016), 767–776
-
End-to-end information flow security model for software-defined networks
Model. Anal. Inform. Sist., 22:6 (2015), 735–749
-
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
-
Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions
Model. Anal. Inform. Sist., 19:4 (2012), 37–47
-
On languages of automaton counter machines
Model. Anal. Inform. Sist., 17:2 (2010), 48–71
-
On a reachability set of automaton counter machines
Model. Anal. Inform. Sist., 17:1 (2010), 52–64
-
On a reachability set of automaton 3-counter machines
Model. Anal. Inform. Sist., 16:3 (2009), 77–84
-
On a class of counter machines
Model. Anal. Inform. Sist., 16:2 (2009), 75–82
-
Algorithms for the boundedness problem for Minsky counter machines
Model. Anal. Inform. Sist., 15:4 (2008), 42–55
-
On the decidability of boundedness problems for counter Minsky machines
Model. Anal. Inform. Sist., 15:1 (2008), 16–26
© , 2026