Vladimir A. Bashkin

According to our database, Vladimir A. Bashkin authored at least 24 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., December, 2022

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., December, 2022

Resource Bisimilarity in Petri Nets is Decidable.

Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar

Fundam. Informaticae, 2022

2021

On the Decidability of Behavioral Equivalences for (P, P)-PRS.

Irina A. Lomazova, Vladimir A. Bashkin

CoRR, 2021

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2021

2019

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms.

E. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2019

Self-Healing Anonymous Routing in Unstable Sensor Networks.

Nikita Baranov, Mikhail Bashkin, Vladimir A. Bashkin

Proceedings of the 7th International Conference on Future Internet of Things and Cloud, 2019

2018

Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute Events.

Ekaterina V. Aleksandrova, Vladimir A. Bashkin

Proceedings of the 7th International Conference on Sensor Networks, 2018

A lightweight cryptographic scheme of route hiding for the on-demand route discovery algorithms.

Nikita Baranov, Vladimir A. Bashkin, Mikhail Bashkin

Proceedings of the 7th Mediterranean Conference on Embedded Computing, 2018

2017

On the Spatial Boundedness of Cellular RDA-nets.

Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2017

On the Resource Equivalences in Petri nets with Invisible Transitions.

Vladimir A. Bashkin

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Instrumental supporting system for developing and analysis of software-defined networks of mobile objects.

Valery A. Sokolov, S. V. Korsakov, Alexander V. Smirnov, Vladimir A. Bashkin, Evgeny S. Nikitin

Autom. Control. Comput. Sci., 2016

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

On the efficient modeling of unbounded resource by one-counter circuits.

Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2014

2013

Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling.

Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

Soundness of Workflow Nets with an Unbounded Resource is Decidable.

Vladimir A. Bashkin, Irina A. Lomazova

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Cellular Resource-Driven Automata.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2012

Approximating bisimulation in one-counter nets.

Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2012

Modular nets of active resources.

Vladimir A. Bashkin

Autom. Control. Comput. Sci., 2012

One-counter Circuits.

Vladimir A. Bashkin

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

Resource Driven Automata Nets.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2011

2010

Formalization of semantics of systems with unreliable agents by means of nets of active resources.

Vladimir A. Bashkin

Program. Comput. Softw., 2010

2005

Similarity of Generalized Resources in Petri Nets.

Vladimir A. Bashkin, Irina A. Lomazova

Proceedings of the Parallel Computing Technologies, 2005

2003

Petri nets and resource bisimulation.

Vladimir A. Bashkin, Irina A. Lomazova

Fundam. Informaticae, 2003