Vladimir A. Bashkin

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