Список статей:

• Верификация логических схем, реализующих системы частичных булевых функций , Бибило П. Н. , Новиков Д. Я. , №31 июль-сентябрь 2011 Информатика, Информатика, (2011)
• Верификация функциональных описаний с неопределенностью на основе парафазного представления булевых функций , Новиков Д. Я. , Черемисинова Л. Д. , №27 июль-сентябрь 2010 Информатика, Информатика, (2010)
• Импликативный метод анализа частичных булевых функций , Новиков Д. Я. , Черемисинова Л. Д. , №34 апрель-июнь 2012 Информатика, Информатика, (2012)

Список депонированных рукописей: