Vladimir A. Bashkin

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 12

Top Topics

Routing Algorithm

Top Venues

Autom. Control. Comput. Sci.

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

Publications

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms. Autom. Control. Comput. Sci. 56 (7) (2022)
Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar
Resource Bisimilarity in Petri Nets is Decidable. Fundam. Informaticae 186 (1-4) (2022)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms. Autom. Control. Comput. Sci. 56 (7) (2022)
Irina A. Lomazova, Vladimir A. Bashkin
On the Decidability of Behavioral Equivalences for (P, P)-PRS. CoRR (2021)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms. Autom. Control. Comput. Sci. 55 (7) (2021)
E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin
Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms. Autom. Control. Comput. Sci. 53 (7) (2019)
Nikita Baranov, Mikhail Bashkin, Vladimir A. Bashkin
Self-Healing Anonymous Routing in Unstable Sensor Networks. FiCloud (2019)
Ekaterina V. Aleksandrova, Vladimir A. Bashkin
Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute Events. SENSORNETS (2018)
Nikita Baranov, Vladimir A. Bashkin, Mikhail Bashkin
A lightweight cryptographic scheme of route hiding for the on-demand route discovery algorithms. MECO (2018)
Vladimir A. Bashkin
On the Spatial Boundedness of Cellular RDA-nets. Autom. Control. Comput. Sci. 51 (7) (2017)
Vladimir A. Bashkin
On the Resource Equivalences in Petri nets with Invisible Transitions. PNSE @ Petri Nets (2017)
Valery A. Sokolov, S. V. Korsakov, Alexander V. Smirnov, Vladimir A. Bashkin, E. S. Nikitin
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects. Autom. Control. Comput. Sci. 50 (7) (2016)
Vladimir A. Bashkin, Irina A. Lomazova
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Vladimir A. Bashkin
On the efficient modeling of unbounded resource by one-counter circuits. Autom. Control. Comput. Sci. 48 (7) (2014)
Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova
Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. PaCT (2013)
Vladimir A. Bashkin, Irina A. Lomazova
Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE (2013)
Vladimir A. Bashkin
Approximating bisimulation in one-counter nets. Autom. Control. Comput. Sci. 46 (7) (2012)
Vladimir A. Bashkin, Irina A. Lomazova
Cellular Resource-Driven Automata. Fundam. Informaticae 120 (3-4) (2012)
Vladimir A. Bashkin
Modular nets of active resources. Autom. Control. Comput. Sci. 46 (1) (2012)
Vladimir A. Bashkin
One-counter Circuits. CS&P (2012)
Vladimir A. Bashkin, Irina A. Lomazova
Resource Driven Automata Nets. Fundam. Informaticae 109 (3) (2011)
Vladimir A. Bashkin
Formalization of semantics of systems with unreliable agents by means of nets of active resources. Program. Comput. Softw. 36 (4) (2010)
Vladimir A. Bashkin, Irina A. Lomazova
Similarity of Generalized Resources in Petri Nets. PaCT (2005)
Vladimir A. Bashkin, Irina A. Lomazova
Petri nets and resource bisimulation. Fundam. Informaticae 55 (2) (2003)