‪Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович‬

Cited by

	All	Since 2019
Citations	1348	373
h-index	18	10
i10-index	32	11

180

135

198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 8 1 2 4 2 11 7 8 16 1 1 1 5 16 41 24 1 2 20 14 26 49 28 93 83 67 88 111 77 149 176 94 32 48 22 1

Co-authors

Степан Шкільняк, Stepan ShkilniakTaras Shevchenko National University of KyivVerified email at knu.ua
Artur KorniłowiczUniwersytet w BiałymstokuVerified email at math.uwb.edu.pl
Andrii KryvolapTaras Shevchenko National Univercity of KyivVerified email at knu.ua
Oleksandr SpivakovskiyKherson State UniversityVerified email at ksu.ks.ua
Vadim ErmolayevProf of Semantic Technologies, Ukrainian Catholic University, Dept of Computer Science and ITVerified email at ermolayev.com
Vitaliy Yakovyna (Яковина В.С.)Artificial Intelligence Dpt. at Lviv Polytechnic National UniversityVerified email at lpnu.ua
Скобелев В.Г. V.G. Skobelevleading researcher, V. M. Glushkov Institute of Cybernetics of NASUVerified email at incyb.kiev.ua
Hennadiy Kravtsov / Кравцов Г.М.Associate Professor of Computer Science, Kherson State UniversityVerified email at ksu.ks.ua
Vitaliy Kobets / Кобець В.М.Kherson State University, Doctor of Economic Science, Full ProfessorVerified email at ksu.ks.ua
uri abrahamBen Gurion UniversityVerified email at cs.bgu.ac.il
Всеволод Павлович Котляров, Vsevo...Peter the Great St.Petersburg Polytechnic University (SPbPU)Verified email at spbstu.ru
Letychevskyi OleksandrChief of department of Digital Automata Theory in V.M.Glushkov Institute of CyberneticsVerified email at litsoft.com.ua
Vladyslav VolkovSenior researcher, Glushkov Institute of Cybernetics, NANUVerified email at iss.org.ua
Alexey ChentsovTaras Shevchenko National University of KyivVerified email at knu.ua
Ростислав Миколайович Трохимчук/...Associate Professor,Taras Shevchenko National University of Kyiv,Faculty of Computer Science andVerified email at univ.kiev.ua
Dimitris PlexousakisFORTH-ICS (ics.forth.gr) and Computer Science Department, University of Crete (csd.uoc.gr)Verified email at ics.forth.gr
Athula GinigeProfessor of Information Technology, Western Sydney UniversityVerified email at fastmail.using.net
Sotiris BatsakisTechnical University of CreteVerified email at tuc.gr
Александр Адольфович Летичевский Институт кибернетики им. В.М.ГлушковаVerified email at cyfra.net
Людмила Леонідівна Омельчук, Liud...Taras Shevchenko National University of KyivVerified email at knu.ua

Mykola (Nikolaj) Nikitchenko - Нікітченко Микола Степанович - Никитченко Николай Степанович

Taras Shevchenko National University of Kyiv

Verified email at knu.ua - Homepage

iinformatics mathematical logic formal program models abstract computability


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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
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
Прикладна логіка МС Нікітченко, СС Шкільняк К.: ВПЦ Київський університет, 2013	17	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors