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

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

000 Математика
015 Теоретические аспекты информатики (см. также К410)
01508 Семантика программ. Математические аспекты верификация программ (см. также К3606, К4302, К4303)

По состоянию на 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	Коды	Места работы	Расположение	Первая публ.	Обновлено
Asarin EA		2171	46	764.6	13.5	20^*	160	58, 307	01508		Paris	1984	2021-05-22

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.