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

• Генерация выполнимых спецификаций цифровых систем из структурных описаний FPGA-проектов , Черемисинов Д. И. , №35 июль-сентябрь 2012 Информатика, Информатика, (2012)
• Морфизмы моделей поведения распределенных систем , Черемисинов Д. И. , №5 январь-март 2005 Информатика, Информатика, (2004)
• Об интерпретации временной логики при символической верификации , Черемисинов Д. И. , №1 январь-март 2004 Информатика, Информатика, (2004)
• Отображение логических сетей в заданный технологический базис , Черемисинов Д. И. , № 53 январь-март 2017 Информатика, Информатика, (2016)
• Работа с кластерным компьютером из WINDOWS , Черемисинов Д. И. , №7 июль-сентябрь 2005 Информатика, Информатика, (2005)
• Синтез комбинационных схем в базисе библиотечных элементов КМОП СБИСС учетом энергопотребления , Черемисинов Д. И. , Черемисинова Л. Д. , №40 октябрь-декабрь 2013 Информатика, Информатика, (2013)
• Формальные методы анализа поведения распределенных систем , Черемисинов Д. И. , №3 июль-сентябрь 2004 Информатика, Информатика, (2004)

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