ИСТИНА

Иванников Виктор Петрович пользователь

доктор физико-математических наук с 1980 года

академик РАН с 29 мая 2008 г.

Прежние места работы (Нажмите для отображения)

Соавторы: Аветисян А.И., Гайсарян С.С., Падарян В.А., Белеванцев А.А., Камкин А.С., Томилин А.Н., Косачев А.С., Бурдонов И.Б., Корухова Л.С., Кузюрин Н.Н., Кулямин В.В., Курмангалеев Ш.Ф., Петренко А.К. показать полностью..., Шокуров А.В., Samovarov O.I., Гетьман А.И., Журихин Д.М., Игнатьев В.Н., Кузнецов С.Д., Пильщиков В.Н., Чупилко М.М., Leontiev G., Баула В.Г., Брушлинский К.В., Варновский Н.П., Вартанов С.П., Власов В.К., Денисов А.М., Дудина И.А., Жоголев Е.А., Захаров В.А., Ивани А.М., Избышев А.О., Карпов Л.Е., Королев Л.Н., Кошелев В.К., Кудрявцев А.О., Попова Н.Н., Рябинкин Е.А., Рябов Г.Г., Смелянский Р.Л., Сухомлин В.А., Трифонов Н.П., Тюрин В.Ф., Шура-Бура М.Р.

45 статей, 4 книги, 4 доклада на конференциях, 2 НИР, 5 научных отчётов, 2 членства в научных обществах, 3 членства в редколлегиях журналов, 4 членства в редколлегиях сборников, 1 членство в диссертационном совете, 5 диссертаций, 10 дипломных работ, 2 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 31, Scopus: 44
РИНЦ:

IstinaResearcherID (IRID): 7542536

Scopus Author ID: 7006536801

Деятельность

---

• Статьи в журналах

  • 
    • 2016 Analysis of Entities in C and C++ Programs and Relations between Them for Program Understanding
    • Belevantsev A.A., Veselevich E.A., Ivannikov V.P.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 1, с. 49-53 DOI
  • 
    • 2016 Data Representation Model for In-Depth Analysis of Network Traffic
    • Get’man A.I., Ivannikov V.P., Markin Yu V., Padaryan V.A., Tikhonov A.Yu
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 5, с. 316-323 DOI
  • • 2016 Что такое СПО
    • Иванников В.П.
    • в журнале Экспертный центр электронного государства (D-russia.ru), http://d-russia.ru/chto-takoe-spo.html
  • • 2016 Я понял, что программирование – прекрасный мир!
    • Виктор Иванников
    • в журнале Системный администратор, № 4, с. 88-91
  • • 2015 Модель представления данных при проведении глубокого анализа сетевого трафика
    • Гетьман А.И., Иванников В.П., Маркин Ю.В., Падарян В.А., Тихонов А.Ю.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 4, с. 5-22
  • • 2015 Предисловие
    • Иванников Виктор Петрович
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 6, с. 5-6 DOI
  • 
    • 2014 Static analyzer Svace for finding defects in a source program code
    • Ivannikov V.P., Belevantsev A.A., Borodin A.E., Ignatiev V.N., Zhurikhin D.M., Avetisyan A.I.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 40, № 5, с. 265-275 DOI
  • • 2014 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 7-8 DOI
  • • 2014 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 25, с. 5-8 DOI
  • • 2014 Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    • Иванников В.П., Камкин А.С., Чупилко М.М.
    • в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), с. 130-142
  • • 2014 Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM
    • Иванников В.П., Курмангалеев Ш.Ф., Белеванцев А.А., Аветисян А.И., Нурмухаметов А., Савченко В., Матевосян Р.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 327-342
  • • 2014 Статический анализатор Svace для поиска дефектов в исходном коде программ
    • Иванников В.П., Белеванцев А.А., Бородин А.Е., Игнатьев В.Н., Журихин Д.М., Аветисян А.И., Леонов М.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 1, с. 231 -250 DOI
  • • 2013 Автоматический поиск ошибок синхронизации в приложениях на платформе Android
    • Иванников В.П., Вартанов С.П., Ермаков М.К.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 191-206 DOI
  • • 2013 Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей
    • Иванников В.П., Петренко А.К., Кулямин В.В., Максимов А.В.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 207-218 DOI
  • • 2013 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 7-12
  • • 2013 Разработка и реализация облачной системы для решения высокопроизводительных задач
    • Кудрявцев А.О., Кошелев В.К., Избышев А.О., Дудина И.А., Курмангалеев Ш.Ф., Аветисян А.И., Иванников В.П., Велихов В.Е., Рябинкин Е.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 13-34 DOI
  • • 2012 Обнаружение периодических наборов событий во временных базах данных
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), № 23, с. 307-322 DOI
  • • 2012 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 23, с. 7-12 DOI
  • • 2012 Предисловие
    • Иванникова В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 5-10 DOI
  • 
    • 2011 Operating System of the Multi-machine Computer AS-6, Perspectives on Soviet and Russian Computing
    • Ivannikov V.P., Bourdonov I.B., Kossatchev A.S., Kuznetsov S.D., Tomilin A.N.
    • в журнале IFIP Advances in Information and Communication Technology, том 357, с. 31-35 DOI
  • • 2011 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 21, с. I-V
  • • 2011 Предисловие
    • Иванников В.П.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 20, с. 5-8
  • 
    • 2010 Software for Improving the Energy Efficiency of a Computer Cluster
    • Ivannikov V.P., Grushin D.A., Kuzyurin N.N., Pospelov A.I., Shokurov A.V.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 36, № 6, с. 327-336 DOI
  • • 2010 Программная система снижения энергопотребления вычислительного кластера
    • Иванников В.П., Грушин Д.А., Кузюрин Н.Н., Поспелов А.И., Шокуров А.В.
    • в журнале Программирование, том 36, № 6, с. 28-40
  • • 2010 Университетский кластер: интеграция образования, науки и индустрии
    • Иванников В.П., Аветисян А.И., Самоваров О.И., Гайсарян С.С.
    • в журнале Открытые системы, № 5, с. 10-14
  • 
    • 2009 Implementation of parallel programs interpreter in the development environment ParJava
    • Ivannikov V.P., Avetisyan A.I., Gaissaryan S.S., Akopyan M.S.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 35, № 1, с. 6-17 DOI
  • • 2009 Особенности реализации интерпретатора параллельных программ в среде ParJava
    • Иванников В.П., Аветисян А.И., Гайсарян С.С., Акопян М.С.
    • в журнале Программирование, том 35, № 1, с. 10-25
  • 
    • 2007 Productivity prediction of MPI programs based on models
    • Avetisyan A.I., Gaisaryan S.S., Ivannikov V.P., Padaryan V.A.
    • в журнале Automation and Remote Control, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 68, № 5, с. 750-759 DOI
  • 
    • 2007 The use of contract specifications for representing requirements and for functional testing of hardware models
    • Ivannikov V.P., Kamkin A.S., Kossatchev A.S., Kuliamin V.V., Petrenko A.K.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 33, № 5, с. 272-282 DOI
  • • 2007 Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры
    • Иванников В.П., Камкин А.С., Косачев А.С., Кулямин В.В., Петренко А.К.
    • в журнале Программирование, том 33, № 5, с. 47-62
  • • 2007 Прогнозирование производительности MPI-программ на основе моделей
    • Аветисян А.И., Гайсарян С.С., Иванников В.П., Падарян В.А.
    • в журнале Автоматика и Телемеханика / Automation and Remote, № 5, с. 8-17
  • 
    • 2006 Estimation of dynamical characteristics of a parallel program on a model
    • Ivannikov V.P., Gaisaryan S.S., Avetisyan A.I., Padaryan V.A.
    • в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 32, № 4, с. 203-214 DOI
  • • 2005 Методы защиты проектных решений при проектировании микроэлектронных схем
    • Варновский Н.П., Захаров В.А., Иванников В.П., Кузюрин Н.Н., Шокуров А.В., Кононов А.Н., Калинин А.В.
    • в журнале Известия ТРТУ, № 4, с. 112-119
  • 
    • 2003 Improving Properties of a Parallel Program in ParJava Environment
    • Ivannikov Victor, Gaissaryan Serguei, Avetisyan Arutyun, Padaryan Vartan
    • в журнале Lecture Notes in Computer Science, том 2840, с. 491-494 DOI

• Статьи в сборниках

  • 
    • 2014 System Software for the Computing System & x0022;Electronica SSBIS& x0022;
    • Ivannikov Victor, Gaisaryan Sergey, Tomilin Alexander
    • в сборнике Труды SORUCOM-2014. Третья Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания Казань, том 1, с. 118-124 DOI
  • 
    • 2013 Correctness checking of HDL-model behavior based on runtime trace matching
    • Ivannikov V.P., Kamkin A.S., Chupilko M.M.
    • в сборнике Tools and Methods of Program Analysis, TMPA 2013; Kostroma; Russian Federation; 10 October 2013 through 12 October 2013; Category numberP5172; Code 115685, место издания Institute of Electrical & Electronics Engineers (IEEE), с. 25-30 DOI
  • • 2013 Performance optimizations in an LLVM-based cloud application store
    • Ivannikov V.P., Belevantsev A.A., Avetisyan A.I., Kurmangaleev Sh F.
    • в сборнике 9th International Conference on Computer Science and Information Technologies (CSIT 2013), 23-27 Sept. 2013, издательство IEEE Computer Society (United States) DOI
  • • 2013 Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
    • Иванников В.П., Камкин А.С., Чупилко М.М.
    • в сборнике Труды Конференции TMPA, место издания Кострома
  • • 2012 Разработки операционных систем для ЭВМ БЭСМ-6
    • Иванников В.П., Королев Л.Н., Томилин А.Н., Тюрин В.Ф.
    • в сборнике Сборник докладов Годичной научной конференции Института истории естествознания и техники им. С.И. Вавилова, место издания Янус-К Москва
  • • 2011 Проект КЛАСТОС
    • Иванников В.П., Бурдонов И.Б., Косачев А.С.
    • в сборнике Труды SORUCOM-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания - Великий Новгород
  • • 2011 Системное программное обеспечение вычислительной системы «Электроника ССБИС»
    • Иванников В.П., Гайсарян С.С., Томилин А.Н.
    • в сборнике Труды SORUCOM-2011. Вторая Международная конференция «Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР», место издания - Великий Новгород
  • • 2011 Что такое СПО
    • Иванников В.П.
    • в сборнике Вычислительные технологии в естественных науках. Перспективные компьютерные системы: устройства, методы и концепции. Труды семинара, Таруса 24 марта 2011 г., Под ред. Р.Р.Назирова, Л.Н.Щура, ИКИ РАН, серия Механика, управление и информатика, место издания Институт космических исследований РАН Москва, с. 105-109
  • 
    • 2004 Model based recovery protocol in ParJava environment
    • Ivannikov V., Gaissaryan S., Avetisyan A., Padaryan V., Leontiev G.
    • в сборнике PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, место издания C S R E A PRESS, 115 AVALON DR, ATHENS, GA 30606 USA, с. 1118-1123
  • 
    • 2003 Using symbolic execution of a parallel program to estimate its scalability
    • Ivannikov V., Gaissaryan S., Avetisyan A., Padaryan V.
    • в сборнике PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, место издания C S R E A PRESS, 115 AVALON DR, ATHENS, GA 30606 USA, с. 1741-1744
  • 
    • 2002 ParJava: Integrated environment supporting data parallel Java-programming
    • Ivannikov V., Gaissaryan S., Avetisyan A., Samovarov O.
    • в сборнике 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XI, PROCEEDINGS: COMPUTER SCIENCE II, место издания INT INST INFORMATICS & SYSTEMICS, 14269 LORD BARCLAY DR, ORLANDO, FL 32837 USA, с. 319-322

• Книги

  • • 2016 Лев Николаевич Королев, биография, воспоминания, документы
    • Власов В.К., Смелянский Р.Л., Томилин А.Н., Королев С.Л., Баула В.Г., Брушлинский К.В., Бурдонов И.Б., Денисов А.М., Иванников В.П., Карпов Л.Е., Кузнецов С.Д., Попова Н.Н., Рябов Г.Г., Сухомлин В.А., Трифонов Н.П., Ивани А.М., Жоголев Е.А., Шура-Бура М.Р.
    • место издания МАКС Пресс Москва, ISBN 978-5317-05333-8, 272 с.
  • • 2012 Задачи экзаменов по вводному курсу программирования (учебно-методическое пособие)
    • Белеванцев А.А., Гайсарян С.С., Иванников В.П., Корухова Л.С., Падарян В.А.
    • место издания М.: Издательский отдел факультета ВМК МГУ, ISBN 978-5-89407-497-9, 85 с.
  • • 2007 Курс “Алгоритмы и алгоритмические языки” (методическое пособие)
    • Иванников В.П., Корухова Л.С., Пильщиков В.Н.
    • место издания М.: Издательский отдел факультета ВМК МГУ, 48 с.
  • • 2002 Письменный экзамен по курсу “Алгоритмы и алгоритмические языки”(методическое пособие)
    • Иванников В.П., Корухова Л.С., Пильщиков В.Н.
    • место издания М.: Издательский отдел факультета ВМК МГУ, 47 с.

• Доклады на конференциях

  • • 2016 Влияние Л.Н.Королева на развитие программирования в России (Устный)
    • Автор: Иванников В.П.
    • "Актуальные вопросы программирования", Факультет ВМК МГУ, Россия, 7 сентября 2016
  • • 2015 Service-oriented Centers of Excellence (Устный)
    • Авторы: Avetisyan A.I., Ivannikov V.P.
    • 10th International Conference on Computer Science and Information Technologies, Ереван, Армения, 28 сентября - 2 октября 2015
  • • 2011 Модели в анализе и разработке программ (Устный)
    • Авторы: Иванников В.П., Петренко А.К.
    • Ломоносовские чтения - 2011, МГУ им. М.В.Ломоносова, Москва, Россия, 14-23 ноября 2011
  • • 2011 Модели в разработке и анализе программных систем (Устный)
    • Авторы: Петренко А.К., Иванников В.П.
    • Ломоносовские чтения - 2011, МГУ им. М. В. Ломоносова, Россия, 20-21 апреля 2011

• НИРы

  • • 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
    • Кафедра системного программирования
    • Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
  • • 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
    • Кафедра системного программирования
    • Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.

• Отчеты

  • • 2015 Теоретические основы и методы анализа и проектирования программ. Итоговый отчет
    • Авторы: Иванников В.П., Корухова Л.С.
    • #01201154974, 14 с.
  • • 2010 Исследование современных методов анализа и проектирования программного обеспечения
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Чернов А.В., Малышко В.В.
    • #0120.0601687
  • • 2005 Теоретические основы и методы построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Малышко В.В.
    • #01.2.00 107164
  • • 2000 Развитие теории и методов построения систем автоматизации программирования
    • Авторы: Иванников В.П., Корухова Л.С., Кузьменкова Е.А., Веденеев Е.П.
    • #01960003309
  • • 1996 ИССЛЕДОВАНИЕ И РАЗРАБОТКА АРХИТЕКТУРЫХ ПРИНЦИПОВ ОРГАНИЗАЦИИ ИНТЕГРИРОВАННЫХ РАСПРЕДЕЛЕННЫХ НЕОДНОРОДНЫХ ОБЪЕКТНЫХ СИСТЕМ
    • Авторы: ИВАННИКОВ В.П., КОРУХОВА Л.С., и др.
    • #96-01-01278

• Членство в научных обществах

  • • с 1991 IEEE Computer Society
    • США
  • • с 1991 Associaton for Computing Machinery (ACM)
    • США

• Участие в редколлегии журналов

  • • 1 января 2010 - 1 января 2017 Труды Института системного программирования РАН (электронный журнал)
    • главный редактор
  • • 1 сентября 1993 - 1 января 2017 Programming and Computer Software
    • издательство Pleiades Publishing, Ltd (Road Town, United Kingdom)
    • http://pleiades.online/en/journal/procom/
    • главный редактор
  • • с 1 января 1993 Программирование
    • главный редактор

• Участие в редколлегии сборников

  • • 1998 Вопросы кибернетики. Приложения системного программирования
    • член редколлегии: Иванников В.П.
    • серия Вопросы кибернетики, том 4
    • место издания Научный совет по комплексной проблеме «Кибернетика» РАН, Москва
  • • 1997 Вопросы кибернетики. Приложения системного программирования
    • член редколлегии: Иванников В.П.
    • серия Вопросы кибернетики, том 3
    • место издания Научный совет по комплексной проблеме «Кибернетика» РАН, Москва
  • • 1996 Вопросы кибернетики. Приложения системного программирования
    • член редколлегии: Иванников В.П.
    • серия Вопросы кибернетики, том 2
    • место издания Научный совет по комплексной проблеме «Кибернетика» РАН, Москва
  • • 1995 Вопросы кибернетики. Приложения системного программирования
    • член редколлегии: Иванников В.П.
    • серия Вопросы кибернетики, том 1
    • место издания Научный совет по комплексной проблеме «Кибернетика» РАН, Москва

• Членство в диссертационных советах

  • • 2 ноября 2012 - 1 декабря 2016 Д 002.087.01, ИСП РАН
    • 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • председатель
    • Действующие члены совета: Зеленов С.В., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузнецов С.Д., Машечкин И.В.

• Руководство диссертациями

  • • 2016 Методы повышения эффективности итеративного динамического анализа программ
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (техн. науки)
    • Автор: Ермаков М.К.
    • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Ведущая организация: ВЦ имени А.А. Дородницына РАН
  • • 2015 Методы и программные средства извлечения терминов из коллекций текстовых документов предметной области
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Астраханцев Н.А., к.ф.-м.н.
    • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
    • Защищена в совете Д 002.087.01 при ИСП РАН
  • • 2012 Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
    • Докторская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Аветисян Арутюн Ишханович, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Научный консультант: Иванников Виктор Петрович, д.ф.-м.н., акад. РАН
    • Защищена в совете Д 002.087.01 при ИСП РАН
    • Организация, в которой выполнялась работа: Институт системного программирования РАН
    • Ведущая организация: Вычислительный центр им.А.А.Дородницына РАН
  • • 2005 Функциональные методы обработки слабоструктурированных данных
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Lizorkin D., к.ф.-м.н.
    • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
    • Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
  • • 1989 Макроанализ параллельной структуры последовательных программ и алгоритмов
    • Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
    • Автор: Воеводин Владимир Валентинович, д.ф.-м.н., проф., член-корр. РАН, МГУ имени М.В. Ломоносова
    • Научный руководитель: Иванников В.П., д.ф.-м.н., акад. РАН
    • Защищена в совете Д 501.002.09 при МГУ имени М.В. Ломоносова, Научно-исследовательский вычислительный центр

• Руководство дипломными работами

  • • 2016 Извлечение библиографических ссылок из текстов статей с использованием методов обработки неграмматических данных
    • Научный руководитель: Иванников В.П.
    • Автор: Бабичев Антон Витальевич (Бакалавр)
  • • 2016 Автоматизация извлечения записей и комментариев пользователей из веб-ресурсов
    • Научный руководитель: Иванников В.П.
    • Автор: Яцков Александр Константинович (Бакалавр)
  • • 2015 Моделирование интересов пользователей социальных сетей
    • Научный руководитель: Иванников В.П.
    • Автор: Александров Никита Анатольевич (Специалист)
  • • 2015 Методы автоматической рубрикации текстовых документов предметной области
    • Научный руководитель: Иванников В.П.
    • Автор: Малахов Дмитрий Павлович (Бакалавр)
  • • 2015 Исследование и разработка методов тематического моделирования для больших коллекций текстовых документов
    • Научный руководитель: Иванников В.П.
    • Автор: Борисова Татьяна Сергеевна (Специалист)
  • • 2015 Извлечение именованных сущностей с использованием Википедии
    • Научный руководитель: Иванников В.П.
    • Автор: Астахова Дарья Ильинична (Специалист)
  • • 2014 Расчет семантической близости концепций с использованием связей в графе ссылок Википедии
    • Научный руководитель: Иванников В.П.
    • Автор: Варламов Максим Игоревич (Специалист)
  • • 2014 Исследование и разработка методов автоматического поиска заимствований в русскоязычных текстах
    • Научный руководитель: Иванников В.П.
    • Автор: Бабаков Александр Валентинович (Специалист)
  • • 2013 Определение тематической направленности текстового содержания микроблогов
    • Научный руководитель: Иванников В.П.
    • Автор: Гомзин Андрей Геннадьевич (Специалист)
  • • 2013 Исследование и разработка методов разрешения лексической многозначности на основе неполной базы знаний
    • Научный руководитель: Иванников В.П.
    • Автор: Федоренко Денис Глебович (Специалист)

• Авторство учебных курсов

  • • 2011 Производственная практика
    • Авторы: Иванников В.П., Гайсарян С.С., Петренко А.К., Серебряков В.А., Крюков В.А.
  • • 2011 Архитектура ЭВМ и язык ассемблера (семинары)
    • Авторы: Корухова Л.С., Падарян В.А., Кузьменкова Е.А., Соловьев М.А., Иванников В.П.

---