Dmitry Zaitsev

83%
Libre accès
6
Documents
Affiliation actuelle
  • Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S)
Identifiants chercheurs
Contact

Compétences

Teacher, researcher, programmer, sysadmin

Publications

5
1
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
2
1
1
1
1
5
1
6
6

Publications

Verification of Square Lattices with Various Neighborhoods by Infinite Petri Nets

Tatiana Shmeleva , Dmitry A Zaitsev , Enrico Formenti
Complex Days, Académie Systèmes Complexes, Feb 2023, Nice, France
Communication dans un congrès hal-04050155 v1