Papers of Dmitry Zaitsev published with BS and MS students

I always strive to bring best studens to forefront of research and publish joint papers with them.

Published when Ruiyao Xu, Si Zhang, Zhaolong Zhang, Zeyu Zhou, Qing Zhang, Hongfei Zhao were MS students of XIDIAN University, Xi'an, China.

Ruiyao Xu, Si Zhang, Ding Liu, and Dmitry A. Zaitsev, Sleptsov net based reliable embedded system design on microcontrollers and FPGAs, Proc. of 2024 IEEE International Conference on Embedded Software and Systems (ICESS), Wuhan, China, Dec. 13-15, 2024.

Zaitsev, D. A., Zhang, Z., Liu, D., & Shmeleva, T. R. (2024). Notation for mass parallel algorithms: computing Petri net state space on GPU case study. International Journal of Parallel, Emergent and Distributed Systems, 1–15.

Zeyu Zhou, Ding Liu, Tatiana R. Shmeleva, and Dmitry A. Zaitsev, Analysis of Bitcoin Fork by Colored Petri Nets, Proc. of 2024 IEEE International Conference on Systems, Man, and Cybernetics, (IEEE SMC 2024), Sarawak, Malaysia, 6-10 October 2024.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou & Ding Liu, Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design, International Journal of Parallel, Emergent and Distributed Systems, 39:1, 2024, 32-50.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, and Hongfei Zhao, Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing Parallel Processing Letters, Vol. 33, No. 03, 2350006 (2023).

Published when Roman N. Guliak was a BS and then an MS student of Odessa State Environmental University, Odessa, Ukraine.

Roman N. Guliak, Tatiana R. Shmeleva, Dmitry A. Zaitsev, Verification of MPI Programs via Compilation into Petri Nets, Applied Graph Data Science: Graph Algorithms, Databases, Platforms, and Neural Networks and Industrial Use Cases, Elsevier, 2025.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Roman N. Guliak, Analyzing Multidimensional Communication Lattice with Combined Cut-Through and Store-and-Forward Switching Node, Lecture Notes in Networks and Systems: Proceedings of ICNGIoT 2021, Next Generation of Internet of Things, 2021, pp. 705-715.

Published when Kharsun M.A. was a student of International Humanitarian University, Odessa, Ukraine.

Zaitsev D.A., Kharsun M.A. Implementing Stack E6 via OS Linux Sockets, Journal of Advanced Computer Science and Technology, 1 (3) (2012) 116-133.

Zaitsev D.A., Kharsun M.A., Bolshakov S.I. Software Implementation of Stack E6 via Sockets of OS Linux Kernel, Zviazok (Communications), vol. 102, 2(2013), p. 37-49. In Russ.

Published when Chornogala E.Y., Bereznyuk M.V., Sakun A.L., Radchenko E.V., Guliaiev K.D. were MS students of Odessa National Academy of Telecommunications, Odessa, Ukraine.

Guliaiev K.D., Zaitsev D.A. Simulating E6 Networks Dynamic Routing // 9th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-9), September 17-18, 2009, Eger (Hungary).

Vorobiyenko P.P., Guliaiev K.D., Zaitsev D.A., Shmeleva T.R. Efficiency Evaluation of PBB Technology using Colored Petri Nets // Zviazok (Communications), 2009, Vol. 88, no. 4. - P. 39-46. In Russ.

Guliaiev K.D., Zaitsev D.A. Dynamic Routing within E6 Networks // Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2009, Issue 159. - Ñ. 294-301. In Russ.

Guliaiev K.D., Zaitsev D.A. Experimental Implementation of Networking Protocols Stack E6 into OS Linux Kernel // Artificial Intelligence, no. 2, 2009, p. 105-116. In Russ.

Vorobiyenko P.P., Zaitsev D.A., Guliaiev K.D. Way of data transmission in network with substitution of network and transport layers by universal technology of channel layer .- Patent on utility model no. 35773, Registered in State Register of Ukraine Patents for Inventions 10.10.2008. In Ukrainian.

Zaitsev D.A., Sakun A.L. An Evaluation of MPLS Efficacy using Colored Petri Net Models , Proc. of of International Middle Eastern Multiconference on Simulation and Modelling (MESM'2008), Amman (Jordan), August 26-28, 2008, p. 31-36.

Guliaiev K.D., Zaitsev D.A., Litvin D.A., Radchenko E.V. Simulating E6 Protocol Networks using CPN Tools .- Proc. of International Conference on IT Promotion in Asia, August 22-26, 2008, Tashkent (Uzbekistan), P. 203-208.

Bereznyuk M.V., Gupta K.K., Zaitsev D.A. Effectiveness of Bluetooth Address Space Usage // Proceedings of 20th International Conference, Software & Systems Engineering and their Applications (ICSSEA 2007), Paris 4-6 December 2007.

Zaitsev D.A., Sakun A.L. Studying the efficacy of MPLS technology via Colored Petri nets // Zviazok (Communications), 2006, Vol. 65, no. 5. - P. 49-55. In Russ.

Zaitsev D.A., Bereznyuk M.V. Studying the efficacy of protocol Bluetooth address space utilization // Radioelectronics. Informatics. Control. 2006, no. 1. - P. 57-63. In Russ.

Zaitsev D.A., Chornogala E.Y. Synthesis of Petri net model and verification of electronic commerce protocol IOTP // Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2006, Issue 144. - Ñ. 28-35. In Russ.

Published when Sarbei V.G. and Milanin A.A. were students of Donetsk Polytechnic Institute, Donetsk, Ukraine.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of modelling in integrated control system of discrete manufacture // Mathematical and simulation modelling in systems of planning and management: Proceedings of All-Union conference - Chernigov, 1990, p.154-155. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of discrete processes modelling // Mathematical maintenance of systems with computer graphics: Proceedings of the seventh scientific and technical seminar - Tyumen, 1990, p.32. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Methodical materials to software system for modelling of discrete parallel processes, embeddings in the automated systems and training of experts // Donetsk, DPI, 1991, 59p. In Russ.