( en | de | ru )

 

Disambiguation of "Letychevskyi, Oleksandr A."

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic Approach to Verification and Testing of Distributed Applications.

, , , , and . IECC, page 37-43. ACM, (2019)

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.

Oleksandr Alekseychuk

Oleksandr Yezerskyy

Oleksandr Manzyuk

Oleksandr Kysliak

Oleksandr Kit

 

Other publications of authors with the same name

Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach., and . IEEE BigData, page 4289-4293. IEEE, (2019)Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices., , and . IDAACS-SWS, page 1-6. IEEE, (2020)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)Algebraic Patterns of Vulnerabilities in Binary Code., , , , and . DESSERT, page 70-73. IEEE, (2019)Formalization and Algebraic Verification of Legal Requirements., , , , , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 524-535. CEUR-WS.org, (2017)Formalization and Algebraic Modeling of Tokenomics Projects., , , , and . ICTERI Workshops, volume 2393 of CEUR Workshop Proceedings, page 577-584. CEUR-WS.org, (2019)Algebraic Approach to Verification and Testing of Distributed Applications., , , , and . IECC, page 37-43. ACM, (2019)Algebraic Modeling System for Supporting Research in Medicine and Pharmacology., , and . IDAACS, page 1093-1098. IEEE, (2023)