- 5
- 1
Dmitry Zaitsev
67%
Libre accès
6
Documents
Affiliations actuelles
- 13009
Identifiants chercheurs
- dmitry-zaitsev
- 0000-0001-5698-7324
- ResearcherId : F-9343-2016
- Google Scholar : YXja3XYAAAAJ
Site web
- https://substack.com/@dazehoua
- http://daze.ho.ua
Domaines de recherche
Compétences
Teacher, researcher, programmer, sysadmin
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 6
- 2
- 1
- 1
- 6
- 1
|
Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022International Journal of Parallel, Emergent and Distributed Systems, 2023, 38 (4), pp.1-5. ⟨10.1080/17445760.2023.2201002⟩
Article dans une revue
hal-04121758v1
|
|
Virtual Machine and Integrated Developer Environment for Sleptsov Net ComputingParallel Processing Letters, 2023, 33 (03), ⟨10.1142/s0129626423500068⟩
Article dans une revue
hal-04121781v1
|
Strong Sleptsov nets are Turing completeInformation Sciences, 2023, 621, pp.172-182. ⟨10.1016/j.ins.2022.11.098⟩
Article dans une revue
hal-04267968v1
|
|
Verification of cryptocurrency consensus protocols: reenterable colored Petri net model designInternational Journal of Parallel, Emergent and Distributed Systems, 2023, pp.1-19. ⟨10.1080/17445760.2023.2273452⟩
Article dans une revue
hal-04258326v1
|
|
Sleptsov Nets are Turing-complete2023
Pré-publication, Document de travail
hal-04139308v1
|
Verification of Square Lattices with Various Neighborhoods by Infinite Petri NetsComplex Days, Académie Systèmes Complexes, Feb 2023, Nice, France
Communication dans un congrès
hal-04050155v1
|