Tatiana R. Shmeleva

19 papers B 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Computing and Communication Structure Design for Fast Mass-Parallel Numerical Solving PDE.
Parallel Process. Lett.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Alexander A. Kostikov
2025 J jnl
Notation for mass parallel algorithms: computing Petri net state space on GPU case study.
Int. J. Parallel Emergent Distributed Syst.
Dmitry A. Zaitsev, Z. Zhang, Ding Liu, Tatiana R. Shmeleva
2024 B conf
Analysis of Bitcoin Fork by Colored Petri Nets.
SMC
Zeyu Zhou, Ding Liu, Tatiana R. Shmeleva, Dmitry A. Zaitsev
2024 J jnl
Fast Local Rules Based Switching and Routing Within Multidimensional Torus Interconnect.
Parallel Process. Lett.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Vicente Matellán Olivera
2024 J jnl
GPU Based Virtual Machine for Sleptsov Net Computing.
Parallel Process. Lett.
Tatiana R. Shmeleva, Ivan D. Zaitsev, Werner Retschitzegger
2024 J jnl
Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design.
Int. J. Parallel Emergent Distributed Syst.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou, Ding Liu
2023 J jnl
Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing.
Parallel Process. Lett.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, Hongfei Zhao
2022 J jnl
Aggregation of clans to speed-up solving linear systems on parallel architectures.
Int. J. Parallel Emergent Distributed Syst.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Piotr Luszczek
2022 J jnl
Modelling proof-of-work agreement protocol by coloured Petri nets.
Int. J. Parallel Emergent Distributed Syst.
Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva, Dmitry A. Zaitsev
2022 J jnl
Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets.
Int. J. Parallel Emergent Distributed Syst.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll
2021 J jnl
Deep learning on Sleptsov nets.
Int. J. Parallel Emergent Distributed Syst.
Tatiana R. Shmeleva, Jan W. Owsinski, Abdulmalik Ahmad Lawan
2021 — conf
Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets.
IDT
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari
2019 J jnl
Verification of hypertorus communication grids by infinite petri nets and process algebra.
IEEE CAA J. Autom. Sinica
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote
2018 J jnl
Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures.
Autom. Control. Comput. Sci.
Tatiana R. Shmeleva
2017 J jnl
Infinite Petri Nets: Part 1, Modeling Square Grid Structures.
Complex Syst.
Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva
2017 J jnl
Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures.
Complex Syst.
Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva
2016 J jnl
Security of grid structures under disguised traffic attacks.
Clust. Comput.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Birgit Pröll
2011 J jnl
A Parametric Colored Petri Net Model of a Switched Network.
Int. J. Commun. Netw. Syst. Sci.
Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva
2010 J jnl
PBB Efficiency Evaluation via Colored Petri Net Models.
Commun. Netw.
Peter Vorobiyenko, Kirill Dmitry Guliaiev, Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva