Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Петухов А.А.
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
, аспирант, 1 октября 2009 - 1 октября 2012
Соавторы:
Кулямин В.В.
2 статьи
,
1 НИР
Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 3
IstinaResearcherID (IRID): 11460110
Деятельность
Статьи в журналах
2011
Обзор методов построения покрывающих наборов
Кулямин В.В.
,
Петухов А.А.
в журнале
Программирование
, том 37, № 3, с. 3-41
Статьи в сборниках
2010
Covering arrays generation methods survey
Victor Kuliamin
,
Petukhov Alexander
в сборнике
Leveraging Applications of Formal Methods, Verification, and Validation – 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
, серия
Lecture Notes in Computer Science
, место издания
Springer Berlin, Germany
, том 6416, с. 382-396
НИРы
4 мая 2018 - 25 октября 2018
"Арктика-2030-МГУ"
Лаборатория вычислительных комплексов
Руководитель:
Смелянский Р.Л.
Ответственный исполнитель:
Писковский В.О.
Участники НИР:
Антоненко В.А.
,
Балашов В.В.
,
Бахмуров А.Г.
,
Волканов Д.Ю.
,
Глонина А.Б.
,
Грушо А.А.
,
Ермилов A.A.
,
Косачева Е.В.
,
Косачева С.А.
,
Костенко В.А.
,
Пашков В.Н.
,
Петухов А.А.
,
Пилюгин П.Л.
,
Пинаева Н.М.
,
Плакунов А.В.
,
Скобцова Ю.А.
,
Степанов Е.П.
,
Чистолинов М.В.