On Algebraic Properties of Nominative Data and Functions. - Volodymyr G. Skobelev; Mykola S. Nikitchenko; Ievgen Ivanov (ICTERI, 2014)

Set-theoretic Analysis of Nominative Data. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2015)

Finite automata over algebraic structures: models and some methods of analysis. - Volodymyr V. Skobelev; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2015)

Proving Properties of Programs on Hierarchical Nominative Data. - Ievgen Ivanov; Mykola S. Nikitchenko; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2016)

Formalization and Algebraic Verification of Legal Requirements. - Alexander Godlevskyi; Aleksander Letichevskyi; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Maryna Morokhovets; Volodymyr G. Skobelev; Maksym Poltorackiy (ICTERI, 2017)

Nominative data with ordered set of names. - Volodymyr G. Skobelev; Ievgen Ivanov; Mykola S. Nikitchenko (Comput. Sci. J. Moldova, 2017)

Imbrication algebras - algebraic structures of nesting order. - Ioachim Drugus; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2018)

Finite automata over magmas: models and some applications in Cryptography. - Volodymyr V. Skobelev; Volodymyr G. Skobelev (Comput. Sci. J. Moldova, 2018)

On Some Classes of Problems on Graphs. - Volodymyr G. Skobelev (ICTERI Workshops, 2019)

On-Line Checking of Faults in Cyber-Physical Systems. - Volodymyr G. Skobelev; Volodymyr V. Skobelev (ICTERI Workshops, 2019)

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 (ICTERI Workshops, 2019)

A general analytical model of queuing system for Internet of Things applications. - Volodymyr G. Skobelev; Volodymyr V. Skobelev (Comput. Sci. J. Moldova, 2020)

Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains. - Volodymyr G. Skobelev; Volodymyr V. Skobelev (Comput. Sci. J. Moldova, 2020)