Dmitry A. Zaitsev Дмитрий А. Зайцев

News from Zaitsev

ru: Новости от Зайцева

12.08.21: Zaitsev Neighborhood for Cellular Automata - a keynote talk to International Symposium on Biomedical Engineering and Computational Biology, August 13-15, 2021

23.06.21: Infinite Petri Nets for Cybersecurity of Intelligent Networks, Grid, and Clouds - a keynote talk to International Conference on Information and Digital Technologies (IDT'2021), Zilina, Slovakia

23.06.21: Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets - a talk to International Conference on Information and Digital Technologies (IDT'2021), Zilina, Slovakia

19.05.21: Modeling mosquitoes and viruses by cellular automata and Petri nets - a talk to 1st Online Conference on Society, Health and Economics

06.02.21: Sleptsov Net Computing - a keynote talk to ICNGIoT-2021: International Conference on Next Generation of Internet of Things

05.02.21: Analyzing Multidimensional Communication Lattice with Combined Cut-through and Store-and-forward Switching Node - a talk to ICNGIoT-2021: International Conference on Next Generation of Internet of Things

25.12.20: Entered Editorial Board of Business Informatics

05.12.20: Editor of SI IJPEDS Petri/Sleptsov Net Based Technology of Programming for Parallel, Emergent and Distributed Systems

04.12.20: Universal Petri and Sleptsov nets - an invited talk for the 2020 International Symposium on Automation, Information and Computing (ISAIC 2020)

13.11.20: Synthesis of fuzzy logic functions defined in tabular form - an invited talk for the 6th International Conference on Fuzzy Systems and Data Mining (FSDM 2020), November 13-16, 2020, Microsoft Teams

07.11.20: Sleptsov Net Computing - an international webinar, Nehru Institute of Engineering and Technology, Coimbatore, Tamil Nadu, India

23.10.20: Modeling by Infinite Petri Nets - International e-Seminar on Control and Systems Theory, 23.10.2020 at 3:00 PM CEST ( Register )

06.10.20: Switching vs Routing within Multidimensional Torus Interconnect - a welcome speech for PIC&ST2020 ( Slides )

26.09.20: Zaitsev Neighborhood for Cellular Automata - a keynote talk for 4th International Conference on Micro Electronics and Telecommunications, Sep 26, 2020 ( Slides )

16.09.20: ts released - Torus Simulator: simulator of traffic within multidimensional torus interconnect

13.05.20: Dmitry Zaitsev, Piotr Luszczek Docker Container based PaaS Cloud Computing Comprehensive Benchmarks using LAPACK (Video)

13.05.20: Talk to IEEE webinar (May 22, 2020, 10:00 GMT): Modeling Grid and Cloud Computing Systems by Infinite Petri Nets

20.04.20: Talk to CMIS-2020: Docker Container based PaaS Cloud Computing Comprehensive Benchmarks using LAPACK

09.04.20: A paper published by IEEE Xplore: Dmitry Zaitsev, Tatiana Shmeleva, and Alexander Kostikov, Clans Aggregation for Verification of Networking Protocols on Parallel Architectures, DOI: 10.1109/PICST47496.2019.9061392

02.03.20 Talk "Methodology of modeling with Petri nets" to Training School on Optimal Control Theory, Mathematical Modelling and Mosquito Control Strategies 2.-4.March 2020 in Fuerteventura (Canary Islands/Spain), IMAAC project (EU COST Action 16227) ( Press release )

09.10.19 Talk "Clans Aggregation for Verification of Networking Protocols on Parallel Architectures" to IEEE International Scientific and Practical Conference Problems of Infocommunications. Science and Technology PIC S&T′2019 (Slides)

08.10.19 Talk "Composition of Clans for Solving Linear Systems on Parallel Architectures" at VM Glushkov Institute of Cybernetics of NAS of Ukraine (Slides)
08.10.19 ru: Доклад "Композиция кланов для решения линейных систем на параллельных архитектурах" в Институте кибернетики имени В.М. Глушкова НАН Украины (Слайды)

23.08.19 Talk "Speed-up Solving Linear Systems on Parallel Architectures via Aggregation of Clans" to LVEE 2019 (Abstract Slides)

06.05.19: A paper published: Dmitry A. Zaitsev, Tatiana R. Shmeleva and Jan Friso Groote, Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra, IEEE/CAA J. of Autom. Sinica, 6(3), 2019, 733-742. DOI: 10.1109/JAS.2019.1911486

23.02.19: A book chapter published: Zaitsev D.A. and Shmeleva T.R. Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems. In Automated Systems in the Aviation and Aerospace Industries. IGI-Global: USA, 2019.

31.01.19: Erasmus+ talk at Barcelona Supercomputing Center: "Speed-up Solving Linear Systems via Composition of Clans" (Video)

19.12.18: ParAd-1.1.2 released on GitHub. ParAd speeds-up solving a linear Diophantine homogeneous (sparse) system via composition of its clans on parallel architectures.

22.11.18: University of Belgrade, Lecture-tutorial. Simulating Computer Networks by colored Petri Nets
ru: Университет Белграда, лекция-обучение. Моделирование компьютерных систем раскрашенными сетями Петри

20.11.18: TELFOR 2018 Invited talk (slides) "Reenterable Colored Petri Net Models of Networks, Grids, and Clouds: Case Study for Provider Backbone Bridge"

05.10.18: A report on visiting professorship in USA: Dmitry Zaitsev, Stanimire Tomov, Jack Dongarra. Solving Linear Diophantine Systems on Parallel Architectures, IEEE Transactions on Parallel and Distributed Systems

12.07.18: GitHub: Generator of mCRL2 models of a d-dimensional communication grid connected in a hypertorus

22.03.18: Welcome to Upcoming Webinar - "Sleptsov Net Computing: The Solution to Hyper-Computations Support Cybersecurity and Other Applications" (Register)

12.02.18: ParTou - the fastest tool to compute Petri net linear invariants on multicore architectures has been released (10 times speed-up). @ 2018 Dmitry Zaitsev, Stanimire Tomov, and Jack Dongarra

25.01.18: Complex Systems 26(4), USA. "Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures"

14.01.18: Приглашенный профессор, США (Основные достижения: 1, 2, 3, 4)

21.11.17: Zaitsev D.A. "A generalized neighborhood for cellular automata" on PlumX Metrics - Top Social Media Articles

11.10.17: Invited lecture at New Jersey Institute of Technology, Newark - "Infinite Petri Nets" (Video, Slides)

10.10.17: Invited lecture at Stony Brook University, New York - "Sleptsov Net Computing" (Video, Slides)

15.09.17: "Clans of linear systems" - a Friday launch talk at Innovative Computing Laboratory, University of Tennessee, USA. Slides

01.09.17: Visiting Professor (Fulbright Scholarship) to Innovative Computing Laboratory, University of Tennessee, USA

31.08.17: JCR paper, Old City Publishing: Simulating Cellular Automata by Infinite Petri Nets

19.07.17: Complex Systems 26(2), USA. "Infinite Petri Nets: Part 1, Modeling Square Grid Structures"

23.05.17: "Sleptsov net Computing" chapter (672) appears in Encyclopedia of Information Science and Technology, Fourth Edition, USA

23.02.17: A keynote talk "Universal Petri and Sleptsov Nets" to ISC'2017, 15th Annual Industrial Simulation Conference, May 31-June 2, 2017, Polish Academy of Sciences, Warsaw, Poland

14.02.17: Entered the Computer Science Laboratory (LCCOMP), Mexico City

27.01.17: A talk: "Universal Petri and Sleptsov Nets", Fakultat fur Informatik, Technische Universitat Munchen

20.01.17: JCR paper, Taylor&Francis: Universal Sleptsov Net

07.12.16: GitHub: Synthesis of fuzzy logic functions given by a choice table

22.11.16: JCR paper, Elsevier: A generalized neighborhood for cellular automata

12.12.16.ru: Сэлфи с видом на Кибернетику и системный анализ (Белорусский электронный центр Наука)
27.09.16: Selfie with a view on Cybernetics and Systems Analysis (Repost on: ACM News)

17.06.16: JCR paper, Springer: Security of grid structures under disguised traffic attacks

16.06.16: GitHub: depn new release contains depnz to generate nets which are Busy Beavers for Petri nets

03.06.16: GitHub: Generator of Petri nets which count double exponent 2^2^k after R.J.Lipton & J.Esparza constructs

02.06.16: Model Checking Contest, Surprise Models for 2016: HypertorusGrid and TCPcondis

28.05.16: arXiv: k-neighborhood for Cellular Automata

06.04.16: JCR paper: Programming in the Sleptsov net language for systems control

25.03.16: SETCAC2016: Keynote Speakers

18.03.16.ru: ЯрГУ им. П.Г. Демидова: Приглашаем к сотрудничеству

18.02.16: VU: The On-Line Encyclopedia of Integer Sequences Accepts Professor Dmitry Zaitsev's New Integer Sequence

17.02.16: IGI-Global: The On-Line Encyclopedia of Integer Sequences Accepts Professor Dmitry Zaitsev's New Integer Sequence

12.02.16: JCR paper: Sequential composition of linear systems clans

28.01.16: Github: Generators of Petri net models of a square grid with the following edge conditions: open edges, plugs on edges, truncated devices on edges, respectively

24.12.15: OEIS A266213: Square array A(n,r), the number of neighbors at a sharp Manhattan distance r in a finite n-hypercube lattice, read by upwards antidiagonals

30.11.15: OEIS A265014: Triangle read by rows: T(n,k) = number of neighbors in n-dimensional lattice for generalized neighborhood given with parameter k

20.11.15: NCNR seminar: Modeling systems with infinite Petri and Sleptsov Nets

12.11.15: Github: Generators of canvas for Petri net models of hypertorus (hypercube) grid with Moore's, von-Neumann's, and generalized neighborhoods

09.09.15: Presentation at 7th Conference on Machines, Computations and Universality MCU2015

30.08.15: LNCS: Universality in Infinite Petri Nets

01.08.15: IGI-Global video-lectire: Petri Nets for Modeling and Computing

28.07.15: TUD seminar: Petri Nets for Manufacture, Networking, and Computing

24.07.15: Github: Generator of hypertorus Petri net models

01.07.15: JCR paper: Sleptsov Nets Run Fast

08.06.15: Presentation at 21st International Workshop on Cellular Automata and Discrete Complex Systems AUTOMATA2016

Dmitry A. Zaitsev Дмитрий А. Зайцев