Petri nets and resource bisimulation. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2003)

Similarity of Generalized Resources in Petri Nets. - Vladimir A. Bashkin; Irina A. Lomazova (PaCT, 2005)

Formalization of semantics of systems with unreliable agents by means of nets of active resources. - Vladimir A. Bashkin (Program. Comput. Softw., 2010)

Resource Driven Automata Nets. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2011)

One-counter Circuits. - Vladimir A. Bashkin (CS&P, 2012)

Modular nets of active resources. - Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2012)

Approximating bisimulation in one-counter nets. - Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2012)

Cellular Resource-Driven Automata. - Vladimir A. Bashkin; Irina A. Lomazova (Fundam. Informaticae, 2012)

Soundness of Workflow Nets with an Unbounded Resource is Decidable. - Vladimir A. Bashkin; Irina A. Lomazova (PNSE+ModPE, 2013)

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. - Vladimir A. Bashkin; Irina A. Lomazova; Yulia A. Novikova (PaCT, 2013)

On the efficient modeling of unbounded resource by one-counter circuits. - Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2014)

Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. - Vladimir A. Bashkin; Irina A. Lomazova (Trans. Petri Nets Other Model. Concurr., 2014)

Instrumental supporting system for developing and analysis of software-defined networks of mobile objects. - Valery A. Sokolov; S. V. Korsakov; Alexander V. Smirnov 002; Vladimir A. Bashkin; Evgeny S. Nikitin (Autom. Control. Comput. Sci., 2016)

On the Resource Equivalences in Petri nets with Invisible Transitions. - Vladimir A. Bashkin (PNSE @ Petri Nets, 2017)

On the Spatial Boundedness of Cellular RDA-nets. - Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2017)

A lightweight cryptographic scheme of route hiding for the on-demand route discovery algorithms. - Nikita Baranov; Vladimir A. Bashkin; Mikhail Bashkin (MECO, 2018)

Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute Events. - Ekaterina V. Aleksandrova; Vladimir A. Bashkin (SENSORNETS, 2018)

Self-Healing Anonymous Routing in Unstable Sensor Networks. - Nikita Baranov; Mikhail Bashkin; Vladimir A. Bashkin (FiCloud, 2019)

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2019)

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2021)

On the Decidability of Behavioral Equivalences for (P, P)-PRS. - Irina A. Lomazova; Vladimir A. Bashkin (CoRR, 2021)

Resource Bisimilarity in Petri Nets is Decidable. - Irina A. Lomazova; Vladimir A. Bashkin; Petr Jancar (Fundam. Informaticae, 2022)

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2022)

Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms. - E. V. Kuzmin 001; Oleg E. Gorbunov; Petr O. Plotnikov; Vadim A. Tyukin; Vladimir A. Bashkin (Autom. Control. Comput. Sci., 2022)