Maksym Poltorackiy

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Formal Verification

Legal Knowledge

Top Venues

ICTERI Workshops

Publications

Aleksandr Spivakovsky, Maksim Vinnik, Maksym Poltorackiy, Yulia Tarasich, Kateryna Panova, Anton Melnichenko
Development of Rating Systems for Scientometric Indices of Universities. ICTERI Workshops (2018)
Volodymyr Peschanenko, Maksym Poltorackiy
Use of metods of algebraic programming for the formal verification of legal acts. UkrPROG (2018)
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy
Formalization and Algebraic Verification of Legal Requirements. ICTERI (2017)