IBN
Închide
Ivanov Ievgen
Cuvinte-cheie (25): nominative data (5), nominative set (3), semistructured data (2)
Dinamica numărului de publicaţii pe ani
Dinamica articolelor pe ani
Distribuirea numărului de pagini publicate pe categorii de reviste și ani
Distribuirea articolelor pe domenii şi ani
Colaborarea autorului
Dinamica descărcărilor pe ani

Articole în reviste din RM - 4. Publicaţii la conferinţe din RM - 3.
XLS PDF DOC
SM ISO690:2012

2018 - 1

Implementation of the Composition-nominative Approach to Program Formalization in Mizar
Ivanov Ievgen1, Kornilowicz Artur2, Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
Computer Science Journal of Moldova
Nr. 1(76) / 2018 / ISSN 1561-4042
Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-128
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 2

Nominative data with ordered set of names
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 2(74) / 2017 / ISSN 1561-4042
Disponibil online 14 August, 2017. Descarcări-2. Vizualizări-131
-----------------------------------------------------------------------------------------------------------------------------------
On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System
Ivanov Ievgen1, Kornilowicz Artur2, Nikitchenko Mykola1
1 Taras Shevchenko National University of Kyiv,
2 University of Bialystok
Conference on Mathematical Foundations of Informatics
2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2.
Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-88
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 2

Properties of Nominative Programs Specified by Effective Definitional Schemes
Ivanov Ievgen1, Nikitchenko Mykola1, Skobelev Volodymyr2
1 Taras Shevchenko National University of Kyiv,
2 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8.
Disponibil online 30 March, 2018. Descarcări-0. Vizualizări-127
-----------------------------------------------------------------------------------------------------------------------------------
Proving Properties of Programs on Hierarchical Nominative Data
Ivanov Ievgen1, Nikitchenko Mykola1, Skobelev Volodymyr2
1 Taras Shevchenko National University of Kyiv,
2 Institute of Cybernetics, National Academy of Sciences of Ukraine
Computer Science Journal of Moldova
Nr. 3(72) / 2016 / ISSN 1561-4042
Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-179
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 2

Analysis of Nominative Data Sets Structure
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Workshop on Foundations of Informatics
I. 2015. Chișinău, Republica Moldova. ISBN 978-9975-4237-3-1.
Disponibil online 3 October, 2017. Descarcări-2. Vizualizări-133
-----------------------------------------------------------------------------------------------------------------------------------
Set-theoretic Analysis of Nominative Data
Skobelev Volodymyr1, Ivanov Ievgen2, Nikitchenko Mykola2
1 Institute of Cybernetics, National Academy of Sciences of Ukraine,
2 Taras Shevchenko National University of Kyiv
Computer Science Journal of Moldova
Nr. 3(69) / 2015 / ISSN 1561-4042
Disponibil online 26 November, 2015. Descarcări-2. Vizualizări-239
-----------------------------------------------------------------------------------------------------------------------------------
1 - 7 of 7