|
|
Publications in Math-Net.Ru
-
Severity estimation of defects on interpretation of eddy-current defectograms
Model. Anal. Inform. Sist., 28:2 (2021), 170–185
-
An algorithm for correcting levels of useful signals on interpretation of eddy-current defectograms
Model. Anal. Inform. Sist., 28:1 (2021), 74–88
-
Application of convolutional neural networks for recognizing long structural elements of rails in eddy-current defectograms
Model. Anal. Inform. Sist., 27:3 (2020), 316–329
-
On the approximation of the resource equivalences in Petri nets with the invisible transitions
Model. Anal. Inform. Sist., 27:2 (2020), 234–253
-
Application of neural networks for recognizing rail structural elements in magnetic and eddy current defectograms
Model. Anal. Inform. Sist., 25:6 (2018), 667–679
-
On the spatial boundedness of cellular RDA-nets
Model. Anal. Inform. Sist., 24:4 (2017), 391–409
-
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
Model. Anal. Inform. Sist., 22:4 (2015), 546–562
-
Controllable deadlocks in parallel resource-constrained workflows
Model. Anal. Inform. Sist., 21:6 (2014), 18–30
-
On the Decidability of Soundness of Workflow Nets with an Unbounded Resource
Model. Anal. Inform. Sist., 20:4 (2013), 23–40
-
On the Efficient Representation of an Unbounded Resource with the Aid of One-Counter Circuits
Model. Anal. Inform. Sist., 20:2 (2013), 139–156
-
On the Hereditary Properties of Modular Nets
Model. Anal. Inform. Sist., 19:6 (2012), 9–20
-
Approximating bisimulation in one-counter nets
Model. Anal. Inform. Sist., 18:4 (2011), 33–44
-
Nets of active resources
Model. Anal. Inform. Sist., 14:4 (2007), 13–19
© , 2025