Oleksandr A. Letychevskyi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
2
Active years
2014–2024
Best venue rank
National
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICTERI | Usage of Cognitive Networks for Cyberattack Detection and Prevention. | Oleksandr A. Letychevskyi, Volodymyr Peschanenko |
| 2021 | ICTERI | Algebraic Virtual Machine and Its Applications. | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Vlad Volkov |
| 2021 | ICTERI | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. | Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko, Vladislav Volkov, Hanna Sokolova, Maksym Poltoratskiy |
| 2020 | ICTERI | Platform for Modeling of Algebraic Behavior: Experience and Conclusions. | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yuliia Tarasich |
| 2019 | ICTERI | Our Approach to Formal Verification of Token Economy Models. | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich |
| 2019 | ICTERI | Formalization and Algebraic Modeling of Tokenomics Projects. | Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich |
| 2019 | ICTERI | Random Re-Ordering of the Parties in the Consensus Protocol. | Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky |
| 2017 | ICTERI | Formalization and Algebraic Verification of Legal Requirements. | Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy |
| 2017 | ICTERI | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich |
| 2017 | RE | An Algebraic Approach for Analyzing of Legal Requirements. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij |
| 2015 | ICTERI | An Interleaving Reduction for Reachability Checking in Symbolic Modeling. | Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko |
| 2014 | RE | Symbolic verification of requirements in VRS system. | Oleksandr A. Letychevskyi, Thomas Weigert |