Dmitry A. Zaitsev

35 papers B 1C 2Journal 29Unranked 3

Year	Rank	Type	Title / 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`	Guest Editorial: Modeling and simulation based intelligent embedded computing systems in industrial internet of things. Int. J. Model. Simul. Sci. Comput. Chinmay Chakraborty, Dmitry A. Zaitsev, Gabriella Casalino
2024	—	`conf`	Sleptsov net based reliable embedded system design on microcontrollers and FPGAs. ICESS Ruiyao Xu, Si Zhang, Ding Liu, Dmitry A. Zaitsev
2024	J	`jnl`	Sleptsov nets are Turing-complete. Theor. Comput. Sci. Bernard Berthomieu, Dmitry A. Zaitsev
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`	Sleptsov Nets are Turing-complete. CoRR Bernard Berthomieu, Dmitry A. Zaitsev
2023	J	`jnl`	Strong Sleptsov nets are Turing complete. Inf. Sci. Dmitry A. Zaitsev
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`	Computing with Modular Robots. CoRR Genaro J. Martínez, Andrew Adamatzky, Ricardo Quezada Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka, Luz Noé Oliva-Moreno
2022	J	`jnl`	Computing with Modular Robots. Int. J. Unconv. Comput. Genaro J. Martínez, Andrew Adamatzky, Ricardo Quezada Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka, Luz Noé Oliva-Moreno
2022	J	`jnl`	From strong to exact Petri net computers. Int. J. Parallel Emergent Distributed Syst. Dmitry A. Zaitsev, MengChu Zhou
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
2022	J	`jnl`	Strong Sleptsov Net is Turing-Complete. CoRR Dmitry A. Zaitsev
2021	—	`conf`	Modeling Ebola Virus Dynamics by Colored Petri Nets. CECNet Dmitry A. Zaitsev, Peyman Ghaffari, Virginia Sanz Sanchez
2021	—	`conf`	Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets. IDT Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari
2021	J	`jnl`	Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems. Int. J. Parallel Emergent Distributed Syst. Dmitry A. Zaitsev, David E. Probert
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`	Simulating Cellular Automata by Infinite Petri Nets. J. Cell. Autom. Dmitry A. Zaitsev
2017	J	`jnl`	A generalized neighborhood for cellular automata. Theor. Comput. Sci. Dmitry A. Zaitsev
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
2017	J	`jnl`	Universal Sleptsov net. Int. J. Comput. Math. Dmitry A. Zaitsev
2016	J	`jnl`	Security of grid structures under disguised traffic attacks. Clust. Comput. Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Birgit Pröll
2016	J	`jnl`	Sleptsov Nets Run Fast. IEEE Trans. Syst. Man Cybern. Syst. Dmitry A. Zaitsev
2016	J	`jnl`	k-neighborhood for Cellular Automata. CoRR Dmitry A. Zaitsev
2015	C	`conf`	Universality in Infinite Petri Nets. MCU Dmitry A. Zaitsev
2014	J	`jnl`	Paradigm of computations on the Petri nets. Autom. Remote. Control. Dmitry A. Zaitsev
2014	J	`jnl`	Toward the Minimal Universal Petri Net. IEEE Trans. Syst. Man Cybern. Syst. Dmitry A. Zaitsev
2013	C	`conf`	A Small Universal Petri Net. MCU Dmitry A. Zaitsev
2013	J	`jnl`	Verification of computing grids with special edge conditions by infinite Petri nets. Autom. Control. Comput. Sci. Dmitry A. Zaitsev