ИСТИНА

Петухов А.А.

Соавторы: Кулямин В.В.

2 статьи, 1 НИР

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 3

IstinaResearcherID (IRID): 11460110

Деятельность стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

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

  • • 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., Косачева Е.В., Косачева С.А., Костенко В.А., Пашков В.Н., Петухов А.А., Пилюгин П.Л., Пинаева Н.М., Плакунов А.В., Скобцова Ю.А., Степанов Е.П., Чистолинов М.В.