| Issue Date | Title | Author(s) |
| 1976 | Алгоритмические языки для моделирования цифровых устройств | Чередов, Андрей Дмитриевич; Разин, Виктор Мартемьянович; Байда, Н. П. |
| 1976 | Анализ методов автоматизированного синтеза тестов | Григорьев, П. П.; Байда, Н. П. |
| 1974 | Двоично-десятичный сумматор-вычитатель для систем автоматического контроля | Байда, Н. П.; Хилажев, Е. Б. |
| 1972 | К вопросу о достоверности вычислений на ЭВМ | Байда, Н. П.; Разин, Виктор Мартемьянович; Танасейчук, В. М. |
| 1972 | К вопросу о расчете эффективности системы аппаратного контроля на ЭВМ | Байда, Н. П.; Разин, Виктор Мартемьянович; Танасейчук, В. М. |
| 1976 | Моделирование дешифратора с аппаратурным контролем на универсальной ЦВМ | Байда, Н. П.; Чередов, Андрей Дмитриевич; Наплеков, Владимир Иванович |
| 1977 | Моделирование цифровых устройств с аппаратурным контролем на языке ЛЯПАС | Байда, Н. П.; Лядункина, Л. А.; Разин, Виктор Мартемьянович |
| 1974 | О контроле реверсивного счетчика | Байда, Н. П. |
| 1973 | О применении ЭЦВМ для проектирования автоматизированных систем контроля | Байда, Н. П.; Разин, Виктор Мартемьянович |
| 1976 | О самодиагностике цифровых устройств методов контроля последовательности импульсов | Байда, Н. П. |
| 1976 | Определение эффективности и достоверности аппаратурного контроля при моделировании цифровых устройств на ЭЦВМ | Байда, Н. П. |
| 1972 | Преобразователь напряжение - код для системы автоматического контроля | Танасейчук, В. М.; Капицкий, Я. И.; Разин, Виктор Мартемьянович; Байда, Н. П. |
| 1974 | Принцип моделирования уличной сети города | Хилажев, Е. Б.; Малышкин, В. И.; Байда, Н. П. |
| 1972 | Системы автоматического контроля радиоэлектронной аппаратуры | Байда, Н. П.; Разин, Виктор Мартемьянович; Капицкий, Я. И.; Павленко, Г. П.; Танасейчук, В. М. |
| 1972 | Универсальная система автоматического контроля радиоэлектронной аппаратуры | Танасейчук, В. М.; Павленко, Г. П.; Разин, Виктор Мартемьянович; Байда, Н. П.; Капицкий, Я. И. |
| 1976 | Универсальный алгоритм исследования цифровых устройств с аппаратурным контролем | Абрамов, И. П.; Байда, Н. П.; Комаров, Ю. М.; Липский, В. Б.; Танасейчук, В. М. |
| 1976 | Формализованное описание цифрового устройства и его модель | Абрамов, И. П.; Байда, Н. П.; Комаров, Ю. М.; Липский, В. Б.; Разин, Виктор Мартемьянович |
| 1973 | Эффективность и достоверность аппаратурного контроля цифровых устройств | Байда, Н. П. |
