Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Vladimir A. Bashkin

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Vladimir A. Bashkin

download as .bib file

@article{DBLP:journals/accs/KuzminGPTB22,
  author       = {E. V. Kuzmin and
                  Oleg E. Gorbunov and
                  Petr O. Plotnikov and
                  Vadim A. Tyukin and
                  Vladimir A. Bashkin},
  title        = {An Algorithm for Correcting Levels of Useful Signals on Interpretation
                  of Eddy-Current Defectograms},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {56},
  number       = {7},
  pages        = {701--710},
  year         = {2022},
  url          = {https://doi.org/10.3103/S0146411622070100},
  doi          = {10.3103/S0146411622070100},
  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/KuzminGPTB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/KuzminGPTB22a,
  author       = {E. V. Kuzmin and
                  Oleg E. Gorbunov and
                  Petr O. Plotnikov and
                  Vadim A. Tyukin and
                  Vladimir A. Bashkin},
  title        = {Assessing Flaw Severity on Interpretation of Eddy-Current Defectograms},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {56},
  number       = {7},
  pages        = {723--734},
  year         = {2022},
  url          = {https://doi.org/10.3103/S0146411622070124},
  doi          = {10.3103/S0146411622070124},
  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/KuzminGPTB22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LomazovaBJ22,
  author       = {Irina A. Lomazova and
                  Vladimir A. Bashkin and
                  Petr Jancar},
  title        = {Resource Bisimilarity in Petri Nets is Decidable},
  journal      = {Fundam. Informaticae},
  volume       = {186},
  number       = {1-4},
  pages        = {175--194},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222125},
  doi          = {10.3233/FI-222125},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/LomazovaBJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/KuzminGPTB21,
  author       = {E. V. Kuzmin and
                  Oleg E. Gorbunov and
                  Petr O. Plotnikov and
                  Vadim A. Tyukin and
                  Vladimir A. Bashkin},
  title        = {Application of Convolutional Neural Networks for Recognizing Long
                  Structural Elements of Rails in Eddy Current Defectograms},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {55},
  number       = {7},
  pages        = {712--722},
  year         = {2021},
  url          = {https://doi.org/10.3103/S0146411621070099},
  doi          = {10.3103/S0146411621070099},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/KuzminGPTB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2101-07711,
  author       = {Irina A. Lomazova and
                  Vladimir A. Bashkin},
  title        = {On the Decidability of Behavioral Equivalences for (P, {P)-PRS}},
  journal      = {CoRR},
  volume       = {abs/2101.07711},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.07711},
  eprinttype    = {arXiv},
  eprint       = {2101.07711},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-07711.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/KuzminGPTB19,
  author       = {E. V. Kuzmin and
                  Oleg E. Gorbunov and
                  Petr O. Plotnikov and
                  Vadim A. Tyukin and
                  Vladimir A. Bashkin},
  title        = {Application of Neural Networks for Recognizing Rail Structural Elements
                  in Magnetic and Eddy Current Defectograms},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {53},
  number       = {7},
  pages        = {628--637},
  year         = {2019},
  url          = {https://doi.org/10.3103/S0146411619070137},
  doi          = {10.3103/S0146411619070137},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/KuzminGPTB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ficloud/BaranovBB19,
  author       = {Nikita Baranov and
                  Mikhail Bashkin and
                  Vladimir A. Bashkin},
  editor       = {Muhammad Younas and
                  Irfan Awan and
                  Takahiro Hara},
  title        = {Self-Healing Anonymous Routing in Unstable Sensor Networks},
  booktitle    = {7th International Conference on Future Internet of Things and Cloud,
                  FiCloud 2019, Istanbul, Turkey, August 26-28, 2019},
  pages        = {88--95},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FiCloud.2019.00020},
  doi          = {10.1109/FICLOUD.2019.00020},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ficloud/BaranovBB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/meco/BaranovBB18,
  author       = {Nikita Baranov and
                  Vladimir A. Bashkin and
                  Mikhail Bashkin},
  title        = {A lightweight cryptographic scheme of route hiding for the on-demand
                  route discovery algorithms},
  booktitle    = {7th Mediterranean Conference on Embedded Computing, {MECO} 2018, Budva,
                  Montenegro, June 10-14, 2018},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/MECO.2018.8406046},
  doi          = {10.1109/MECO.2018.8406046},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/meco/BaranovBB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sensornets/AleksandrovaB18,
  author       = {Ekaterina V. Aleksandrova and
                  Vladimir A. Bashkin},
  editor       = {Eric Fleury and
                  Andreas Ahrens and
                  C{\'{e}}sar Benavente{-}Peces and
                  Nancy Cam{-}Winget},
  title        = {Hydrodynamic Adaptive Routing Algorithm for Unstable Sensor Networks
                  with a Tsunami Model of Acute Events},
  booktitle    = {Proceedings of the 7th International Conference on Sensor Networks,
                  {SENSORNETS} 2018, Funchal, Madeira - Portugal, January 22-24, 2018},
  pages        = {141--146},
  publisher    = {SciTePress},
  year         = {2018},
  url          = {https://doi.org/10.5220/0006655901410146},
  doi          = {10.5220/0006655901410146},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sensornets/AleksandrovaB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/Bashkin17,
  author       = {Vladimir A. Bashkin},
  title        = {On the Spatial Boundedness of Cellular RDA-nets},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {51},
  number       = {7},
  pages        = {666--677},
  year         = {2017},
  url          = {https://doi.org/10.3103/S0146411617070252},
  doi          = {10.3103/S0146411617070252},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/Bashkin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Bashkin17,
  author       = {Vladimir A. Bashkin},
  editor       = {Daniel Moldt and
                  Lawrence Cabac and
                  Heiko R{\"{o}}lke},
  title        = {On the Resource Equivalences in Petri nets with Invisible Transitions},
  booktitle    = {Proceedings of the International Workshop on Petri Nets and Software
                  Engineering (PNSE'17), co-located with the38th International Conference
                  on Application and Theory of Petri Nets and Concurrency Petri Nets
                  2017 and the 17th International Conference on Application of Concurrency
                  to System Design {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1846},
  pages        = {51--68},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1846/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/Bashkin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/SokolovKSBN16,
  author       = {Valery A. Sokolov and
                  S. V. Korsakov and
                  Alexander V. Smirnov and
                  Vladimir A. Bashkin and
                  E. S. Nikitin},
  title        = {Instrumental supporting system for developing and analysis of software-defined
                  networks of mobile objects},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {50},
  number       = {7},
  pages        = {536--545},
  year         = {2016},
  url          = {https://doi.org/10.3103/S0146411616070208},
  doi          = {10.3103/S0146411616070208},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/SokolovKSBN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/Bashkin14,
  author       = {Vladimir A. Bashkin},
  title        = {On the efficient modeling of unbounded resource by one-counter circuits},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {48},
  number       = {7},
  pages        = {564--574},
  year         = {2014},
  url          = {https://doi.org/10.3103/S0146411614070189},
  doi          = {10.3103/S0146411614070189},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/Bashkin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/BashkinL14,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Decidability of k -Soundness for Workflow Nets with an Unbounded Resource},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {9},
  pages        = {1--18},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45730-6\_1},
  doi          = {10.1007/978-3-662-45730-6\_1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/BashkinL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/BashkinL13,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  editor       = {Daniel Moldt},
  title        = {Soundness of Workflow Nets with an Unbounded Resource is Decidable},
  booktitle    = {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 - 25,
                  2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {989},
  pages        = {61--75},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-989/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/BashkinL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pact/BashkinLN13,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova and
                  Yulia A. Novikova},
  editor       = {Victor Malyshkin},
  title        = {Timed Resource Driven Automata Nets for Distributed Real-Time Systems
                  Modelling},
  booktitle    = {Parallel Computing Technologies - 12th International Conference, PaCT
                  2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7979},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39958-9\_2},
  doi          = {10.1007/978-3-642-39958-9\_2},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pact/BashkinLN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/Bashkin12,
  author       = {Vladimir A. Bashkin},
  title        = {Modular nets of active resources},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {46},
  number       = {1},
  pages        = {1--11},
  year         = {2012},
  url          = {https://doi.org/10.3103/S0146411612010026},
  doi          = {10.3103/S0146411612010026},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/Bashkin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/accs/Bashkin12a,
  author       = {Vladimir A. Bashkin},
  title        = {Approximating bisimulation in one-counter nets},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {46},
  number       = {7},
  pages        = {317--323},
  year         = {2012},
  url          = {https://doi.org/10.3103/S014641161207005X},
  doi          = {10.3103/S014641161207005X},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/accs/Bashkin12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BashkinL12,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Cellular Resource-Driven Automata},
  journal      = {Fundam. Informaticae},
  volume       = {120},
  number       = {3-4},
  pages        = {243--257},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-760},
  doi          = {10.3233/FI-2012-760},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/BashkinL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csp/Bashkin12,
  author       = {Vladimir A. Bashkin},
  editor       = {Louchka Popova{-}Zeugmann},
  title        = {One-counter Circuits},
  booktitle    = {Proceedings of the 21th International Workshop on Concurrency, Specification
                  and Programming, Berlin, Germany, September 26-28, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {928},
  pages        = {25--36},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-928/0025.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csp/Bashkin12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BashkinL11,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Resource Driven Automata Nets},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {223--236},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-507},
  doi          = {10.3233/FI-2011-507},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BashkinL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pcs/Bashkin10,
  author       = {Vladimir A. Bashkin},
  title        = {Formalization of semantics of systems with unreliable agents by means
                  of nets of active resources},
  journal      = {Program. Comput. Softw.},
  volume       = {36},
  number       = {4},
  pages        = {187--196},
  year         = {2010},
  url          = {https://doi.org/10.1134/S0361768810040018},
  doi          = {10.1134/S0361768810040018},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pcs/Bashkin10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pact/BashkinL05,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  editor       = {Victor E. Malyshkin},
  title        = {Similarity of Generalized Resources in Petri Nets},
  booktitle    = {Parallel Computing Technologies, 8th International Conference, PaCT
                  2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3606},
  pages        = {27--41},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11535294\_3},
  doi          = {10.1007/11535294\_3},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/pact/BashkinL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BashkinL03,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Petri nets and resource bisimulation},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {101--114},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BashkinL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.