Lista publicaţiilor în perioada: 1994-2024, Ucraina - 24
Revista: Computer Science Journal of Moldova

2023 - 1

Development of Digital Twins to Support the Functioning of Cyber-physical Systems

Pankratova Nataliya D., Golinko Igor

National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"

Computer Science Journal of Moldova

Nr. 3(93) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 16 January, 2024

-----------------------------------------------------------------------------------------------------------------------------------

2022 - 1

Graph-based decision making for varying complexity multicriteria problems

Nesterenko Oleksandr , Netesin Igor , Polischuk Valery, Selin Yurii N.

International Europe University, Ukrainian Scientific Center for Development of Information Technologies, „Institute for Applied System Analysis“ of National Technical University of Ukraine „Kiev Polytechnical Institute“

Computer Science Journal of Moldova

Nr. 3(90) / 2022 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 20 December, 2022

-----------------------------------------------------------------------------------------------------------------------------------

2020 - 2

Analysis of Faults in Cyber-Physical Systems by Finite Discrete-Time Markov Chains

Skobelev Volodymyr, Skobelev Volodymyr

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 3(84) / 2020 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 16 December, 2020

-----------------------------------------------------------------------------------------------------------------------------------

A general analytical model of queuing system for Internet of Things applications

Skobelev Volodymyr, Skobelev Volodymyr

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Institute of Cybernetics, National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 1(82) / 2020 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 24 April, 2020

-----------------------------------------------------------------------------------------------------------------------------------

2019 - 1

Completeness of the First-Order Logic of Partial Quasiary Predicates with the Complement Composition

Nikitchenko Mykola, Shkilniak Oksana, Shkilniak Stepan , Mamedov Tohrul

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 2(80) / 2019 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 22 September, 2019

-----------------------------------------------------------------------------------------------------------------------------------

2018 - 3

Finite automata over magmas: models and some applications in Cryptography

Skobelev Volodymyr, Skobelev Volodymyr

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 1(76) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 4 May, 2018

-----------------------------------------------------------------------------------------------------------------------------------

Implementation of the Composition-nominative Approach to Program Formalization in Mizar

Ivanov Ievgen, Kornilowicz Artur, Nikitchenko Mykola

Taras Shevchenko National University of Kyiv, University of Bialystok

Computer Science Journal of Moldova

Nr. 1(76) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 4 May, 2018

-----------------------------------------------------------------------------------------------------------------------------------

Imbrication algebras – algebraic structures of nesting order

Drugus Ioachim, Skobelev Volodymyr

Vladimir Andrunachievici Institute of Mathematics and Computer Science, V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 3(78) / 2018 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 1 December, 2018

-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

The Physical-mathematical Theory of Hyper-random Phenomena

Gorban Igor

Institute of Mathematical Machines and Systems Problem, National academy of sciences of Ukraine

Computer Science Journal of Moldova

Nr. 2(74) / 2017 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 14 August, 2017

-----------------------------------------------------------------------------------------------------------------------------------

Nominative data with ordered set of names

Skobelev Volodymyr, Ivanov Ievgen, Nikitchenko Mykola

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 2(74) / 2017 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 14 August, 2017

-----------------------------------------------------------------------------------------------------------------------------------

2016 - 6

Insertion Modeling and Its Applications

Letichevsky Alexander , Letychevskyi Oleksandr, Peschanenko Vladimir

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine, Kherson State University

Computer Science Journal of Moldova

Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 6 December, 2016

-----------------------------------------------------------------------------------------------------------------------------------

Many-Sorted First-Order Composition-Nominative Logic as Institution

Chentsov Alexey

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 1(70) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 28 April, 2016

-----------------------------------------------------------------------------------------------------------------------------------

The general prioritization framework

Malishevsky Alexey

„Institute for Applied System Analysis“ of National Technical University of Ukraine „Kiev Polytechnical Institute“

Computer Science Journal of Moldova

Nr. 2(71) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 1 September, 2016

-----------------------------------------------------------------------------------------------------------------------------------

Feasible approach to modeling of ecological component of the sustainable development paradigm

Shulkevich Tatiana , Selin Yurii N.

National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute", „Institute for Applied System Analysis“ of National Technical University of Ukraine „Kiev Polytechnical Institute“

Computer Science Journal of Moldova

Nr. 2(71) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 1 September, 2016

-----------------------------------------------------------------------------------------------------------------------------------

Estimation of Morphological Tables Using Text Analysis Results

Savchenko Illia

National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"

Computer Science Journal of Moldova

Nr. 2(71) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 1 September, 2016

-----------------------------------------------------------------------------------------------------------------------------------

Proving Properties of Programs on Hierarchical Nominative Data

Ivanov Ievgen, Nikitchenko Mykola, Skobelev Volodymyr

Taras Shevchenko National University of Kyiv, Institute of Cybernetics, National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 6 December, 2016

-----------------------------------------------------------------------------------------------------------------------------------

2015 - 6

Set-theoretic Analysis of Nominative Data

Skobelev Volodymyr, Ivanov Ievgen, Nikitchenko Mykola

Institute of Cybernetics, National Academy of Sciences of Ukraine, Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 3(69) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 26 November, 2015

-----------------------------------------------------------------------------------------------------------------------------------

The Law of Gravitation for Ontologies and Domains of Discourse

Ermolayev Vadim

Zaporizhzhia National University

Computer Science Journal of Moldova

Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 20 November, 2015

-----------------------------------------------------------------------------------------------------------------------------------

Finite automata over algebraic structures: models and some methods of analysis

Skobelev Volodymyr, Skobelev Volodymyr

Institute of Cybernetics, National Academy of Sciences of Ukraine

Computer Science Journal of Moldova

Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 20 November, 2015

-----------------------------------------------------------------------------------------------------------------------------------

Fundamental theorems of extensional untyped lambda-calculus revisited

Lyaletsky Alexandre

Taras Shevchenko National University of Kyiv

Computer Science Journal of Moldova

Nr. 2(68) / 2015 / ISSN 1561-4042 / ISSNe 2587-4330

Disponibil online 20 November, 2015

-----------------------------------------------------------------------------------------------------------------------------------

10203040501005001000