A composition nominative approach to program semantics NS Nikitchenko | 88 | 1998 |
Математична логіка та теорія алгоритмів МС Нікітченко, СС Шкільняк К.: ВПЦ Київський університет, 2008 | 56 | 2008 |
Extending Floyd-Hoare logic for partial pre-and postconditions A Kryvolap, M Nikitchenko, W Schreiner Information and Communication Technologies in Education, Research, and …, 2013 | 53 | 2013 |
Insertion modeling in distributed system design AA Letichevsky, JV Kapitonova, AA Letichevsky Jr, VP Kotlyarov, ... Інститут програмних систем НАН України, 2008 | 53 | 2008 |
Applied logic M Nikitchenko, S Shkilniak Кyiv: VPC Кyivskyi Universytet (in ukr), 2013 | 47 | 2013 |
Mathematical logic and theory of algorithms M Nikitchenko, S Shkilniak Кyiv: VPC Кyivskyi Universytet (in ukr), 2008 | 44 | 2008 |
Композиционно-номинативный подход к уточнению понятия программы НС Никитченко Проблемы программирования, 16-31, 1999 | 42 | 1999 |
Композиционные базы данных ИА Басараб, НС Никитченко, ВН Редько К.: Либідь, 1992 | 39 | 1992 |
Algebras and logics of partial quasiary predicates M Nikitchenko, S Shkilniak Algebra and Discrete Mathematics, 2017 | 34 | 2017 |
Satisfiability in composition-nominative logics M Nikitchenko, V Tymofieiev Open Computer Science 2 (3), 194-213, 2012 | 34 | 2012 |
Теоретичні основи програмування: Навчальний посібник [Електронний ресурс] МС Нікітченко Київ: КНУ ім. ТГ Шевченка 200, 2009 | 28 | 2009 |
On algebraic properties of nominative data and functions VG Skobelev, M Nikitchenko, I Ivanov Information and Communication Technologies in Education, Research, and …, 2014 | 25 | 2014 |
Pure first-order logics of quasiary predicates MS Nikitchenko, ОS Shkilniak, SS Shkilniak Problems in Programming, 73-86, 2016 | 22 | 2016 |
Semantic properties of logics of quasiary predicates M Nikitchenko, S Shkilniak Workshop on Foundations of Informatics 1, 180-197, 2015 | 22 | 2015 |
Formalization of the nominative algorithmic algebra in Mizar A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov Information Systems Architecture and Technology: Proceedings of 38th …, 2018 | 19 | 2018 |
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. L van Moergestel, E Puik, D Telgen, JJC Meyer ICTERI, 172-187, 2015 | 19 | 2015 |
Прикладна логіка МС Нікітченко, СС Шкільняк К.: ВПЦ Київський університет, 2013 | 19 | 2013 |
On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre-and Post-Conditions. I Ivanov, MS Nikitchenko ICTERI Workshops, 716-724, 2018 | 18 | 2018 |
Kleene algebra of partial predicates A Korniłowicz, I Ivanov, M Nikitchenko Formalized Mathematics 26 (1), 11-20, 2018 | 18 | 2018 |
Formalization of the algebra of nominative data in Mizar A Korniłowicz, A Kryvolap, M Nikitchenko, I Ivanov 2017 Federated Conference on Computer Science and Information Systems …, 2017 | 18 | 2017 |