Vladimir A. Bashkin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2022

Assessing Flaw Severity on Interpretation of Eddy-Current DefectogramsE. V. Kuzmin 0001, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin. accs, 56(7):723-734, December 2022. [doi]

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current DefectogramsE. V. Kuzmin 0001, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin. accs, 56(7):701-710, December 2022. [doi]

Resource Bisimilarity in Petri Nets is DecidableIrina A. Lomazova, Vladimir A. Bashkin, Petr Jancar. FUIN, 186(1-4):175-194, 2022. [doi]

2021

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy Current DefectogramsE. V. Kuzmin 0001, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin. accs, 55(7):712-722, 2021. [doi]

2019

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current DefectogramsE. V. Kuzmin, Oleg E. Gorbunov, Petr O. Plotnikov, Vadim A. Tyukin, Vladimir A. Bashkin. accs, 53(7):628-637, 2019. [doi]

2018

Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks with a Tsunami Model of Acute EventsEkaterina V. Aleksandrova, Vladimir A. Bashkin. sensornets 2018: 141-146 [doi]

2017

On the Spatial Boundedness of Cellular RDA-netsVladimir A. Bashkin. accs, 51(7):666-677, 2017. [doi]

On the Resource Equivalences in Petri nets with Invisible TransitionsVladimir A. Bashkin. apn 2017: 51-68 [doi]

2016

Instrumental supporting system for developing and analysis of software-defined networks of mobile objectsV. A. Sokolov, S. V. Korsakov, A. V. Smirnov, Vladimir A. Bashkin, E. S. Nikitin. accs, 50(7):536-545, 2016. [doi]

2014

On the efficient modeling of unbounded resource by one-counter circuitsVladimir A. Bashkin. accs, 48(7):564-574, 2014. [doi]

Decidability of k -Soundness for Workflow Nets with an Unbounded ResourceVladimir A. Bashkin, Irina A. Lomazova. topnoc, 9:1-18, 2014. [doi]

2013

Soundness of Workflow Nets with an Unbounded Resource is DecidableVladimir A. Bashkin, Irina A. Lomazova. apn 2013: 61-75 [doi]

Timed Resource Driven Automata Nets for Distributed Real-Time Systems ModellingVladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova. pact 2013: 13-25 [doi]

2012

Modular nets of active resourcesVladimir A. Bashkin. accs, 46(1):1-11, 2012. [doi]

One-counter CircuitsVladimir A. Bashkin. csp 2012: 25-36 [doi]

Approximating bisimulation in one-counter netsVladimir A. Bashkin. accs, 46(7):317-323, 2012. [doi]

Cellular Resource-Driven AutomataVladimir A. Bashkin, Irina A. Lomazova. FUIN, 120(3-4):243-257, 2012. [doi]

2011

Resource Driven Automata NetsVladimir A. Bashkin, Irina A. Lomazova. FUIN, 109(3):223-236, 2011. [doi]

2010

Formalization of semantics of systems with unreliable agents by means of nets of active resourcesVladimir A. Bashkin. pcs, 36(4):187-196, 2010. [doi]

2005

Similarity of Generalized Resources in Petri NetsVladimir A. Bashkin, Irina A. Lomazova. pact 2005: 27-41 [doi]

2003

Petri nets and resource bisimulationVladimir A. Bashkin, Irina A. Lomazova. FUIN, 55(2):101-114, 2003. [doi]

Sign in or sign up to see more results.

runs on WebDSL