Tatiana R. Shmeleva

According to our database, Tatiana R. Shmeleva authored at least 14 papers between 2010 and 2024.

Collaborative distances:

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

2024

Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou, Ding Liu

Int. J. Parallel Emergent Distributed Syst., January, 2024

2023

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, Hongfei Zhao

Parallel Process. Lett., September, 2023

2022

Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll

Int. J. Parallel Emergent Distributed Syst., 2022

Aggregation of clans to speed-up solving linear systems on parallel architectures.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Piotr Luszczek

Int. J. Parallel Emergent Distributed Syst., 2022

Modelling proof-of-work agreement protocol by coloured Petri nets.

Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva, Dmitry A. Zaitsev

Int. J. Parallel Emergent Distributed Syst., 2022

2021

Deep learning on Sleptsov nets.

Tatiana R. Shmeleva, Jan W. Owsinski, Abdulmalik Ahmad Lawan

Int. J. Parallel Emergent Distributed Syst., 2021

Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari

Proceedings of the International Conference on Information and Digital Technologies, 2021

2019

Verification of hypertorus communication grids by infinite petri nets and process algebra.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote

IEEE CAA J. Autom. Sinica, 2019

2018

Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures.

Tatiana R. Shmeleva

Autom. Control. Comput. Sci., 2018

2017

Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

Infinite Petri Nets: Part 1, Modeling Square Grid Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

2016

Security of grid structures under disguised traffic attacks.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Birgit Pröll

Clust. Comput., 2016

2011

A Parametric Colored Petri Net Model of a Switched Network.

Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva

Int. J. Commun. Netw. Syst. Sci., 2011

2010

PBB Efficiency Evaluation via Colored Petri Net Models.

Peter Vorobiyenko, Kirill Dmitry Guliaiev, Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva

Commun. Netw., 2010