Dmitry Zaitsev

Has grant

Professeur invité

Université Côte d'Azur

France

Research Interests

Explore related searches

Professors in France

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Professor Dmitry Zaitsev is a visiting professor at Université Côte d'Azur in France. His research areas focus on advanced computing architectures, particularly in the context of parallel algorithms and the theoretical foundations of Sleptsov nets. Recent publications include studies on GPU applications in numerical solving and the design of verification protocols for cryptocurrency consensus systems.

Recent Grants

Grant: Close

Security of concurrent software

Open Date: 2015-01-01

Close Date: 2015-01-01

Grant: Close

Analysis of computational grids efficiency via Colored Petri Nets

Open Date: 2013-01-01

Close Date: 2014-01-01

Grant: Close

Production control and managementwith Petri nets

Open Date: 2011-01-01

Close Date: 2012-01-01

Grant: Close

Verification of Complex Networking Protocols

Open Date: 2007-01-01

Close Date: 2008-12-01

Articles (14)

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (2)

Piotr Luszczek

University of Tennessee

UNITED STATES

View details

Vicente Matellán

Full Professor (Catedrático de Universidad) - ATC

Universidad de León

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Dmitry Zaitsev

Research Interests

Explore related searches

Contact this professor

About

Recent Grants

Articles (14)

3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine

Computing and Communication Structure Design for Fast Mass-Parallel Numerical Solving PDE

Fast Local Rules Based Switching and Routing Within Multidimensional Torus Interconnect

Sleptsov nets are Turing-complete

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

Notation for mass parallel algorithms: computing Petri net state space on GPU case study

Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing

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

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

From strong to exact Petri net computers

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

Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems

Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds

Collaborators (2)

Piotr Luszczek

Vicente Matellán

Make your next move.