Author of the publication

Algebraic Virtual Machine and Its Applications.

, , and . ICTERI (Revised Selected Papers), volume 1698 of Communications in Computer and Information Science, page 23-41. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems., , , , , and . ICTERI (Revised Selected Papers), volume 1698 of Communications in Computer and Information Science, page 180-202. Springer, (2021)Algebraic Virtual Machine and Its Applications., , and . ICTERI (Revised Selected Papers), volume 1698 of Communications in Computer and Information Science, page 23-41. Springer, (2021)Formal Methods of FPGA Project Verification Flow., , , , , , and . IDAACS, page 1141-1146. IEEE, (2021)P4Testgen: An Extensible Test Oracle For P4-16., , , , , , , , , and . SIGCOMM, page 136-151. ACM, (2023)Consensus protocol security analysis using an algebraic virtual machine., , and . IntelITSIS, volume 3156 of CEUR Workshop Proceedings, page 484-493. CEUR-WS.org, (2022)Platform for Modeling of Algebraic Behavior: Experience and Conclusions., , , and . ICTERI Workshops, volume 2732 of CEUR Workshop Proceedings, page 42-57. CEUR-WS.org, (2020)Formal Verification of Token Economy Models., , , , , and . IEEE ICBC, page 201-204. IEEE, (2019)Our Approach to Formal Verification of Token Economy Models., , , and . ICTERI (Revised Selected Papers), volume 1175 of Communications in Computer and Information Science, page 348-363. Springer, (2019)Insertion Modeling and Symbolic Verification of Large Systems., , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)Use of metods of algebraic programming for the formal verification of legal acts., and . UkrPROG, volume 2139 of CEUR Workshop Proceedings, page 109-114. CEUR-WS.org, (2018)