Dmitry Zaitsev
| Name | Dmitry Zaitsev |
|---|---|
| Job title | Senior Lecturer in Software Engineering |
| Research institute | College of Science and Engineering |
| ORCID | https://orcid.org/0000-0001-5698-7324 |
Research outputs
Mass-parallel Sleptsov net-based solving PDEs on FPGA for embedded control
Zaitsev, D., McEwan, A. and Kostikov, A. 2025. Mass-parallel Sleptsov net-based solving PDEs on FPGA for embedded control. 10th International Conference on Information and Communication Technology for Intelligent Systems (ICTIS - 2025).Modeling Virus Dynamics by Colored Petri Nets: Ebola and COVID Case Study
Zaitsev, D., Shmeleva, T.R. and Formenti, R. 2025. Modeling Virus Dynamics by Colored Petri Nets: Ebola and COVID Case Study. in: Adamatzky, A., Sirakoulis, G.C. and Martinez, G.J. (ed.) Advances in Cellular Automata. Emergence, Complexity and Computation, vol 53. New York Springer. pp. 155–177Computing and communication structure design for fast mass-parallel numerical solving PDE
Zaitsev, D. A., Shmeleva, T. R. and Kostikov, A. A. 2025. Computing and communication structure design for fast mass-parallel numerical solving PDE. Parallel Processing Letters. https://doi.org/10.1142/S01296264255000453D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine
Zaitsev, D., Ajima, Y., Bartlett, J. F. C. and Kumar, A. 2025. 3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine. International Journal of Parallel, Emergent and Distributed Systems. https://doi.org/10.1080/17445760.2025.2490148Sleptsov net based reliable embedded system design on microcontrollers and FPGAs
Xu, R., Zhang, S., Liu, D. and Zaitsev, D. 2024. Sleptsov net based reliable embedded system design on microcontrollers and FPGAs. 2024 IEEE International Conference on Embedded Software and Systems (ICESS). IEEE. https://doi.org/10.1109/ICESS64277.2024.00011Verification of MPI programs via compilation into Petri nets
Guliak, R.N., Shmeleva, T.R. and Zaitsev, D. 2025. Verification of MPI programs via compilation into Petri nets. in: Raj, P., Dutta, P. K., Chong, P. H. J., Song, H. and Zaitsev, D. A. (ed.) Applied Graph Data Science : Graph Algorithms and Platforms, Knowledge Graphs, Neural Networks, and Applied Use Cases Morgan Kaufmann; Elsevier Inc.. pp. 245-269Analysis of Bitcoin fork by colored Petri nets
Zhou, Z., Liu, D., Shmeleva, T.R. and Zaitsev, D. 2024. Analysis of Bitcoin fork by colored Petri nets. 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE. https://doi.org/10.1109/SMC54092.2024.10831492Applied graph data science graph algorithms and platforms, knowledge graphs, neural networks, and applied use cases
Ray, P., Dutta, K. P., Chong, P. H. J., Song, H. H. and Zaitsev, D. A. (ed.) 2025. Applied graph data science graph algorithms and platforms, knowledge graphs, neural networks, and applied use cases. Elsevier.Notation for mass parallel algorithms: computing Petri net state space on GPU case study
Zaitsev, D., Zhang, Z., Liu, D. and 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 . pp. 1-15. https://doi.org/10.1080/17445760.2024.24315451128
total views of outputs196
total downloads of outputs57
views of outputs this month19
downloads of outputs this month