Yulia Tarasich

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Complex Data Types

Formal Verification

State University

Top Venues

ICTERI Workshops

ICTERI (Revised Selected Papers)

Publications

Aleksandr Spivakovsky, Maksym Vinnik, Maksym Poltoratskiy, Yulia Tarasich, Yevheniia Spivakovska, Greg Gardner, Kateryna Panova
Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects. ICTERI Workshops (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich
Formalization and Algebraic Modeling of Tokenomics Projects. ICTERI Workshops (2019)
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich
Our Approach to Formal Verification of Token Economy Models. ICTERI (Revised Selected Papers) (2019)
Aleksandr Spivakovsky, Maksim Vinnik, Maksym Poltorackiy, Yulia Tarasich, Kateryna Panova, Anton Melnichenko
Development of Rating Systems for Scientometric Indices of Universities. ICTERI Workshops (2018)
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI (2017)
Aleksandr Spivakovsky, Maksym Vinnyk, Yulia Tarasich, Maksym Poltoratskiy
Design and Development of Information System of Scientific Activity Indicators. ICTERI (2016)
Evgeniya Spivakovska, Maksym Vinnyk, Yulia Tarasich, Olesya Kuchma
Monitoring of Efficiency of Feedback Systems Use on the Base of Kherson State University. ICTERI (2016)
Michael Lvov, Yulia Tarasich
The Static Analysis of Linear Loops. ICTERI (2015)
Aleksandr Spivakovsky, Maksim Vinnik, Yulia Tarasich
Using ICT in Training Scientic Personnel in Ukraine: Status and Perspectives. ICTERI (2015)
Aleksandr Spivakovsky, Maksym Vinnyk, Yulia Tarasich
Web Indicators of ICT Use in the Work of Ukrainian Dissertation Committees and Graduate Schools as Element of Open Science. ICTERI (Revised Selected Papers) (2015)
Eugenia Spivakovska, Nataliya Osipova, Maksim Vinnik, Yulia Tarasich
Information Competence of University Students in Ukraine: Development Status and Prospects. ICTERI (2014)