О замеченных ошибках и опечатках просьба сообщать нам или использовать опцию обратной связи в индивидуальных окнах
(они открываются при нажатии на фамилию в списках).

Список по разделу классификатора

К_ Компьютерные науки (см. также 015, 017)
К400 Проектирование и анализ алгоритмов, моделирование программ
К430 Программные модели и системы, формальные методы

По состоянию на 06.09.2023 число человек в этом списке 1
В белых строках — результаты предыдущего обновления (СI₇ с 2014 года, за 7 лет до даты обновления)
Результаты текущего обновления, начатого 10.05.2021 (строки, выделенные зеленым цветом, СI₇ с 2015 года, за 7 лет до даты обновления): 1
Для строк, выделенных желтым цветом, есть сомнения в цифрах.

— в публикациях последних 3 лет не указано российское место работы;

Имя	Ак.	CI_tot	CI₇	∑ CI_i/N_i	∑₇ CI_i/N_i	∑₇ h	∑₇ CI_max	M_ref,M_all	Коды	Места работы	Расположение	Первая публ.	Обновлено
Serikov AG		3822	3060	124.5	15.4	30^*	110	268, 370	1307 13072 1308 К400 К430		Karlsruhe	1994	2022-01-08

This data is extracted from the Web of Science® and reproduced under a license from Thomson Reuters.
You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.