Поиск по сайту
Авторизация
Зачем нужна регистрация?
Логин:
Пароль:
Регистрация
Забыли свой пароль?
Подписка на рассылку
Для сотрудников ОИПИ
Типовые документы 

просим принять участие в опросезаполнить анкету

Публикации

2017

1.   Поттосин, Ю.В. Методы дискретной математики в проектировании цифровых устройств / Ю.В. Поттосин. – Saarbrьcken: LAPLAMBERT Academic Publishing, 2017. – 176 c.
2.   Бибило, П.Н. Моделирование и верификация цифровых систем на языке VHDL / П.Н. Бибило, Н.А. Авдеев. – М. : ЛЕНАНД, 2017. – 344 с.
3.   Avdeev, N.A. Experimental comparison of decomposition methods for systems of Boolean function / N.A. Avdeev, P. N. Bibilo // Journal of Computer and Systems Sciences International. – 2016. – V. 55. – Nо. 2. – P. 189–210.
4.   Бибило, П.Н. Нахождение энергоемких тестов для логических схем, реализующих конечные автоматы / П.Н. Бибило, В.И. Романов // Программная инженерия. – 2017. – Т. 8. – № 1. – С. 7–15.
5.   Бибило, П.Н. Использование полиномов Жегалкина при минимизации многоуровневых представлений систем булевых функций на основе разложения Шеннона / П.Н. Бибило, Ю.Ю. Ланкевич // Программная инженерия. – 2017. – Т. 8 –№ 8. – С. 369–384.
6.   Бибило, П.Н. Оценка энергопотребления цифровых устройств, представленных в виде композиции управляющего и операционного автоматов / П.Н. Бибило // Известия РАН. Теория и системы управления. – 2017. – № 3. – С. 97–117.
7.   Cheremisinov, D.I. Using parallel computing in VLSI computer-aided design / D.I. Cheremisinov, L.D. Cheremisinova // Problems of Advanced Micro- and Nanoelectronic Systems Development, Part I. – Moscow : IPPM RAS, 2017. – Р. 2–8.
8.   Бибило, П.Н. О научном наследии члена-корреспондента Аркадия Дмитриевича Закревского / П.Н. Бибило, Ю.В. Поттосин, Л.Д. Черемисинова // Информатика. – 2017. – № 1 (53). – С. 112–124
9.   Бибило, П.Н. Минимизация многоуровневых представлений систем булевых функций на основе разложения Шеннона / П.Н. Бибило, Ю.Ю. Ланкевич // Информатика. – 2017. – № 2 (54). – С. 45–57.
10. Поттосин, Ю.В. Метод многоблочной параллельной декомпозиции системы частичных булевых функций / Ю.В. Поттосин // Информатика. – 2017. – № 3 (55). – С. 92–98.
11. Черемисинов, Д.И. Отображение логических сетей в заданный технологический базис / Д.И.  Черемисинов // Информатика. – 2017. – № 1 (53) . – С. 44–52.
12. Cheremisinov, D. Low-Power synthesis of Combinational CMOS Circuits / D. Cheremisinov, L. Cheremisinova // Information Technologies & Knowledge. – 2016. – Vol. 10. – Nо. 3. – P. 272–285.
13. Cheremisinova, L. Test generation for Estimation of Power Consumption of sequential Circuits / L. Cheremisinova // Information Technologies & Knowledge. – 2016. – Vol. 10. – No 3. – P. 261–271.
14. Черемисинова, Л.Д. Тесты полного перебора для оценки среднего энергопотребления последовательностных КМОП-схем / Л.Д. Черемисинова // Информатика. – 2017. – № 4. – C.104–110.
15. Verification of VHDL Descriptions of Parallel Arrays of Finite State Machines / N.A. Avdeev [et al.] // Journal of Theoretical and Applied Information Technology. – 2017. – Vol. 95. – № 21. – P.  5815 – 5824.
16. Бибило, П.Н. Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов / П.Н. Бибило, В.И. Романов // Управляющие системы и машины. – 2017. – № 1. – С. 35–45.
17. Бибило, П.Н. Экспериментальное исследование эффективности технологически независимой оптимизации при синтезе комбинационных КМОП схем / П.Н. Бибило, Ю.Ю. Ланкевич // Седьмой Белорусский космический конгресс : материалы конгресса : в 2 т., Минск, 24-26 октября 2017 года. – Минск : ОИПИ НАН Беларуси, 2017. – Т. 1. – С. 38–41.
18. Программный комплекс логического проектирования функциональных блоков заказных КМОП СБИС с учетом площади и энергопотребления / Бибило П.Н. [и др.] // Седьмой  Белорусский космический конгресс: материалы конгресса: в 2 т., Минск, 24-26 октября 2017 года. – Минск: ОИПИ НАН Беларуси, 2017. – Т. 1. – С.55 – 58.
19. Черемисинов, Д.И. Использование суперкомпьютера для повышения надежности проектирования СБИС / Д.И. Черемисинов, Л.Д. Черемисинова  // Седьмой Белорусский космический конгресс: материалы конгресса: в 2 т., Минск:  24-26 октября 2017 года - Минск: ОИПИ НАН Беларуси, 2017. – Т.1. – С. 59–62.
20. Бибило, П.Н. Экспериментальное сравнение программ оптимизации совместных и раздельных диаграмм двоичного выбора для систем булевых функций / П.Н. Бибило, Ю.Ю. Ланкевич // Информационные технологии и системы 2017 (ИТС 2017): материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 25 октября 2017 г. – Минск : БГУИР, 2017. – С. 154–155.
21. Поттосин, Ю.В. Модель схемы из КМОП транзисторов для задачи построения иерархического структурного описания / Ю.В. Поттосин, Д.И. Черемисинов, Л.Д. Черемисинова // Информационные технологии в промышленности, логистике и социальной сфер (IТI*2017) : тезисы докладов IX Междунар. науч.-техн. конф., 23-24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017. – С. 124–125.
22. Поттосин, Ю.В. Метод многоблочной параллельной декомпозиции системы частичных булевых функций / Ю.В. Поттосин // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017) : тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск : ОИПИ НАН Беларуси, 2017. – С. 122–123.
23. Черемисинов, Д.И. Архитектура распределенной программы для кластерного компьютера / Д.И. Черемисинов, Л.Д. Черемисинова // Информационные технологии в промышленности, логистике и социальной сфере (IТI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23-24 мая 2017 года, Минск. – Минск : ОИПИ НАН Беларуси, 2017. – С. 151–152.
24. Бибило, П.Н. Логическое проектирование функциональных блоков заказных КМОП СБИС с пониженным энергопотреблением / П.Н. Бибило, В.И. Романов, Л.Д. Черемисинова // Информационные технологии и системы 2017 (ИТС 2017): материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 25 октября 2017 г. – Минск : БГУИР, 2017. – С. 156–157.
25. Кардаш, С.Н. Реализация конечных автоматов на КМОП-схемах с памятью с учетом рассеивания потребляемой мощности / С.Н. Кардаш //Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С. 63–64.
26. Кардаш, С.Н. Сравнение подходов к оценке пикового энергопотребления КМОП-схем с памятью /  С.Н. Кардаш, Л.Д. Черемисинова // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С. 65–66.
27. Кириенко, Н.А. Экспериментальное исследование различных подходов к оценке энергопотребления для КМОП схем с памятью / Н.А. Кириенко, С.Н. Кардаш // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С. 67 – 68.
28. Кириенко, Н.А. Увеличение точности оценки энергопотребления КМОП схем на основе логического моделирования / Н.А. Кириенко // Информационные технологии и системы 2017 (ИТС 2017): материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 25 октября 2017 г. – Минск : БГУИР, 2017. – С. 158–159.
29. Романов, В.И. Организация сеанса проектирования в программном комплексе КМОП-ЛП / В.И. Романов // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С.131–132.
30. Романов, В.И. Алгоритм решения задачи получения цикла, покрывающего все дуги графа переходовконечного автомата/ В.И. Романов // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С 129-130.
31. Бибило, П.Н. Функциональная верификация VHDL-описаний цифровых устройств с использованием языка PSL/ П.Н. Бибило //  Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С. 25 – 26.
32. Логинова, И.П. Использование технологии виртуализации для формальной верификации VHDL-описаний цифровых систем / И.П. Логинова // Информационные технологии в промышленности, логистике и социальной сфере (ITI*2017): тезисы докладов IX Междунар. науч.-техн. конф., 23–24 мая 2017 года, Минск. – Минск: ОИПИ НАН Беларуси, 2017.  С. 92–93.
 
2016

 33. Бибило, П. Н. Основы языка VHDL: учеб. пособие / П. Н. Бибило. – 7-е. изд. – М.: Книжный дом «ЛИБРОКОМ», 2016. – 328 с.
34. Силков, Н. И. Информационные технологии управления безопасностью. Электронные системы безопасности: пособие / Н. И. Силков, Д. И. Черемисинов, Е. А. Мельникова. – Минск: БГУИР, 2016. – 75 с.
35. Bibilo, P. N. Circuit Implementation of Parallel Logical Control Algorithms Represented in PRALU Description / P. N. Bibilo, Yu. V. Pottosin, V. I. Romanov, A. D. Zakrevskij // Design of Reconfigurable Logic Controllers / Ed. A. Karatkevich [et. al.]. – Springer, 2016. – P. 31 – 43. – (Studies in Systems, Decision and Control, vol. 45).
36. Pottosin, Yu. V. The search of a cut in a graph used in logical design / Yu. V. Pottosin, S. A. Pottosina // Journal of Mathematical Sciences. – Betty Jones & Sisters Publishing, 2016. – №. 3. – P. 73-80.
37. Cheremisinov, D. On the mechanization of Kleene Algebra in formal language analyzer / D. Cheremisinov // Intern. Journal «Information Theories and Applications». – 2016. – Vol. 23, № 4. – P. 347–358.
38. Cheremisinova, L. Implementation of Concurrent Control Algorithms Using PLC Ladder Diagrams / L. Cheremisinova // Intern. Journal «Information Theories and Applications». – 2016. – Vol. 23, № 4. – P. 321–337.
39. Cheremisinova, L. D. Area Minimization of Regular Structures Based on Solving Logical Equations / L. Cheremisinova // Automatic Control and Computer Sciences.– 2015. – Vol. 49, №. 4. – P. 208–215.
40. Gorodecky, D. A novel approach of polynomial expansions of symmetric Boolean functions / D. Gorodecky // Problems and New Solutions in the Boolean Domain / D. Gorodecky; ed. B. Steinbach.  – Cambridge Scholars Publishing: UK, 2016. – Section 1.4. – P. 96–115.
41. Авдеев, Н. А. Экспериментальное сравнение методов декомпозиции систем булевых функций / Н. А. Авдеев, П. Н. Бибило // Известия РАН. Теория и системы управления. – 2016. – № 2. – С. 29–50.
42. Авдеев Н. А.  Применение логической  и структурной оптимизации при синтезе КМОП схем с пониженным энергопотреблением/ Н. А. Авдеев, П. Н. Бибило, В. Ш. Меликян, А. Г. Арутюнян // Известия Национальной Академии наук Армении и Национального политехнического университета Армении. Сер. техн. наук. – 2016. – Т. 69, № 1. – С. 34–41.
43. Бибило, П. Н. Формирование энергоемких тестов для комбинационных логических схем по результатам оценки их энергопотребления / П. Н. Бибило, И. П. Логинова  // Информационные технологии. – 2016. – Т. 22, № 4. – С. 277–283.
44. Бибило, П. Н. Выбор «энергоемких» тестовых наборов для обеспечения режима повышенного энергопотребления комбинационных КМОП схем / П. Н. Бибило, И. П. Логинова // Управляющие системы и машины. – 2016. –  № 3. – С. 54–60.
45. Черемисинов, Д. И. Детерминированная семантика регулярных выражений / Д. И. Черемисинов // Образовательные ресурсы и технологии. – 2016. – № 2(14). – С. 379–386.
46. Черемисинова, Л. Д. Верификация логических описаний с функциональной неопределенностью на основе моделирования / Л. Д. Черемисинова // Образовательные ресурсы и технологии  – 2016. – № 2(14). – С. 409–416.
47. Балака, Е. С. Сравнительное исследование и анализ аппаратной реализации сумматоров по модулю / Е. С. Балака, Д.В. Тельпухов, И. П. Осинин, Д. А. Городецкий // Universum: Технические науки : электрон. научный журнал, 2016, № 1 (23). URL: http://7universum.com/ru/tech/archive/item/2887 (дата обращения: 30.12.2016).
48. Бибило, П. Н. Схемная реализация VHDL описаний систем неполностью определенных булевых функций / П. Н. Бибило // Информатика. – 2016. – № 3 (51). – С. 49–58.
49. Кириенко, Н. А. Исследование эффективности технологически независимой оптимизации функциональных описаний КМОП схем / Н. А. Кириенко, Л. Д. Черемисинова // Информатика. – 2016. – № 3 (51). – С. 59 – 66.
50. Поттосин, Ю. В. Эвристический метод энергосберегающего противогоночного кодирования состояний асинхронного автомата / Ю. В. Поттосин // Информатика. – 2016. – № 3(51). – С. 113–122.
51. Романов, В. И. Организация графической информации для просмотра многослойной топологии СБИС / В. И. Романов, Ю. Ю. Ланкевич // Информатика. – 2016. – № 3(51). – С. 87–95.
52. Поттосин, Ю. В. Поиск разреза графа в решении некоторых задач логического проектирования / Ю. В. Поттосин, С. А. Поттосина // Вес. Нац. акад. навук Беларусi. Сер. фiз.-мат. навук. – 2016. – № 3. – С. 110–118.
53. Черемисинова Л.Д. Модели и алгоритмы оценивания среднего значения мощности, потребляемой последовательностными КМОП-схемами // Вес. Нац. акад. навук Беларусi. Сер. фiз.-мат. навук. – 2016. – № 2. – C. 98–108.
54. Рабцевич, Д. М. Разработка справочно-информационной системы для поддержки процесса оказания медицинских услуг населению / Д. М. Рабцевич, Н.А. Кириенко // Электронная экономика: теория, модели, технологии. – Минск: БГУИР, 2016. – С. 162–168.
55. Gorodecky D. Multipliers design technique based on disjunctive normal form minimization and Fourier transformation / D. Gorodecky // Boolean Problems: 12th International Workshop. Freiberg (Sachsen), September 22-23, 2016 / Freiberg University of Mining and Technology ; еd. B. Steinbach. – Freiberg, 2016. – P. 145–150.
56. Pottosin, Yu. V. Low power race-free state assignment of asynchronous automata minimizing the switching activity of memory elements / Yu. V. Pottosin // Boolean Problems: 12th International Workshop. Freiberg (Sachsen), September 22-23, 2016 / Freiberg University of Mining and Technology ; еd. B. Steinbach. – Freiberg, 2016. – P. 203–209.
57. Бибило, П. Н. Применение VHDL моделей неполностью определенных булевых функций при проектировании цифровых схем / П. Н. Бибило // Проблемы разработки перспективных микро- и наноэлектронных систем – 2016 (МЭС-2016) :  cб. тр. VII Всероссийской науч.-техн. конф., Москва, 3–7 октября 2016 г. / ИППМ РАН; под общ. ред. акад. РАН А. Л. Стемпковского. – М., 2016. – Ч. 1. – С. 2–8.
58. Черемисинов, Д. И. Использование параллельных вычислений при автоматизированном проектировании СБИС / Д. И. Черемисинов, Л. Д. Черемисинова // Проблемы разработки перспективных микро- и наноэлектронных систем – 2016 (МЭС-2016) : cб. тр. VII Всероссийской науч.-техн. конф., Москва, 3–7 октября 2016 г. / ИППМ РАН; под общ. ред. акад. РАН А. Л. Стемпковского. – М., 2016. – Ч. 1. – С. 32–39.
59. Cheremisinova,  L. Graph Models for Estimation of Power Consumption of Logic Circuits [Electronic resource] / L. Cheremisinova // Информационные системы и технологии:  материалы междунар. науч. конгресса по информатике, Минск, 24–27 октября 2016 г. / БГУ. – Минск, 2016. – С. 1078–1082. – Режим доступа: 0http://elib.bsu.by/handle/123456789/160650. – Дата доступа: 25.10.2016.
60. Cheremisinov, D. I. Formal Language as Interaction Interface [Electronic resource] / D. I. Cheremisinov // Информационные системы и технологии:  материалы междунар. науч. конгресса по информатике, Минск, 24–27 октября 2016 г. / БГУ. – Минск, 2016. – С. 1073–1077. – Режим доступа: http://elib.bsu.by/handle/123456789/160650. – Дата доступа: 25.10.2016.
61. Бибило, П. Н. Схемная реализация VHDL описаний систем неполностью определенных булевых функций / П. Н. Бибило // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C. 18–22.
62. Кириенко, Н. А. Исследование влияния технологически независимой оптимизации на результат синтеза схем в технологическом базисе / Н. А. Кириенко, Л. Д. Черемисинова // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.93 – 97.
63. Поттосин, Ю. В. Эвристический метод энергосберегающего противогоночного кодирования состояний асинхронного автомата / Ю. В. Поттосин // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.155–159.
64. Романов, В.И. Подготовка информации для организации просмотра многослойной топологии СБИС / В. И. Романов // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.114–118.
65. Романов, В. И. Локальная загрузка многокадровых изображений / В. И. Романов, Ю. Ю. Ланкевич // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.165–169.
66. Черемисинов, Д. И. Архитектура программы технологического отображения логических схем в заданный библиотечный базис / Д. И. Черемисинов // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.192–196.
67. Черемисинова, Л. Д. Тесты для оценки среднего энергопотребления последовательностных схем // Л. Д. Черемисинова // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.197–201.
68. Bibilo, P. N. Decomposition and Minimization of Binary Decision Diagrams for Systems of Incompletely Specified Boolean Functions / P. N. Bibilo // Problems of Advanced Micro- and Nanoelectronic Systems Development (MES): proceedings of VI All-Russia Science&Technology Conference MES-2014, еxtended abstracts (in English), Moscow, September 29 – October 03, 2014 / IPPM RAS ; ed. board: Alexander L. Stempkovsky (chief ed.) [et al.]. – Moscow, 2015. – Part 1. – P. 2.
69. Cheremisinov, D. I. FPGA Reverse Engineering by Model-Driven Development / D. I. Cheremisinov // Problems of Advanced Micro- and Nanoelectronic Systems Development (MES): proceedings of VI All-Russia Science&Technology Conference MES-2014, еxtended abstracts (in English), Moscow, September 29 – October 03, 2014 / IPPM RAS ; ed. board: Alexander L. Stempkovsky (chief ed.) [et al.]. – Moscow, 2015. – Part 1. – P. 8.
70. Cheremisinova, L. D. Verification of Logical Descriptions of Combinational Circuits  / L. D. Cheremisinova // Problems of Advanced Micro- and Nanoelectronic Systems Development (MES): proceedings of VI All-Russia Science&Technology Conference MES-2014, еxtended abstracts (in English), Moscow, September 29 – October 03, 2014 / IPPM RAS ; ed. board: Alexander L. Stempkovsky (chief ed.) [et al.]. – Moscow, 2015. – Part 1. –  P. 3.
71. Кардаш, С. Н. Тесты для оценки максимального рассеивания мощности КМОП схемой с памятью / С. Н. Кардаш, Л. Д. Черемисинова // Новые информационные технологии в исследовании сложных структур : материалы 11й междунар. конф., Томск, 6–10 июня 2016 г. / Томский государственный университет ; редкол.: Н. В. Евтушенко [и др.]. – Томск, 2016. – C. 51–52.
72. Черемисинов, Д. И. Анализ исходного текста в трансляторе форматов данных / Д. И. Черемисинов // Новые информационные технологии в исследовании сложных структур : материалы 11й междунар. конф., Томск, 6–10 июня 2016 г. / Томский государственный университет ; редкол.: Н. В. Евтушенко [и др.]. – Томск, 2016. – C. 86–87.
73. Бибило, П. Н. Снижение энергопотребления цифровых устройств, представленных в виде композиции управляющего и операционного автоматов / П. Н. Бибило // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. – С. 198–199.
74. Бибило, П.Н. Mетодика быстрой оценки энергопотребления синхронных логических схем, реализующих конечные автоматы / П. Н. Бибило, В. И. Романов // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 200–201.
75. Кириенко, Н. А. Эффективность методов логической оптимизации при синтезе комбинационных схем средствами LeonardoSpectrum / Н. А. Кириенко, Л. Д. Черемисинова // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 204–205.
76. Черемисинов, Д. И. Организация удаленного выполнения трудоемких расчетов при проектировании СБИС / Д. И. Черемисинов, Л. Д. Черемисинова // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 270–271.
77. Черемисинов, Д. И. Учебный курс «Интерфейсы информационных систем» в обучении специалистов по информационным и коммуникационным технологиям / Д. И. Черемисинов // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 272–273.
78. Бибило, П. Н. Минимизация диаграммы двоичного набора, реализующей систему неполностью определенных булевых функций / П. Н. Бибило // XII Белорусская математическая конференция : материалы междунар. науч. конф., Минск, 5–10 сентября 2016 г., в 4 ч. / Институт математики НАН Беларуси ; ред.: С. Г. Красовский. – Минск, 2016. – Ч. 4. – С. 51–52.
79. Cheremisinov, D. I. Formal Language as Interaction Interface [Electronic resource] / D. I. Cheremisinov // Информационные системы и технологии:  материалы междунар. науч. конгресса по информатике, Минск, 24–27 октября 2016 г. / БГУ. – Минск, 2016. – С. 1073–1077. – Режим доступа: http://elib.bsu.by/handle/123456789/160650. – Дата доступа: 25.10.2016.
80. Gorodecky D. Multipliers: comparison of Fourier transformation based method and Synopsys design technique for up to 32 bits inputs in regular and saturation arithmetics [Electronic resource]  / D. Gorodecky // Boolean Problems: 12th International Workshop. Freiberg (Sachsen), September 22-23, 2016 / Freiberg University of Mining and Technology ; еd. B. Steinbach. – Cornell University Library, 2016. – P. 145–150. – Mode of access: https://arxiv.org/abs/1611.05415, 2016. – Date of access: 01.03.2017.

2015

1.    Gorodecky, D.A. Reed-Muller Realization of X (mod P) [Electronic resource]. – Cornell University Library, 2015. – Mode of access : http://arxiv.org/ftp/arxiv/papers/1504/1504.04773.pdf. – Date of access : 31.12.2015.
2.    Pottosin, Yu.V. Increasing the performance of combinational circuits by pipelining / Yu.V. Pottosin, S.N. Kardash // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 72–73.
3.    Pottosin, Yu.V. On using the probabilistic approach to synthesis of logical circuits with low power consumption / Yu.V. Pottosin // Теория вероятностей, случайные процессы, математическая статистика и приложения : Материалы Междунар. науч. конф., посвящ. 80-летию проф., д-ра физ.-мат. наук Г.А. Медведева, Минск, 23–26 февр. 2015 г. – Минск : РИВШ, 2015. – С. 412–417.
4.    Taghavi Afshord, S. An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method / S. Taghavi Afshord, Yu.V. Pottosin, B. Arasteh // Discrete Applied Mathematics. – 2015. – Vol. 185. – P. 208–219
5.    Авдеев, Н.А. Модель построения видеоизображения топологии СБИС // Восьмая Международная научно-техническая конференция / Н.А. Авдеев, В.И. Романов «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 88–89.
6.    Авдеев, Н.А. Применение оценок сложности диаграмм двоичного выбора при синтезе логических схем / Н.А. Авдеев, П.Н. Бибило // Информатика. – 2015. –  № 2(46). – С. 85–93.
7.    Авдеев, Н.А. Расширение возможностей автоматизированного проектирования цифровых систем при использовании стандарта VHDL’2008 / Н.А. Авдеев, П.Н. Бибило // Информационные технологии. – 2015. – № 7. – С. 510–520.
8.    Авдеев, Н.А. Эффективность логической оптимизации при синтезе комбинационных схем из библиотечных элементов / Н.А. Авдеев, П.Н. Бибило // Микроэлектроника. – 2015. – Т. 44. – № 5. – С. 383–399.
9.    Авдеев, Н.А. Эффективность проектирования заказных схем в синтезаторе LeonardoSpectrum / Н.А. Авдеев, П.Н. Бибило // Современная электроника. – 2015. – № 1. – С. 58–61.
10.    Бибило,  П.Н.  Логические операции над матричными формами булевых функций и диаграммами двоичного выбора / П.Н. Бибило // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 66-67.
11.    Бибило, П.Н. Задачи по проектированию логических схем c использованием языка VHDL. Изд 2, стереотип. / П.Н. Бибило. – М. : Изд-во ЛКИ,  2015. – 328 с.
12.    Бибило, П.Н. Логическое проектирование // Кибернетика и информатика в Национальной академии наук Беларуси: очерки развития / Объединенный институт проблем информатики Национальной академии наук Беларуси (науч. ред.: С.В.Абламейко, А.В.Тузиков, О.И.Семенков) / П.Н. Бибило, Л.Д. Черемисинова – Минска : Тэхналогiя, 2015. – С. 125–140.
13.    Бибило, П.Н. Построение тестов, обеспечивающих повышенное энергопотребление комбинационной схемы из библиотечных элементов / П.Н. Бибило // Автоматика и вычислительная техника. – 2015. –№ 4 . – C.5–16.
14.    Бибило, П.Н. Экспериментальное сравнение эффективности методов декомпозиции систем булевых функций, заданных матричными формами и диаграммами двоичного выбора / П.Н. Бибило // Информационные технологии и системы 2015 (ИТС 2015 : материалы международной научной конференции (БГУИР, Минск, Беларусь, 28 октября 2015). – Минск : БГУИР, 2015. – С. 152–153.
15.    Городецкий, Д.А. Реализация устройств модулярной арифметики на основе использования аппарат симметрических булевых функций / Д.А. Городецкий // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 68-69
16.    Кириенко, Н.А. Исследование подходов к построению многоуровневых логических схем из вентилей / Н.А. Кириенко, Д.И. Черемисинов, Л.Д. Черемисинова // Информационные технологии и системы 2015 (ИТС 2015 : материалы международной научной конференции (БГУИР, Минск, Беларусь, 28 октября 2015). – Минск : БГУИР, 2015. – С. 156–157.
17.    Кириенко, Н.А. Оптимизация многоуровневых представлений логических схем для сокращения площади кристалла СБИС и энергопотребления / Н.А. Кириенко, Д.И. Черемисинов, Л.Д. Черемисинова // Весцi НАН Беларусi. Сер.фiз.-мат. навук. – 2015. – № 2. – C. 103–111.
18.    Кириенко, Н.А. Построение псевдослучайных тестов с заданными вероятностными характеристиками сигналов для КМОП схем с памятью / Н.А. Кириенко // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 84–85.
19.    Ланкевич, Ю.Ю.  Алгоритмы сборки общего изображения топологии СБИС / Ю.Ю. Ланкевич // Информатика. -  2015. -  № 3(47). – С. 29–41.
20.    Ланкевич, Ю.Ю. Алгоритмы решения задач обработки изображений топологии СБИС / Ю.Ю. Ланкевич // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 92–93.
21.    Ланкевич, Ю.Ю. Использование технологии CUDA при решении задач обработки изображений топологии СБИС / Ю.Ю. Ланкевич // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 94–95.
22.    Ланкевич, Ю.Ю. Сборка общего изображения топологии СБИС  / Ю.Ю. Ланкевич // Информационные технологии и системы 2015 (ИТС 2015 : материалы международной научной конференции (БГУИР, Минск, Беларусь, 28 октября 2015). – Минск : БГУИР, 2015. – С. 158–159.
23.    Логинова, И.П. Алгоритм нахождения тестовых векторов, обеспечивающих режим максимального энергопотребления комбинационной схемы / И.П. Логинова // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 86–87.
24.    Логинова, И.П. Выбор эффективных алгоритмов формирования энергоемких тестов заданной длины по результатам моделирования энергопотребления комбинационных схем / И.П. Логинова // Информационные технологии и системы 2015 (ИТС 2015 : материалы международной научной конференции (БГУИР, Минск, Беларусь, 28 октября 2015). – Минск : БГУИР, 2015. – С. 162–163.
25.    Поттосин, Ю.В. Метод  энергосберегающего  противогоночного кодирования  состояний  асинхронного  автомата / Ю.В. Поттосин // Современные проблемы прикладной математики, информатики, автоматизации и управления: Труды 5-го международного научно-технического семинара (Севастополь, 15–20 июня 2015 г.) // Под ред. И.А. Соколова и В.И. Кошкина. – Севастополь: Изд-во СевГУ, 2015. – С. 198–207.
26.    Поттосин, Ю.В. Поиск разреза графа, используемый в решении некоторых задач логического проектирования / Ю.В. Поттосин, С.А. Поттосина // Дискретная математика, алгебра и их приложения: Тез. докл. Междунар. науч. конф. Минск, 14–18 сентября 2015 г. – Мн.: Институт математики НАН Беларуси, 2015. – С. 133–134.
27.    Поттосин, Ю.В. Энергосберегающее противогоночное кодирование состояний асинхронного автомата / Ю.В. Поттосин // Информатика. – 2015. – № 2(46). – С. 94–101.
28.    Поттосин, Ю.В. Энергосберегающее противогоночное кодирование состояний асинхронного автомата / Ю.В. Поттосин // Прикладная дискретная математика. Приложение. – 2015. – № 8. Труды Всероссийской конференции «XIV Сибирская научная школа-семинар с международным участием “Компьютерная безопасность и криптография” – SIBECRYPT’15» (Новосибирск, 7–12 сентября 2015 г.) – С. 120–123.
29.    Романов, В.И. Информационное обеспечение процедуры просмотра видеоизображения топологии СБИС / В.И. Романов // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 90–91.
30.    Черемисинов, Д.И. Программа конвертации описаний автоматов в синтезируемые VHDL-описания / Д.И. Черемисинов // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 80–81.
31.    Черемисинова, Л.Д. Минимизация площади регулярных структур на основе решения логических уравнений / Л.Д. Черемисинова // АВТ. – 2015. – № 4. – C. 28–38.
32.    Черемисинова, Л.Д. Многократная свертка регулярных структур на основе решения логических уравнений / Л.Д. Черемисинова // Информатика. – 2015. – № 1(45). – С. 80–89.
33.    Черемисинова, Л.Д. Оценка переключательной активности КМОП схем с памятью на основе вероятностных характеристик сигналов // Конгресс “IS&IT”. AIS’15. CAD-2015. “Интеллектуальные системы ’15”. Геленджик – Дивноморское, Россия, 3–9 сент. 2015. “Интеллектуальные САПР-2015”, Труды конференций, Том 2, Таганрог, 2015. – C. 215–221.
34.    Черемисинова, Л.Д. Поиск кратчайшей установочной последовательности схемы с памятью на D-триггерах / Л.Д. Черемисинова // Весцi НАН Беларуси, Сер.фiз.-мат. навук. – 2015. – № 3. – C. 119–128.
35.    Черемисинова, Л.Д. Построение тестов для оценки пикового рассеивания мощности КМОП-схемами с памятью / Л.Д. Черемисинова // Восьмая Международная научно-техническая конференция «Информационные технологии в промышленности (ITI*2015) : тезисы докладов (2–3 апреля 2015 года, Минск). – Минск : ОИПИ НАН Беларуси, 2015. – С. 82–83.

2014

1.    Bibilo, P.N. Decomposition of a system of incompletely specifed Boolean functions defined with a binary decision diagram / P.N. Bibilo // Automation and Remote Control. – 2014. – Vol. 75. – No. 7. – P. 1173–1194.
2.    Cheremisinov, D. Programming of agent-based systems / D. Cheremisinov, L. Cheremisinova // Intern. Journal “Information Theories and Applications”. – 2014. – Vol. 21. – Number 2. – P. 103–119.
3.    Cheremisinova, L. Estimation of peak sustainable power consumption for sequential CMOS circuits / L. Cheremisinova, A. Zakrevskij // Intern. Journal “Information Theories and Applications”. – 2014. – Vol. 21. – No 1. – Р. 85–93.
4.    Gorodecky, D.A. Combinatorial method of polynomial expansion of symmetric Boolean functions / D.A. Gorodecky // Proceedings of the 11th International Workshop on Boolean Problems, Freiberg, Germany, Sept. 17-19, 2014. Edited by B. Steinbach. – Freiberg University of Mining and Technology. – P. 211-218.
5.    Pottosin, Yu.V. Pipelining combinational circuits / Yu.V. Pottosin, S.N. Kardash // Прикладная дискретная математика. – 2014. – № 1(23). – С. 106-113.
6.    Taghavi Afshord, S. A new suboptimal decomposition algorithm based on the tabular method / S. Taghavi Afshord, Yu.V. Pottosin // Танаевские чтения : доклады Шестой Международной научной конференции (27–28 марта 2014 г., Минск). – Минск : ОИПИ НАН Беларуси, 2014. – С. 161-165.
7.    Taghavi Afshord, S. Improved decomposition for a system of completely specified Boolean functions / S. Taghavi Afshord, Yu.V. Pottosin // I.J. Information Technology and Computer Science. – 2014. – No. 1. – P. 25-32.
8.    Авдеев, Н.А. Применение логической оптимизации при синтезе КМОП схем с пониженным энергопотреблением / Н.А. Авдеев, П.Н. Бибило // Шестой Белорусский космический конгресс, 28 – 30 октября 2014 г., Минск : материалы конгресса: в 2 т. – Минск: ОИПИ НАН Беларуси, 2014. – Т.1. – С. 77–80.
9.    Авдеев, Н.А. Средства VHDL для функциональной верификации цифровых систем: пакет RandomPkg / Н.А. Авдеев, П.Н. Бибило // Современная электроника. – 2014. – № 1. – С. 60 – 65.
10.    Бибило, П.Н. Автоматизация логического проектирования дискретных устройств / П.Н. Бибило // Наука – инновационному развитию общества : материалы 2-ой Междунар. науч.-практ. конф. , Минск, 23 янв. 2014 г.  / Нац. Акад. Наук Беларуси; редкол.: В.Г. Гусаков [ и др.]. – Минск: Беларуская навука, 2014. С. 130 – 141.
11.    Бибило, П.Н. Автоматизация синтеза конвейерных КМОП-схем / П.Н. Бибило, С.Н. Кардаш, Н.А.Кириенко, Ю.В. Поттосин, В.И. Романов // Программная инженерия. – 2014. – № 2. – С. 13–18.
12.    Бибило, П.Н. Декомпозиция и минимизация диаграмм двоичного выбора для систем неполностью определенных булевых функций / П.Н. Бибило // Проблемы разработки перспективных микро- и наноэлектронных систем - 2014. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2014. Часть I. С. 3-8.
13.    Бибило, П.Н. Декомпозиция системы неполностью определенных булевых функций, заданных диаграммой двоичного выбора / П.Н. Бибило // Автоматика и телемеханика. – 2014. – № 7. – С. 17– 42.
14.    Бибило, П.Н. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний / П.Н. Бибило, В.И. Романов.  – М.: ЛЕНАНД, 2014. –  256 с.
15.    Бибило, П.Н. Основы языка VHDL: Учебное пособие. Изд. 6-е / П.Н. Бибило. – М.: Книжный дом «ЛИБРОКОМ», 2014. – 328 с.
16.    Бибило, П.Н. Оценка энергопотребления комбинационных КМОП схем на основе логического моделирования с учетом временных задержек элементов / П.Н. Бибило, А.Л. Соловьев // Управляющие системы и машины. - 2014. - № 6. – С. 34 – 41.
17.    Бибило, П.Н. Памяти члена-корреспондента НАН Беларуси Аркадия Дмитриевича Закревского / П.Н. Бибило, Л.Д. Черемисинова // Танаевские чтения : Доклады Шестой Международной научной конференции (27 марта – 28 марта 2014 г., Минск). – Минск: ОИПИ НАН Беларуси, 2014. – С. 197– 203.
18.    Бибило, П.Н. Памяти член-корреспондента НАН Беларуси Аркадия Дмитриевича Закревского / П.Н. Бибило, Л.Д. Черемисинова // Intern. Journal “Information Theories and Applications”. – 2014. – Vol. 21. – No 1. – Р. 94–99.
19.    Бибило, П.Н. Построение тестов, обеспечивающих повышенное энергопотребление комбинационной КМОП схемы из библиотечных элементов / П.Н. Бибило // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции (БГУИР, Минск, Беларусь, 29 октября 2014). – Минск : БГУИР, 2014. – С. 174-175.
20.    Бибило, П.Н. Применение диаграмм двоичного выбора при синтезе логических схем / П.Н. Бибило. – Минск: Беларуская навука, 2014. – 231 с.
21.    Бибило, П.Н. Система синтеза конвейерных логических схем ARCON / П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Ю.В. Поттосин, В.И. Романов // Новые информационные технологии в исследовании сложных структур : материалы Десятой российской конференции с международным участием. – Томск : Издательский Дом Томского государственного университета, 2014. – С. 35-36.
22.    Бибило, П.Н. Экспериментальное исследование алгоритмов минимизации диаграмм двоичного выбора / П.Н. Бибило // Танаевские чтения : Доклады Шестой Международной научной конференции (27 марта – 28 марта 2014 г., Минск). – Минск: ОИПИ НАН Беларуси, 2014. – С.  19– 23.Городецкий, Д.А. Полиномиальное разложение симметрических булевых функций / Д.А. Городецкий, В.П. Супрун // Материалы десятой Российской конференции с международным участием «Новые информационные технологии в исследованиях сложных структур»; пос. Катунь, Алтайский край, Россия, 9-11 июня. – Томск: Издательский Дом Томского государственного университета, 2014. – С. 36-37.
23.    Городецкий, Д.А. Реализация операции X (mod P) / Д.А. Городецкий // Труды Конгресса по интеллектуальным системам и информационным технологиям «IS&IT’14»; пос. Дивноморское, Россия, 2-9 сентября. Научное издание в 4-х томах. – М.: Физматлит, 2014. – Т. 1. – С. 369-376.
24.    Закревский, А.Д. К оценке максимального среднего рассеивания мощности последовательностными схемами / А.Д. Закревский, Л.Д. Черемисинова // Танаевские чтения: доклады Шестой Междун.научн. конф. (27–28 марта 2014 г., Минск). – Мн.: ОИПИ НАН Беларуси, 2014. – C. 54–58.
25.    Кириенко, Н.А. Метод логического моделирования схем с элементами памяти для определения переключательной активности / Н.А. Кириенко // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции (БГУИР, Минск, Беларусь, 29 октября 2014). – Минск : БГУИР, 2014. – С. 180-181.
26.    Кириенко, Н.А. экспериментальное исследование быстродействия и энергопотребления конвейеризованных логических схем / Н.А. Кириенко // Танаевские чтения : доклады Шестой Международной научной конференции  (27–28 марта 2014 г., Минск). – Минск : ОИПИ НАН Беларуси, 2014. – С. 74-78.
27.    Логинова, И.П. Программный комплекс проектирования топологии иерархически организованных сетей КМОП-макроэлементов заказных цифровых СБИС / И.П. Логинова, В.И.Романов / Новые информационные технологии в исследовании сложных структур: материалы Десятой российской конференции с международным участием. – Томск: Издательский Дом Томского государственного университета, 2014 – С. 40-41.
28.    Поттосин, Ю.В. Использование расширения языка SF для решения задач энергосберегающего кодирования состояний дискретного автомата / Ю.В. Поттосин, С.Н. Кардаш // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции (БГУИР, Минск, Беларусь, 29 октября 2014). – Минск : БГУИР, 2014. – С. 194-195.
29.    Поттосин, Ю.В. Об использовании полного булева графа в алгоритмах решения некоторых задач логического проектирования / Ю.В. Поттосин // Танаевские чтения : доклады Шестой Международной научной конференции  (27–28 марта 2014 г., Минск). – Минск : ОИПИ НАН Беларуси, 2014. – С. 126-130.
30.    Романов, В.И. Организация программного комплекса топологического проектирования заказных цифровых СБИС / В.И. Романов // Танаевские чтения : Доклады Шестой Международной научной конференции (27-28 марта 2014 г., Минск). – Минск : ОИПИ НАН Беларуси, 2014. – С. 131-135.
31.    Романов, В.И. Управление иерархией композитов в системе топологического проектирования СБИС / В.И. Романов // Международная научно-техническая конференция, приуроченная к 50-летию МРТИ – БГУИР (Минск, 18–19 марта 2014 года): материалы конф. В 2 ч. Ч. 1. – Минск: БГУИР, 2014. – С. 297-298.
32.    Черемисинов Д.И. О защите интеллектуальной собственности в процессе проектирования устройств на основе FPGA Xilinx / Д.И. Черемисинов // Прикладная дискретная математика. – 2014. – № 2. – C. 110-118.
33.    Черемисинов, Д.И. Диверсный программируемый логический контроллер / Д.И. Черемисинов, Л.Д. // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции (БГУИР, Минск, Беларусь, 29 октября 2014). – Минск : БГУИР, 2014. – С. 34-35.
34.    Черемисинов, Д.И. Новая версия конвертера структурных описаний СБИС / Д.И. Черемисинов, Л.Д. // Шестой Белорусский космический конгресс, 28-30 октября 2014 года, Минск : материалы конгресса : в 2 т. – Минск : ОИПИ НАН Беларуси, 2014. – Т. 1. – С. 111–114.
35.    Черемисинов, Д.И. Обработка графов в программе перепроектирования FPGA / Д.И. Черемисинов // Танаевские чтения.  Доклады Шестой Международной конференции. – Минск: ОИПИ НАН Беларуси, 2014. – С. 151-155.
36.    Черемисинов, Д.И. Перепроектирование ПЛИС на основе трансформации моделей / Д.И. Черемисинов // Проблемы разработки перспективных микро- и наноэлектронных систем. – 2014. Сб.трудов / под общ. ред. акад. РАН А.Л. Стемпковского. – М.: ИППМ РАН, 2014, Часть 1. – С. 25–30.
37.    Черемисинов, Д.И. Платформа для перепроектирования ПЛИС Xilinx в заказную СБИС / Д.И. Черемисинов // Новые инф. технологии в исследовании сложных структур: материалы 10й российской конф. с междунар. участием. – Томск: Изд. дом Томского гос. университета, 2014. – C. 43–44.
38.    Черемисинова, Л.Д. Верификация логических описаний комбинационных устройств / Л.Д. Черемисинова // Проблемы разработки перспективных микро- и наноэлектронных систем. – 2014. Сб.трудов / под общ. ред. акад. РАН А.Л. Стемпковского. – М.: ИППМ РАН, 2014. Часть I. – С. 9–14.
39.    Черемисинова, Л.Д. Логический синтез комбинационных КМОП схем с учетом рассеивания мощности / Л.Д. Черемисинова // Вестник Томского гос. университета. Управление, вычислительная техника и информатика. – 2014. – № 3(28). – С. 89–98.
40.    Черемисинова, Л.Д. Оценка среднего значения рассеиваемой мощности КМОП-схемами с памятью / Л.Д. Черемисинова // Шестой Белорусский космический конгресс, 28 – 30 октября 2014 г., Минск : материалы конгресса: в 2 т. – Минск: ОИПИ НАН Беларуси, 2014. – Т.1. – С. 115–118.
41.    Черемисинова, Л.Д. Тесты для оценки пикового рассеивания мощности КМОП схем / Л.Д. Черемисинова // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции (БГУИР, Минск, Беларусь, 29 октября 2014). – Минск : БГУИР, 2014. – С. 178-179.
42.    Черемисинова, Л.Д. Учет рассеивания мощности КМОП схемами при логическом синтезе / Л.Д. Черемисинова // Новые инф. технологии в исследовании сложных структур: материалы 10й российской конф. с междунар. участием. – Томск: Изд. дом Томского гос. университета, 2014. – С. 42–43.
 
2013

 1.    Bibilo,  P. N. Minimization of binary decision diagrams for systems of incompletely defined Boolean functions / P. N. Bibilo // Journal of Computer and Systems Sciences International. – 2013. - Vol. 52.  № 6. - P. 909 - 927.
2.    Bibilo, P. Architecture of a system of synthesis of pipelined logic circuits / P. Bibilo, N. Kirienko, V. Romanov // Interactive Systems and Technologies: the Problems of Human-Computer Interaction: collection of scientific papers. – Ulyanovsk: UISTU, 2013. – p. 172 – 173.
3.    Cheremisinov, D. Low-Power Design of Combinational CMOS Networks /D. Cheremisinov, L. Cheremisinova // 11th IEEE East-West Design & Test Symposium (EWDTS’2013): proceedings, Rostov-on-Don, Russia, September 27–30, 2013. – Kharkov, 2013. – P. 208–211.
4.    Cheremisinov, D. Design Automation Tool to Generate EDIF and VHDL Descriptions of Circuit by Extraction of FPGA Configuration / D. Cheremisinov  // 11th IEEE East-West Design & Test Symposium (EWDTS’2013): proceedings, Rostov-on-Don, Russia, September 27–30, 2013. – Kharkov, 2013. – P. 235–238.
5.    Cheremisinova, L. SAT-based approaches to verification of logical descriptions with functional Indeterminacy / L. Cheremisinova // IEEE Conf. Proceedings. Ninth Intern. Conf. on Computer Science and Information Technologies, Revised Sel ected Papers, 23–27 Sept. 2013, Yerevan (Armenia) // Page: http://ieeexplore.ieee.org /xpl/mostRecentIssue.jsp?punumber=6705335.
6.    Cheremisinova, L. Verification of logical descriptions with functional indeterminacy / L. Cheremisinova // Informatyka – sztuka czy promisBo (KNWS 2012): Dziewita Konferencja Naukowa,  Przylep k Zielonej Gуry, Polska, 16–17 maja 2012, 2 p. –[Electronic resource]. –  2013. –  Mode of access:  http://www.knws.uz.zgora.pl/history/pdf/KNWS'12/Sesja_E_referat_4.pdf . Date of access: 17.12.2013
7.    Cheremisinova, L. SAT-based verification of implementations of incompletely specified Boolean functions / L. Cheremisinova // Computer Science and Information Technologies (CSIT 2013): proceedings of the conference, Yerevan, Armenia, September, 23–27, 2013 / National Academy of Sciences of Armenia. – Yerevan, 2013. – P. 341–344.
8.    Cheremisinova, L. Simulation-based verification of implementations of incompletely specified Boolean functions / L. Cheremisinova // Computer Science and Information Technologies (CSIT 2013): proceedings of the conference, Yerevan, Armenia, September, 23–27, 2013 / National Academy of Sciences of Armenia. – Yerevan, 2013. – P. 337–340.
9.    Gorodecky, D. Polynomial Expansion of Symmetric Boolean Functions / D. Gorodecky, V. Suprun // Recent Progress in the Boolean Domain / edited by Bernd Steinbach. – Cambridge Scholars Publishing, 2013. – Chapter 4.4. – P. 247–262.
10.    Gorodecky, D.A. Combinatorial method of polynomial expansion of symmetric Boolean functions / D.A. Gorodecky // arXiv:1306.5568 [Electronic resource]. – 2013. – Mode of access:http://arxiv.org/ftp/arxiv/papers/1306/1306.5568.pdf . – Date of access: 18.12.2013
11.    Pottosin, Yu.V. Graph theory problems in the theory of design of digital devices / Yu.V. Pottosin, S.A. Pottosina // Digital Technologies (DT), 2013: the International Conferences, }ilina, Slovakia, 29-30 May 2013 / IEEE, 2013. – P. 49-51. – [Electronic resource]. –  2013. –  Mode of access: ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6566284&sortType%3Dasc_p_Sequence%26filter%3DAND(p_IS_Number%3A6566267) .– Date of access: 17.12.2013
12.    Suprun, V.P. Matrix method of polynomial expansion of symmetric Boolean functions / V.P. Suprun, D.A. Gorodecky // Automatic Control and Computer Sciences. – 2013. – Vol. 47. – № 1. – P. 1–6.
13.    Tagavi, S.A.  Decomposability and search for all solutions of a system of Boolean functions / S.A. Tagavi, Yu.V. Pottosin // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III междунар. науч.-техн.  конф. , Минск, 21-23 февраля 2013 г. – Минск : БГУИР, 2013. – С. 579-584.
14.    Taghavi Afshord, S. Analyzing decompositions of a system of Boolean functions using the ternary matrix approach  / S. Taghavi Afshord, Yu.V. Pottosin // Journal of Advances in Computer Research. – 2013. – Vol. 4. – No. 2. – P. 75-85.
15.    Taghavi Afshord, S. On decomposing systems of Boolean functions via ternary matrix cover approach / S. Taghavi Afshord, Yu.V. Pottosin // International Journal of Advanced Science and Technology. – 2013. –Vol. 55. – June. – P. 33-42.
16.    Taghavi Afshord, S. Suboptimal decomposition systems of Boolean functions / S. Taghavi Afshord, Yu.V. Pottosin // Information Technologies and Systems 2013 (ITS 2013) : Proceedings of the International Conference BSUIR, Minsk, 23th October. – Минск : БГУИР, 2013. – С. 110–111.
17.    Zakrevskij, A.D. Solving Large Systems Logical Equations / A.D. Zakrevskij. – Tallinn : TUT Press, 2013. – 114 pp.
18.    Авдеев, Н.А. Средства VHDL для функциональной верификации цифровых систем / Н.А. Авдеев, П.Н. Бибило // Современная электроника. — 2013. — № 3. — С. 74–76.
19.    Авдеев, Н.А. Средства VHDL для функциональной верификации цифровых систем. Методология OS VVM / Н.А. Авдеев, П.Н. Бибило // Современная электроника. — 2013. — № 5. — С. 66–70.
20.    Авдеев, Н.А. Функциональная верификация с помощью языка VHDL / Н.А. Авдеев // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 170–171.
21.    Автоматизация логического синтеза КМОП схем с пониженным энергопотреблением / П.Н. Бибило [и др.] // Программная инженерия. – 2013. –  № 8. - С. 35–41.
22.    Бибило, П.Н. Декомпозиция диаграмм двоичного выбора, задающих системы не полностью определенных булевых функций / П.Н. Бибило // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013.  – С. 172–173.
23.    Бибило, П.Н. Использование моделей не полностью определенных булевых функций при синтезе логических схем по VHDL-описаниям / П.Н Бибило // Автоматика и вычислительная техника. – 2013. – № 3. – C. 17–27.
24.    Бибило, П.Н. Использование моделей неполностью определенных булевых функций при синтезе схем по VHDL-описаниям / П.Н. Бибило, А.Л. Соловьев // Микроэлектроника. – 2013. – Т. 42. –  № 5. – С. 389–398. (Импакт-фактор 0,522)
25.    Бибило, П.Н. Использование продукционно-фреймовой модели представления знаний в автоматизированном логическом проектировании заказных цифровых СБИС / П.Н. Бибило, В.И. Романов // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III междунар. науч.-техн. конф., Минск, 21-23 февраля 2013 г. – Минск : БГУИР, 2013. – C. 473–476.
26.    Бибило, П.Н. Минимизация диаграмм двоичного выбора для систем не полностью определенных булевых функций / П.Н. Бибило // Известия РАН. Теория и системы управления. – 2013. – № 6. – С. 68– 86. (Импакт-фактор 0,53)
27.    Бибило, П.Н. Применение конвейеризации для увеличения быстродействия логических схем П.Н. Бибило, Н.А. Кириенко // Управляющие системы и машины . 2013. – № 6. – С. 40 – 43.
28.    Городецкий, Д. Аппаратная реализация операции X (mod P) / Д. Городецкий // Известия ВУЗов. Физика. – Т. 56. – № 9/2. – С. 198–199.
29.    Логинова, И.П. Представление послойной топологии заказной СБИС в системе СLTT-2 / И.П. Логинова // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 290–291.
30.    Поттосин, Ю.В. Задачи на графах в теории проектирования цифровых устройств / Ю.В. Поттосин, С.А. Поттосина // Topics in Graph Theory. The Volume contains research articles, recollections, photos etc. dedicated to the 90th birthday of Professor A.A. Zykov. Ed. Regina Tyshkevich. – University of Illinois at Urbana-Champain: The personal Web page of Professor Alexandr V. Kostochka, 2013. – P. 249-255.
31.    Поттосин, Ю.В. Задачи на графах в теории проектирования цифровых устройств / Ю.В. Поттосин, С.А. Поттосина // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2013) : материалы III междунар. науч.-техн. конф. , Минск, 21-23 февраля 2013 г. – Минск : БГУИР, 2013. – C. 573–578.
32.    Поттосин, Ю.В. Исследование эффекта конвейеризации комбинационных схем / Ю.В. Поттосин, С.Н. Кардаш, Н.А. Кириенко // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 136–137.
33.    Поттосин, Ю.В. Конвейеризация комбинационных схем / Ю.В. Поттосин, С.Н. Кардаш // Прикладная дискретная математика. Приложение. – 2013. – № 6. – С. 121–123.
34.    Поттосин, Ю.В. Повышение быстродействия комбинационной схемы путем конвейеризации / Ю.В. Поттосин, С.Н. Кардаш // Информатика. – 2013. – № 1(37). – С. 120–128.
35.    Поттосина, С.А. О преподавании аппарата булевых функций в подготовке специалистов в области информатики и вычислительной техники / С.А. Поттосина, Ю.В. Поттосин // Теорiя та методика навчання математики, фiзики, iнформатики: збiрник наукових праць. Випуск ХI: в 3-х томах. – Кривий Рiг: Видавничий вiддiл КМI, 2013. – Т. 3: Теорiя та методика навчання iнформатики. – С. 130-138.
36.    Романов, В.И. Редактор топологии заказных цифровых СБИС EdTop-2 / В.И. Романов // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 314–315.
37.    Супрун, В.П. Матричный метод полиномиального разложения симметрических булевых функций / В.П. Супрун, Д.А. Городецкий // Автоматика и вычислительная техника. – 2013. – № 1. – С. 5–12.
38.    Тагави Афшорд, С.Х. Исследование свойств разложимости систем булевых функций / С.Х. Тагави Афшорд, Ю.В. Поттосин // Информатика. – 2013. – № 4(40). – С. 94-103.
39.    Черемисинов, Д.И. Использование перезаписи графов в задаче конвертации проектов, реализованных на ПЛИС, в заказные СБИС / Д.И. Черемисинов // Информационные системы и технологии (CSIST’13): материалы междунар. науч. конгресса, Беларусь, Минск, 4–7 ноября 2013 г. – Минск: БГУ, 2013. –  С. 560–565.
40.    Черемисинов, Д.И. Синтез комбинационных схем в базисе библиотечных элементов КМОП СБИС с учетом энергопотребления / Д.И. Черемисинов, Л.Д. Черемисинова // Информатика. – 2013. – № 4. – С. 91–102.
41.    Черемисинов, Д.И. Система поиска и замены текста с помощью регулярных выражений / Д.И. Черемисинов // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 252–253.
42.    Черемисинова, Л.Д. Задачи верификации логических описаний комбинационных устройств / Л.Д. Черемисинова, Д.Я. Новиков // Информационные технологии и системы 2013 (ИТС 2013) : материалы междунар. науч. конф., БГУИР, Минск, Беларусь, 23 октября 2013. – Минск : БГУИР, 2013. – С. 178–179.
43.    Черемисинова, Л.Д. Программные средства верификации описаний комбинационных устройств в процессе логического проектирования / Л.Д. Черемисинова, Д.Я. Новиков // Программная инженерия. – 2013. – № 7. – C. 8–15.
44.    Черемисинова, Л.Д. Синтез многоуровневых логических схем с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информационные технологии. – 2013. – № 3. – C. 8–14.
45.    Черемисинова, Л.Д. Учет энергопотребления в процессе синтеза КМОП-схем / Л.Д. Черемисинова // Информационные системы и технологии (CSIST’13): материалы междунар. науч. конгресса, Беларусь, Минск, 4–7 ноября 2013 г. – Минск: БГУ, 2013. – С. 331–336.

2012

 1.    Audzeyeu, M. Design Criteria of Frequency Selection for the Internal Oscillator of UHF RFID Tag / M. Audzeyeu, U. Stepanets, V. Zaitsau // MIXDES 2012: Proc. of the 19-th International Conference Mixed Design of Integrated Circuits and Systems, Warsaw, Poland 24-26 May, 2012. – Lodz, Poland : Technical University of Lodz: Department of Microelectronics, 2012. – P. 239–242.
2.    Bibilo, P. N. Estimating Energy Consumption in Logical CMOS Circuits Based on Their Switching Activity / P. N. Bibilo, N. A. Kirienko // Russian Microelectronics. – 2012. – Vol. 41. – No. 1. – P. 59–70.
3.    Cheremisinova, L. Verification of logical descriptions with functional indeterminacy / L. Cheremisinova // Pomiary. Automatyka. Kontrola. – 2012. – Vol. 58. – Nr. 6. – P. 519–523.
4.    Cheremisinova, L.D. Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions / L.D. Cheremisinova // Automation and Remote Control. – 2012. – Vol.73. – No 7. – Pp. 1216–1226. (Импакт-фактор 0,192)
5.    Cheremisinova, L.D. SAT based approaches to verification of logical descriptions with functional indeterminacy / L. D. Cheremisinova // Information Technologies and Systems 2012 (ITS 2012): Proc. of the Intern. Conf., BSUIR, Мinsk, 24th October 2012. – P. 182–183.
6.    Novikov, D.Ya. Investigation of Simulation-Based Verification Methods for Descriptions with Functional Indeterminacy / D.Ya. Novikov, L.D. Cheremisinova // Automatic Control and Computer Sciences. – 2012. –Vol. 46. – No. 5. – Pp. 191–199.
7.    Suprun, V.P. Polynomial Factoring of Elementary Symmetric Boolean Functions / V.P. Suprun, D.A. Gorodecky // Proceedings of the 10th International Workshop on Boolean Problems, Freiberg, Germany, Sept. 19-21, 2012. Edited by B. Steinbach. – Freiberg University of Mining and Technology. – P. 87-90.
8.    Zakrevskij, A. Integrated model of inductive–deductive inference based on finite predicates and implicative regularities / A. Zakrevskij // Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems. – Information Science Reference,  2012. – P. 1-12.
9.    Zakrevskij, A. Solving large systems of Boolean equations / A. Zakrevskij // Diagnostic Test Approaches to Machine Learning and Commonsense Reasoning Systems. – Information Science Reference, 2012. – P. 13-33.
10.    Zakrevskij, A.D. Combinatorial Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij; Ed. A.Keevallik. - Tallinn: TUT Press, 2012. - 121 p.
11.    Авдеев, Н.А. Выбор частоты внутреннего генератора UHF RFID метки / Н.А. Авдеев, В.С. Зайцев // Проблемы разработки перспективных микро- и наноэлектронных систем — 2012 (МЭС-2012): сборник трудов V Всероссийской научно-технической конф., Подмосковье, 8–12 октября 2012 г. — М.: ИППМ РАН, 2012. — С. 332–337.
12.    Авдеев, Н.А. Расчет частоты синхронизации блока управления для схем радиочастотной идентификации / Н.А. Авдеев, В.С. Зайцев // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) – Минск : ОИПИ НАН Беларуси, 2012. – С. 4–8.
13.    Авлочинская, Т.В. Экспериментальное исследование разделимости частичных булевых функций на основе решения логических уравнений / Т.В. Авлочинская, П.Н. Бибило // Управляющие системы и машины. – 2012. – № 3. – С. 15–23.
14.    Беспалый, А.А. Разработка программной системы аукциона / А.А. Беспалый, И.В. Ковальчук, К.П. Хоронено, Д.И. Черемисинов // Седьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2012): тезисы докладов (30-31 октября 2012 года, Минск). – Минск: ОИПИ НАН Беларуси, 2012. – С. 125-126.
15.    Бибило П.Н. Экспертные знания в САПР цифровых устройств //Информационные технологии. – 2012. - №6. – С. 11 – 17.
16.    Бибило, П.Н. VHDL-модели систем не полностью определенных булевых функций / П.Н. Бибило // Компьютерные науки и информационные технологии: материалы междунар. науч. конф., Саратов, 1-4 июля 2012 г. / Издат. центр «Наука». – Cаратов, 2012. – С. 37–41.
17.    Бибило, П.Н. Архитектура системы синтеза конвейерных логических схем / П.Н. Бибило, Н.А. Кириенко, В.И. Романов // Информационные технологии и системы 2012 (ИТС 2012): материалы международной научной конференции, БГУИР, Минск. – Минск : БГУИР, 2012. – С. 184 – 185.
18.    Бибило, П.Н. Конвертация проектов FPGA семейства Spartan 3 в заказные СБИС / П.Н. Бибило [и др.] // Современная электроника. - 2012. - № 2. - С. 58-61.
19.    Бибило, П.Н. Логическое проектирование КМОП СБИС с пониженным энергопотреблением / П.Н. Бибило, Л.Д. Черемисинова // Россия–Беларусь–Сколково: единое информ. пространство: тезисы Междунар.науч.конф. (Минск, 19 сент. 2012 г.) / Нац.акад.наук. Беларуси; НКО Фонд развития Центра разработки и коммерциализации новых технологий (Фонд “Сколково”). – Минск: Беларус.навука, 2012, 199–201.
20.    Бибило, П.Н. Основы языка VHDL: Учебное пособие. Изд. 5-е. / П.Н. Бибило. - М.: Книжный дом "ЛИБРОКОМ", 2012. –328 с.
21.    Бибило, П.Н. Оценка энергопотребления КМОП-схем на базе VHDL-моделирования / П.Н.Бибило, А.Л. Соловьев // Проблемы разработки перспективных микро- и наноэлектронных систем – 2012 (МЭС-2012): сборник трудов V Всероссийской науч.-техн. конф., Подмосковье, 8–12 октября 2012 г. – М.: ИППМ РАН, 2012. – С. 39–42.
22.    Бибило, П.Н. Оценка энергопотребления КМОП-схем на базе логического моделирования / П.Н. Бибило, А.Л. Соловьев // Информатика. - 2012. - № 1(33).- С.76-85.
23.    Бибило, П.Н. Оценка энергопотребления логических КМОП-схем по их переключательной активности / П.Н. Бибило, Н.А. Кириенко // Микроэлектроника. - 2012. - № 1 - C. 65-77.
24.    Бибило, П.Н. Оценка энергопотребления цифровых КМОП схем на основе логического моделирования их структурных описаний / П.Н. Бибило [и др.] // Вестник инженерной академии Армении. - 2012, Т.9. - № 3. - С. 600 – 610.
25.    Бибило, П.Н. Построение диаграмм двоичного выбора для систем частичных булевых функций / П.Н. Бибило // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 14-18.
26.    Бибило, П.Н. Синтез логических КМОП схем с пониженным энергопотреблением / П.Н. Бибило, Л.Д. Черемисинова, С.Н. Кардаш, Н.А. Кириенко, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов // Проблемы разработки перспективных микро- и наноэлектронных систем. – 2012. Сб.трудов / под общ. ред. акад. РАН А.Л. Стемпковского. – М.: ИППМ РАН, 2012, с. 73–78.
27.    Бибило, П.Н. Функциональные VHDL-модели элементов FPGA  семейства Spartan 3 для конвертации проектов цифровых систем в заказные СБИС / П.Н. Бибило, А.Л. Соловьев // Информатика. - 2012. - № 2(34).- С.69-78.
28.    Бибило, П.Н. Функциональные модели триггеров и их реализация в FPGA / П.Н. Бибило, А.Л. Соловьев // Современная электроника. - 2012. - № 1. - С. 58-61.
29.    Городецкий, Д.А. Полиномиальное разложение фундаментальных симметрических булевых функций / Д.А. Городецкий, В.П. Супрун // Международная научная конференция «XI Белорусская математическая конференция». Тезисы докладов. Часть 4. 4-9 ноября 2012 года. Минск, Беларусь. – С. 83-48.
30.    Городецкий, Д.А. Синтез вычислительных устройств с настройкой по модулю три / Д.А. Городецкий, В.П. Супрун // Электроника ИНФО. - Минск. – № 5. –  2012. – С. 113-115.
31.    Городецкий, Д.А. Синтез логических схем модулярных сумматоров / Д.А. Городецкий, В.П. Супрун // Новые информационные технологии в исследовании сложных структур: материалы Девятой Российской  конф. с междунар. участием, 5 - 8 июня 2012 г., пос. Катунь, Алтайский край / Национальный исследовательский Томский госуд. ун-т. - Томск: Изд-во НТЛ, 2012. - C. 58.
32.    Закревский, А.Д. Нахождение режима максимального энергопотребления логической схемы / А.Д. Закревский // Прикладная дискретная математика. - 2012. - № 2(16). - C. 100-104.
33.    Закревский, А.Д. Проектирование систем логического управления / А.Д. Закревский // Двадцать конкурсных лет (БРФФИ: 1991 – 2011гг.) /  Белорус. респ. фонд фундамент. исслед.;  под общей ред. В.А. Орловича. – Минск: Беларус. навука, 2012. – С. 301–313.
34.    Закревский, А.Д. Эффективная одно-процессорная реализация параллельных комбинаторных алгоритмов / А.Д. Закревский // Информационные технологии в промышленности (ITI*2012): тезисы докладов Седьмой международной научно-технической конференции (30-31 октября 2012 года, Минск). – Минск: ОИПИ  НАН Беларуси, 2012. - С. 133-134.
35.    Кардаш, С.Н. Определение временных задержек комбинационных частей при построении конвейерных логических схем / С.Н. Кардаш // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 40-43.
36.    Кардаш, С.Н. Оценка энергопотребления комбинационных схем при проектировании в базисе библиотечных элементов / С.Н. Кардаш, Н.А. Кириенко // Новые информационные технологии в исследовании сложных структур: материалы Девятой Российской  конф. с междунар. участием, 5 - 8 июня 2012 г., пос. Катунь, Алтайский край/ Национальный исследовательский Томский госуд. ун-т. - Томск: Изд-во НТЛ, 2012. - С.60.
37.    Логинова, И.П. Алгоритм оценки параметров каналов при многоуровневом подходе к проектированию топологии заказных цифровых СБИС / И.П. Логинова // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 64-68.
38.    Новиков, Д.Я. Импликативный метод анализа частичных булевых функций / Д.Я. Новиков,  Л.Д. Черемисинова // Информатика. - 2012. -  № 2. - С. 79-86.
39.    Новиков, Д.Я. Исследование методов верификации описаний с функциональной неопределенностью на основе моделирования /  Д.Я. Новиков, Л.Д. Черемисинова // Автоматика и вычислительная техника. – 2012. – № 5. – С. 13–25.
40.    Новиков, Д.Я. Сравнительное исследование методов верификации функционально неопределенных описаний на основе моделирования / Д.Я. Новиков, Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2012): тезисы докл. Седьмой Междун.н.-техн. конференции (30–31 окт. 2012, Минск). –Мн.: ОИПИ НАН Беларуси, 2012. – С. 81–82.
41.    Поттосин, Ю.В. Итеративный метод энергосберегающего кодирования состояний дискретного автомата / Ю.В. Поттосин // Информатика. – 2012. – № 4(36). – С. 93–99.
42.    Поттосин, Ю.В. Итеративный метод энергосберегающего кодирования состояний дискретного автомата / Ю.В. Поттосин // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 84-88.
43.    Поттосин, Ю.В. О преподавании теории графов при подготовке специалистов в области информатики и вычислительной техники / Ю.В. Поттосин, С.А. Поттосина // Теорiя та методика навчання математики, фiзики, iнформатики: збiрник наукових праць. Випуск Х: в 3-х томах. - Кривий Рiг: Видавничий вiддiл НМетАУ, 2012. - Т. 3: Теорiя та методика навчання iнформатики. - С. 132-139.
44.    Романов, В.И. Визуализация топологического эскиза при проектировании микросхем / В.И. Романов // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 89-93.
45.    Романов, В.И. Иерархический подход к топологическому проектированию микросхем / В.И.Романов // Информатика. – 2012. – № 4(36). – С.100-107.
46.    Романов, В.И. Расчет исходного коэффициента масштабирования визуализируемого эскиза при топологическом проектировании микросхем / В.И. Романов // Седьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2012): тезисы докладов (30 – 31 октября 2012 года, Минск). – Минск: ОИПИ НАН Беларуси, 2012. – С. 83-84.
47.    Соловьев, А.Л. Реализация триггеров FPGA семейства SPARTAN3 в составе заказных СБИС / А.Л. Соловьев // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 103-106.
48.    Супрун, В.П. Синтез устройств для возведения в степень / Д.А. Городецкий, В.П. Супрун // Тезисы седьмой международной конференции «Информационные технологии в промышленности», 30-31 октября 2012, Минск, Беларусь. – С. 205-206.
49.    Черемисинов, Д. Параллелизм в процессах и программах. Основы, концепции, методы / Д.Черемисинов. - LAP Lambert Academic Publishing, 2012. - 288 с.
50.    Черемисинов, Д.И. Генерация выполнимых спецификаций цифровых систем из структурных описаний FPGA-проектов / Д.И. Черемисинов // Информатика. – 2012. – № 3(35) – С. 111-123.
51.    Черемисинов, Д.И. Декомпиляция описания в формате XDL устройства на FPGA / Д.И. Черемисинов, // Седьмая Международная научно-техническая конференция «Информационные технологии в промышленности» (ITI*2012): тезисы докладов (30-31 октября 2012 года, Минск). – Минск: ОИПИ НАН Беларуси, 2012. – С. 87-88.
52.    Черемисинов, Д.И. Декомпиляция программирования элементов LUT в FPGA / Д.И. Черемисинов // Информационные технологии и системы 2012 (ИТС 2012): материалы международной научной конференции, БГУИР, Минск, Беларусь, 24 октября 2012 г. = Information Technologies and Systems 2012 (ITS 2012): Proceeding of The International Conference, BSUIR, Minsk, 24th October 2012 / редкол. : Л. Ю. Шилин [и др.]. – Минск: БГУИР, 2012. – С. 212-213.
53.    Черемисинов, Д.И. Защита конфигурационного файла FPGA / Д.И. Черемисинов // Танаевские чтения Доклады Пятой Международной научной конференции (28-29 марта 2012 г., Минск). – Минск: ОИПИ НАН Беларуси, 2012. – С. 113-117.
54.    Черемисинов, Д.И. Эффективные комбинаторно-логические вычисления на кластерном компьютере/ Д.И. Черемисинов // Новые информационные технологии в исследовании сложных структур: материалы Девятой Российской  конф. с междунар. участием, 5 - 8 июня 2012 г., пос. Катунь, Алтайский край/ Национальный исследовательский Томский госуд. ун-т. - Томск: Изд-во НТЛ, 2012. - С.17.
55.    Черемисинова, Л.Д. Алгоритмический базис решения задач верификации логических описаний  / Л.Д. Черемисинова, Д.Я. Новиков // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 128-132.
56.    Черемисинова, Л.Д. Анализ реализуемости множества свертки сведением к выполнимости КНФ / Л.Д. Черемисинова // Новые информационные технологии в исследовании сложных структур: материалы Девятой Российской  конф. с междунар. участием, 5 - 8 июня 2012 г., пос. Катунь, Алтайский край/ Национальный исследовательский Томский госуд. ун-т. - Томск: Изд-во НТЛ, 2012. - С.69.
57.    Черемисинова, Л.Д. Комплекс программ синтеза логических схем из вентилей с учетом энергопотребления / Л.Д. Черемисинова, Кириенко Н.А. // Информационные технологии в промышленности (ITI*2012): тезисы докл. Седьмой Междун.н.-техн. конференции (30–31 окт. 2012, Минск). – Мн.: ОИПИ НАН Беларуси, 2012. – С. 69–70.
58.    Черемисинова, Л.Д. Свертка регулярных матричных структур заказных СБИС методом моделирования отжига / Л.Д.Черемисинова, И.П. Логинова // Информатика. - 2012. - № 4(36).- С.108-119.
59.    Черемисинова, Л.Д. Свертка регулярных структур СБИС на основе моделирования отжига / Л.Д. Черемисинова, И.П. Логинова // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 123-127.
60.    Черемисинова, Л.Д. Синтез логических схем из вентилей с понижением энергопотреблением / Л.Д. Черемисинова, Н.А. Кириенко // Танаевские чтения. Доклады Пятой Международной научной конференции (28-29 марта 2012 г.) - Минск : ОИПИ НАН Беларуси, 2012. - С. 118-122.
61.    Черемисинова, Л.Д. Формальная верификация логических описаний с функциональной неопределенностью на основе логарифмического кодирования условий / Л.Д. Черемисинова // Автоматика и телемеханика, 2012, № 7, с. 139–153.
62.    Черемисинова, Л.Д. Энергосберегающий синтез комбинационных КМОП-схем / Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2012): тезисы докл. Седьмой Междун.н.-техн. конференции (30–31 окт. 2012, Минск). –Мн.: ОИПИ НАН Беларуси, 2012. – С. 21–22.
 
2011

1.    Bibilo P.N. Decomposition of Systems of Boolean Functions Determined by Binary Decision Diagrams / P.N. Bibilo, P.V. Leonchik // Journal of Computer and Systems Sciences International. - 2011. - V. 50. - №. 4. - P. 609-624.
2.    Bibilo, P.N. Estimation of Switching Activity in Combinational CMOS Circuits by Means of Their Logic Simulation / P.N. Bibilo,  N.A. Kirienko // Interactive Systems and Technologies: the Problems of Human-Computer Interaction. – Collection of scientific papers. – Ulyanovsk: UISTU, 2011. – p. 58.
3.    Bibilo, P.N. The Use of Binary Decision Diagrams for the Decomposition of Programmable Logic Arrays/ P.N. Bibilo, P.V. Leonczyk // Automatic Control and Computer Sciences. – 2011. V. 45. – №. 5. – P. 259–267.
4.    Cheremisinova, L. Optimizing programmable logic arrays using the simulated annealing algorithm/ L. Cheremisinova, I. Loginova  // Knowledge-Dialog-Solution: XVII-th Intern.Conf., Sept. 05-09, 2011, Abstracts, ITHEA: Kiev, 2011, p. 14.
5.    Cheremisinova, L. Optimizing programmable logic arrays using the simulated annealing algorithm / L. Cheremisinova, I. Loginova // Information Theories and Applications (IJ ITA). – 2011. – Vol. 18, № 4. – P. 358–372.
6.    Cheremisinova, L. Search algorithm for shortest synchronizing sequences using Boolean satisfiability / L. Cheremisinova, // Knowledge-Dialog-Solution: XVII-th Intern.Conf., Sept. 05-09, 2011, Abstracts, ITHEA: Kiev, 2011, p. 14.
7.    Cheremisinova, L. Search algorithm for shortest synchronizing sequences using Boolean satisfiability / L. Cheremisinova // Information Technologies & Knowledge (IJ ITK). – 2011. – Vol. 5, № 4. – P. 359–370.
8.    Cheremisinova, L. Searching for Optimal Synchronizing Sequences for Testing Logic Circuits / L. Cheremisinova // Information Technologies and Systems 2011 (ITS 2011): Proc. of the Intern. Conf., BSUIR, Мinsk, 26th October 2011. – Р. 264 – 265.
9.    Novikov, D.Ya. Analysis of the Implementability of Descriptions with Functional Indeterminacy Based on the Verification of Conjunctive Normal Form Satisfiability / D.Ya. Novikov, L.D. Cheremisinova // Automatic Control and Computer Sciences. – 2011. – Vol. 45, №. 4. – P. 206–217.
10.    Pottosin, Yu.V.  State assignment of a finite state machine for a low power implementing circuit / Yu.V. Pottosin, S.A. Pottosina // Digital Technologies 2011. 8th International Conference, November 10-11, 2011, Zilina, Slovak Republic. - Zilina: University of Zilina, 2011. - P. 113-116.
11.    Бибило, П.Н. Верификация логических схем, реализующих системы частичных булевых функций / П.Н. Бибило, Д.Я. Новиков // Информатика. – 2011. – № 3. – С. 68–76.
12.    Бибило, П.Н. Декомпозиция систем булевых функций, заданных диаграммами двоичного выбора / П.Н. Бибило, П.В. Леончик // Известия РАН. Теория и системы управления. –2011. – № 4. – С. 86–101.
13.    Бибило, П.Н. Использование диаграмм двоичного выбора при декомпозиции программируемых логических матриц / П.Н. Бибило, П.В. Леончик // Автоматика и вычислительная техника. – 2011. – № 5. – C. 26–36.
14.    Бибило, П.Н. Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний / П.Н. Бибило, В.И. Романов. – Минск: Беларус. навука, 2011 – 279 c.
15.    Бибило, П.Н. О реализации модулярных сумматоров на FPGA / П.Н. Бибило, Д.А. Городецкий // Информатика. – 2011. – № 1. – С. 62-67.
16.    Бибило, П.Н. Организация комплекса автоматизированного проектирования логических схем с пониженным энергопотреблением / П.Н.  Бибило, В.И. Романов, Л.Д. Черемисинова // Пятый Белорусский космический конгресс: материалы конгресса, Минск, 25–27 октября 2011 г : в 2 т. – Минск : ОИПИ НАН Беларуси,2011. –  Т.2 – С. 308–312.
17.    Бибило, П.Н. Оценка энергопотребления КМОП-схем на основе логического моделирования / П.Н. Бибило, Н.А. Кириенко // Информационные технологии и системы 2011 (ИТС 2011): материалы междунар. науч. конф., Минск, Беларусь, 26 октября 2011 г. – Минск : БГУИР, 2011. – C. 260–261.
18.    Бибило, П.Н. Оценка энергопотребления логических КМОП-схем по их переключательной активности / П.Н. Бибило, Н.А. Кириенко // Микроэлектроника. – 2011. – Т. 40, № 6. – С. 1–14.
19.    Бибило, П.Н. Продукционная система оптимизации иерархических описаний логических схем / П.Н. Бибило, В.И. Романов // Управляющие системы и машины. – 2011. – № 3. – С. 9–20.
20.    Бибило, П.Н. Система CLTT проектирования топологии функциональных блоков заказных цифровых СБИС / П.Н. Бибило [и др.] // Информационные технологии. – 2011. – №.1 – С.8–14.
21.    Городецкий, Д.А. Реализация модулярных сумматоров логическими схемами / Д.А. Городецкий, В.П. Супрун // Интеллектуальные системы и информационные технологии (IS&IT’11): труды Конгресса, п. Дивноморское (Россия, Краснодарский край, г. Геленждик), 2-9 сентября 2011 г. Науч. издание в 4-х томах –  Т.1 – М.: Физматлит, 2011. – С.167–172.
22.    Закревский, А.Д. Алгоритм матричного отображения графа на булев куб / А.Д. Закревский // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. – 2011. – № 3(16). – С. 94–99.
23.    Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. – 2011. – № 1 . – С. 68-78.
24.    Закревский, А.Д. Вычисления в многомерном булевом пространстве / А.Д. Закревский. – Минск: ОИПИ НАН Беларуси, 2011. – 106 с.
25.    Логинова, И.П. Об одном подходе к нахождению максимальной связной 0-1 подматрицы бинарной матрицы/ И.П. Логинова // Международный конгресс по информатике: информационные системы и технологии: материалы междунар. науч. конгресса, Республика Беларусь, Минск, 31 октября - 3 ноября 2011 г. : в 2 ч. Ч.2 / редкол. : C.В. Абламейко (отв. ред.) [и др.]. - Минск: БГУ, 2011. - С. 309-315.
26.    Новиков, Д.Я. Анализ реализуемости описаний с функциональной неопределенностью на основе проверки выполнимости конъюнктивной нормальной формы / Д.Я. Новиков, Л.Д. Черемисинова // Автоматика и вычислительная техника. – 2011. – № 4. – С. 36–48.
27.    Новиков, Д.Я. Программный комплекс для верификации комбинационных устройств в процессе логического проектирования / Д.Я. Новиков, Л.Д. Черемисинова // Пятый Белорусский космический конгресс: материалы конгресса, Минск, 25–27 октября 2011 г : в 2 т. – Минск : ОИПИ НАН Беларуси,2011. –  Т.2 – С. 289–293.
28.    Поттосин, Ю.В. Кодирование состояний дискретного автомата, ориентированное на уменьшение энергопотребления реализующей схемы / Ю.В. Поттосин // Прикладная дискретная математика. - 2011. - № 4(14). - С. 62-71.
29.    Поттосин, Ю.В. О выборе разбиения множества аргументов при декомпозиции булевых функций/ Ю.В. Поттосин, С.А. Поттосина //  Информационные технологии и информационная безопасность в науке, технике и образовании (ИНФОТЕХ - 2011): материалы междунар. науч.-практ. конф., Севастополь, Украина, 05–10 сентября 2011 г. / СевНТУ ; редкол.: О.В. Скатков [и др.]. – Севастополь, 2011. – С. 153–154.
30.    Поттосин, Ю.В. Основы теории проектирования цифровых устройств / Ю.В. Поттосин. - Saarbrucken: LAP LAMBERT Academic Publishing, 2011. - 336 c.
31.    Поттосин, Ю.В. Применение аппарата покрытий троичных матриц для поиска разбиения множества аргументов при декомпозиции булевых функций / Ю.В. Поттосин, Е.А. Шестаков // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. – 2011. – № 3(16). – С. 100–107.
32.    Поттосин, Ю.В. Энергосберегающее покрытие библиотечными элементами схемы, реализующей диаграмму двоичного выбора / Ю.В. Поттосин //  Информатика. – 2011. – № 2(30). – С. 83–91.
33.    Черемисинов, Д.И. Генерация тестов для схем с памятью, полученных перепроектированием / Д.И. Черемисинов // Информационные технологии и информационная безопасность в науке, технике и образовании (ИНФОТЕХ - 2011): материалы междунар. науч.-практ. конф., Севастополь, Украина, 05–10 сентября 2011 г. / СевНТУ ; редкол.: О.В. Скатков [и др.]. – Севастополь, 2011. –. C. 176–177.
34.    Черемисинов, Д.И. Минимизация двухуровневых КМОПсхем с учетом энергопотребления / Д.И. Черемисинов, Л.Д. Черемисинова / Информационные технологии. – 2011. – № 5. – С. 17–23.
35.    Черемисинов, Д.И. Обратное проектирование FPGA / Д.И. Черемисинов // Информационные технологии и системы 2011 (ИТС 2011): материалы междунар. науч. конф., Минск, Беларусь, 26 октября 2011 г. – Минск: БГУИР, 2011. – C. 262
36.    Черемисинов, Д.И. Проектирование и анализ параллелизма в процессах и программах / Д.И. Черемисинов.– Минск: Беларус. навука, 2011. – 300 с.
37.    Черемисинова, Л.Д. Минимизация площади заказных СБИС на этапе топологического проектирования цифровых схем / Л.Д. Черемисинова, Р.П. Базилевич, И.П. Логинова, И.Ф. Щербюк, Л.В. Базилевич // Управляющие системы и машины. – УСиМ, 2011. – № 4(240) . – С. 42–50.
38.    Черемисинова, Л.Д. Оптимизация скобочных представлений булевых функций с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информатика. – 2011. – № 3(31) . – С. 77–87.
39.    Черемисинова, Л.Д. Синтез логических схем с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информационные технологии и системы 2011 (ИТС 2011): материалы международной научной конференции, БГУИР, Минск, Беларусь, 26 октября 2011 г. – Минск: БГУИР, 2011. – C. 266 – 267.
40.    Черемисинова, Л.Д. Экспериментальное исследование метода построения многоуровневого представления булевой функции с учетом энергопотребления / Л.Д. Черемисинова, Н.А. Кириенко // Информационные технологии и информационная безопасность в науке, технике и образовании (ИНФОТЕХ - 2011): материалы междунар. науч.-практ. конф., Севастополь, Украина, 05–10 сентября 2011 г. / СевНТУ ; редкол.: О.В. Скатков [и др.]. – Севастополь, 2011. – С. 60–61.
41.    Черемисинова, Л.Д. Структура программного комплекса верификации логических описаний комбинационных устройств / Л.Д. Черемисинова, Д.Я. Новиков // Информационные технологии и информационная безопасность в науке, технике и образовании (ИНФОТЕХ - 2011): материалы междунар. науч.-практ. конф., Севастополь, Украина, 05–10 сентября 2011 г. / СевНТУ; редкол.: О.В. Скатков [и др.]. – Севастополь, 2011. – С. 178–179.
 
2010

1.    Bibilo, P.N. Experimental Investigation of the BDD Optimization Procedure Effect on Combinational CMOS Circuit Energy Consumption / P. N. Bibilo, P.V. Leonchik // Automatic control and Computer Sciences. – 2010. – V. 44. – №. 5. – P. 302–307.
2.    Cheremisinova, L. Multiple Folding of VLSI Regular Structure via Boolean Satisfi-ability / L. Cheremisinova // Information Models of Knowledge. – ITHEA: Kiev – Sofia, 2010. – P. 411–419.
3.    Cheremisinova, L. SAT based Implicative Method of Implementation Checking for Incompletely Specified Boolean Functions  / L. Cheremisinova, D. Novikov // Boolean problems: 9th Intern. Workshop, Freiberg (Sachsen), Germany, 16–17 September 2010 / Freiberg University of Mining and Technology; Ed. B.Steinbach – Freiberg, 2010. – P. 97–102.
4.    Cheremisinova, L. VLSI Regular Structure Folding via Boolean Satisfiability /L. Cheremisinova // Boolean problems: 9th Intern. Workshop, Freiberg (Sachsen), Germany, 16–17 September 2010 / Freiberg University of Mining and Technology; Ed. B.Steinbach – Freiberg, 2010. – Pp. 91–96.
5.    Cheremisinova, L.D. SAT based method of implementation checking for incompletely specified Boolean functions / L.D. Cheremisinova, D.Ya. Novikov // Computer-Aided Design of Discrete Devices (CAD DD’10): рroceedings of the Seventh Intern. Conf., Minsk, 16 –17 November 2010 /UIIP NASB. – Minsk, 2010. – Pp. 226–233.
6.    Cheremisinova, L.D. SAT-Based Formal Verification of Logical Descriptions with Functional Indeterminacy / L.D. Cheremisinova, D.Ya. Novikov // Automatic Control and Computer Sciences, Allerton Press, Inc., 2010, Vol. 44, No. 1, pp. 1–10.
7.    Cheremisinova, L.D. Simple constrained folding of programmable logic arrays of spe-cial type  / L.D. Cheremisinova, I. Loginova // Information Models of Knowledge. – ITHEA: Kiev – Sofia, 2010. – P. 420–428.
8.    Cheremisinova, L.D. Low-Power Optimization of Two Level CMOS Networks / L.D. Cheremisinova, D.I. Cheremisinov // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г. / Изд-во НТЛ. – Томск, 2010. – C.70.
9.    Pottosin, Yu.V. Choice of free arguments in decomposition of Boolean functions using the ternary matrix cover approach / Yu.V. Pottosin, E.A. Shestakov // The 6th International Conference on Neural Networks and Artificial Intelligence ICNNAI’2010 / Proceedings. Ed. V. Golovko. – Brest: BSTU, 2010. – P. 123-127.
10.    Pottosin, Yu.V. Series parallel decomposition of a system оf incompletely specified Boolean functions / Yu.V. Pottosin, E.A. Shestakov // Computer-Aided Design of Discrete Devices (CAD DD’10): рroceedings of the Seventh Intern. Conf., Minsk, 16 –17 November 2010 /UIIP NASB. – Minsk, 2010. – Pp. 201–208.
11.    Pottosin, Yu.V. State assignment of a finite state machine to decrease switching activity of memory elements in an implementing circuit / Yu.V. Pottosin // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 206–207.
12.    Zakrevskij, A. Foreword to the book by evangelos triantaphyllou data mining and knowledge discovery via logic-based methods / A. Zakrevskij. – Springer, 2010. – P. vii-x.
13.    Zakrevskij, A. Minimization of partial Boolean functions of many variables / A. Zakrevskij // Boolean problems: 9th Intern. Workshop, Freiberg (Sachsen), Germany, 16–17 September 2010 / Freiberg University of Mining and Technology; Ed. B.Steinbach – Freiberg, 2010. – Pp. 143–150.
14.    Zakrevskij, A.D. Algorithm of placing graphs in Boolean space / A.D. Zakrevskij // Computer-Aided Design of Discrete Devices (CAD DD’10): рroceedings of the Seventh Intern. Conf., Minsk, 16 –17 November 2010 / UIIP NASB. – Minsk, 2010. – Pp. 100–104.
15.    Авдеев, Н.А. Нахождение задержки программируемой логической матрицы / Н.А. Авдеев, П.Н. Бибило // Микроэлектроника. – 2010. – Т. 39. – № 4. – С. 310–320.
16.    Автоматизация проектирования дискретных систем: материалы Седьмой Междунар. конф., 16 – 17 ноября 2010 г.,  Минск : ОИПИ НАН Беларуси, 2010. –386 c. 
17.    Базилевич, Р. Алгоритм точкового сканування зi зсувом для розмiщення елементiв / Р. Базилевич, Л. Черемисинова, I. Щерб’юк // Вicник нацiонального унiверситету “Львiвська полiтехнiка”. Комп’ютернi науки та iнфомацiйнi технологii. – Львiв: Львiвська полiтехнiка. – 2010. – № 672. – С. 3–7.
18.    Бибило, П.Н. Автоматизация проектирования топологии функциональных блоков заказных цифровых СБИС/ П.Н. Бибило [и др.] // Проблемы разработки перспективных микро- наноэлектронных систем-2010 (МЭС-2010): сборник трудов IV Всероссийской науч.-техн. конф., Подмосковье, 04-08 октября 2010 г.; под. общ. ред. академика РАН А.Л. Стемпковского – М.: ИППМ РАН, 2010. – C. 184–189.
19.    Бибило, П.Н. Декомпозиция булевых функций, заданных диаграммой двоичного выбора / П.Н. Бибило, П.В. Леончик // Проблемы разработки перспективных микро- наноэлектронных систем-2010 (МЭС-2010): сборник трудов IV Всероссийской науч.-техн. конф., Подмосковье, 04-08 октября 2010 г.; под. общ. ред. академика РАН А.Л. Стемпковского – М.: ИППМ РАН, 2010. – C. 2–7.
20.    Бибило, П.Н. Задачи по проектированию логических схем с использованием языка VHDL: Учебное пособие / П.Н. Бибило. – М.: Издательство ЛКИ, 2010. – 328 с.
21.    Бибило, П.Н. Использование диаграмм двоичного выбора при декомпозиции программируемых логических матриц / П.Н. Бибило, П.В. Леончик // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 171–181.
22.    Бибило, П.Н. Нахождение теста для режима максимального энергопотребления комбинационной логической схемы / П.Н. Бибило // Управляющие системы и машины. – 2010. – № 5. – С. 39–45.
23.    Бибило, П.Н. Оценка энергопотребления комбинационных блоков заказных КМОП СБИС на основе логического моделирования / П.Н. Бибило  // Современная электроника. 2010, № 2 – C. 54 - 59.
24.    Бибило, П.Н. Оценка энергопотребления комбинационных логических КМОП схем по их переключательной активности / П.Н. Бибило, Н.А. Кириенко // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 305–312.
25.    Бибило, П.Н. Продукционная система оптимизации описаний логических схем комбинированными методами / П.Н. Бибило, В.И. Романов // Технические и программные средства систем управления, контроля и измерения (УКИ’10): труды Российской конф. с междунар. участием, Москва, 18 – 20 октября 2010 г. / Учреждение Российской академии наук Институт проблем управления им. В.А. Трапезникова РАН. – Москва, 2010. – С. 199–200.
26.    Бибило, П.Н. Технологически независимая оптимизация иерархически организованных описаний логических схем / П.Н. Бибило, В.И. Романов // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 11–15.
27.    Бибило, П.Н. Топологическое проектирование иерархически организованных сетей макроэлементов заказных СБИС / П.Н. Бибило //Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 13–15.
28.    Бибило, П.Н. Формализация задачи нахождения теста, обеспечивающего максимальное энергопотребление логической схемы / П.Н. Бибило // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 16–18.
29.    Бибило, П.Н. Экспериментальное исследование влияния процедуры BDD-оптимизации на энергопотребление комбинационных КМОП-схем / П.Н. Бибило, П.В. Леончик // Автоматика и вычислительная техника. – 2010. –  №5. – С. 72–78.
30.    Закревский, А.Д. Алгоритм матричного отображения графа на булев куб / А.Д. Закревский // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г. / Изд-во НТЛ. – Томск, 2010. – C. 53.
31.    Закревский, А.Д. ДНФ-реализация частичных булевых функций многих переменных / А.Д. Закревский, Н.Р Торопов, В.И. Романов // Информатика. – 2010. – № 1. –  C. 102-111.
32.    Закревский, А.Д. Минимизация перебора ориентированных пар /А.Д.Закревский // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 58–62.
33.    Закревский, А.Д. Минимизация частичных функций многих переменных – эффективные алгоритмы и программы / А.Д. Закревский, В.И. Романов // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 188–193.
34.    Кардаш, С.Н. Проектирование в библиотечном базисе оптимизированных по числу элементов логических схем / С.Н. Кардаш // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – C. 63–67.
35.    Кардаш, С.Н. Проектирование в библиотечном базисе оптимизированных по числу элементов логических схем / С.Н. Кардаш // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 218–225.
36.    Кардаш, С.Н. Проектирование в библиотечном базисе оптимизированных по числу транзисторов логических схем / С.Н. Кардаш // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – C. 197–199.
37.    Кириенко, Н.А. Алгоритм логического моделирования комбинационной схемы из библиотечных элементов / Н.А. Кириенко // Танаевские чтения: доклады Чет-вертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Бела-руси. – Минск, 2010. – С. 68–71.
38.    Кириенко, Н.А. Определение переключательной активности комбинационной схемы путем логического моделирования / Н.А. Кириенко // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 200–201.
39.    Логинова, И.П. Методы оптимизации программируемых матричных структур на основе алгоритма «моделирования отжига» / И.П. Логинова, Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 202–203.
40.    Логинова, И.П. Свертка регулярных структур СБИС с учетом особенностей их топологической реализации / И.П. Логинова, Л.Д. Черемисинова // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 95–99.
41.    Логинова, И.П. Экспериментальная система для отработки методов свертки, используемых для проектирования компактной топологии регулярных структур / И.П. Логинова, Л.Д. Черемисинова // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г./ Изд-во НТЛ. – Томск, 2010. – C. 58.
42.    Новиков, Д.Я. Верификация функциональных описаний с неопределенностью на основе парафазного представления булевых функций / Д.Я. Новиков, Л.Д. Черемисинова // Информатика. – 2010. – № 3(27). – C. 54–62.
43.    Новиков, Д.Я. Метод проверки реализуемости системы частично определенных булевых функций на основе логарифмического кодирования / Д.Я. Новиков // Молодежь в науке – 2009: прил. К журн. «Весцi Нацыянальнай акадэмii навук Беларусi». Ч. 5.  Сер. физико-математических наук. – 2010. – Ч. 5. – С. 31–37
44.    Новиков, Д.Я. Организация экспериментального комплекса для тестирования алгоритмов верификации / Д.Я. Новиков, Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 204–205
45.    Новиков, Д.Я. Проверка реализуемости функционально неопределенного описа-ния на основе кодирования условий / Д.Я. Новиков, Л.Д. Черемисинова // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – C. 135–140.
46.    Поттосин, Ю.В. Параллельно-последовательная декомпозиция системы частичных булевых функций / Ю.В. Поттосин, Е.А. Шестаков // Прикладная дискретная математика. – 2010. – № 4(10). – С. 55–63.
47.    Поттосин, Ю.В. Покрытие логической схемы заданными подсхемами, направленное на уменьшение энергопотребление в реализующем ее устройстве / Ю.В. Поттосин // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – C. 113–115
48.    Поттосин, Ю.В. Применение аппарата покрытий троичных матриц для поиска разбиения множества аргументов при декомпозиции булевых функций / Ю.В. Поттосин, Е.А. Шестаков // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г. / Изд-во НТЛ. – Томск, 2010. – C. 63–63.
49.    Поттосина, С.А. Адаптивно-интегрированный подход к обучению дисциплинам информатики и программирования в техническом университете / С.А. Поттосина, Н.А.Кириенко // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г. / Изд-во НТЛ. – Томск, 2010. – С. 107.
50.    Поттосина, С.А. К вопросу о преподавании дискретной математики при подготовке специалистов в области информатики и вычислительной техники / С.А. Поттосина, Ю.В. Поттосин // Теорія та методика навчання математики, фізики, інформатики: збірник наукових праць. Випуск VIII: в 3-х томах. – Кривий Ріг: Видавничий відділ НМетАУ, 2010. – Т. 3: Теорія та методика навчання інформатики. – С. 207-213.
51.    Романов, В.И. Реализация языка управления вычислениями в программном комплексе “LOGIC-2” / В.И. Романов, Д.А. Кочанов // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 193–194
52.    Романов, В.И. Язык вычислений системы LOGIC / В.И. Романов, Д.А. Кочанов // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 77–83.
53.    Супрун, В.П. Реализация основных арифметических операций в унитарных кодах / В.П. Супрун, Д.А. Городецкий // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 182–187.
54.    Черемисинов, Д.И. Моделирование локальной шины PCI c использованием языка ПРАЛУ / Д.И. Черемисинов // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 124–128.
55.    Черемисинов, Д.И. О задаче минимизации на логическом уровне энергопотребления схемы, реализующей булеву функцию / Д.И. Черемисинов // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г./ Изд-во НТЛ. – Томск, 2010. –C. 68.
56.    Черемисинов, Д.И. О суперлинейном ускорении вычислений на кластерном компьютере / Д.И. Черемисинов // Суперкомпьютерные системы и их применение (SSA’2010): доклады Третьей Междунар. конф., Минск, 25 – 27 мая 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – Т.1. – С. 165–170.
57.    Черемисинов, Д.И. Программа синтеза комбинационных схем методом покрытия логическими элементами / Д.И. Черемисинов // Информационные технологии в промышленности (ITI*2010): тезисы докладов Шестой Междунар. науч.-техн. конф., Минск, 27 – 29 октября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – C. 195–196.
58.    Черемисинов, Д.И. Сравнение двух программ минимизации булевых функций / Д.И. Черемисинов // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 194–200.
59.    Черемисинова Л.Д. Cинтез комбинационных КМОП схем с учетом энергосбережения / Л.Д. Черемисинова // Информатика. – 2010. – № 4. – C. 112 - 122.
60.    Черемисинова, Л.Д. Нахождение установочной последовательности для D-триггера  / Л.Д. Черемисинова // Новые информационные технологии в исследовании сложных структур: тезисы докладов 8-й Российской конф. с междунар. участием, Томск, 5 – 8 октября 2010 г./ Изд-во НТЛ. – Томск, 2010. –C. 67–68.
61.    Черемисинова, Л.Д. Оптимизация двухуровневых логических схем с учетом энергопотребления / Л.Д. Черемисинова, Д.И. Черемисинов // Проблемы разработки перспективных микро- наноэлектронных систем-2010 (МЭС-2010): сборник трудов IV Всероссийской науч.-техн. конф., Подмосковье, 04-08 октября 2010 г.; под. общ. ред. академика РАН А.Л. Стемпковского – М.: ИППМ РАН, 2010. – C 14–19.
62.    Черемисинова, Л.Д. Оптимизация площади заказных СБИС, реализующих цифровые схемы / Л.Д. Черемисинова [и др.] // Автоматизация проектирования дискретных систем (CAD DD’10): материалы Седьмой Междунар. конф., Минск, 16 – 17 ноября 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 295–304.
63.    Черемисинова, Л.Д. Оценка энергопотребления КМОП-схем на логическом уровне / Л.Д. Черемисинова // Информационные технологии. – 2010. – № 8. – C. 27–35.
64.    Черемисинова, Л.Д. Оценка энергопотребления при оптимизации двухуровневых КМОП схем / Л.Д. Черемисинова // Информатика. – 2010. – № 2(26). – C. 105–115.
65.    Черемисинова, Л.Д. Свертка регулярных структур на основе решения логических уравнений / Л.Д. Черемисинова // Танаевские чтения: доклады Четвертой Междунар. науч. конф., Минск, 29 – 30 марта 2010 г. / ОИПИ НАН Беларуси. – Минск, 2010. – С. 129–134.
66.    Черемисинова, Л.Д. Формальная верификация описаний с функциональной неопределенностью на основе проверки выполнимости конъюнктивной нормальной формы /  Л.Д. Черемисинова, Д.Я. Новиков // Автоматика и вычислительная техника. – 2010. – № 1. – C. 5–16.
 
2009

1.    Cheremisinov, D. The specification of agent interaction in multi-agent systems / D. Cheremisinov // Intelligent Information Management. – 2009. – Vol. 1 –№ 2. – P. 6572.
2.    Cheremisinova L. Graph-based theoretic method of area optimization of regular matrix structures / L. Cheremisinova  // Дискретная математика, алгебра и их приложения: тезисы докладов Междунар. научной конф., Минск, 19-22 октября 2009 г. – Минск: Институт математики НАН Беларуси, 2009. – С.133135.
3.    Cheremisinova, L. SAT-Based Group Method for Verification of Logical Descriptions with Functional Indeterminacy / L. Cheremisinova, D. Novikov //  East-West Design & Test Symposium (EWDTS’09): proceedings of 7th IEEE Symposium, Moscow, Russia, September 18 –  21, 2009 / Kharkov National University of Radio Electronics; published by SPD FL Stepanov V.V.  Kharkov, 2009.  P. 3134.
4.    Cheremisinova, L. SAT-based method of verification using logarithmic encoding / L. Cheremisinova, D. Novikov // Information Science & Computing. Knowledge-Dialog-Solution. – 2009.  № 15. – P. 107114.
5.    Zakrevskij, A.D. Synthesis and Implementation of a Logical Control Algorithm / A.D. Zakrevskij, V.V. Vantsevich // Driveline Systems of Ground Vehicles. Theory and Design / Alexandr F. Andreev, Viachaslau I. Kabanau, Vladimir V. Vantsevich. – CRC Press, Roca Baton, London, New York, 2009. – Pp.620–626.
6.    Zakrevskij, А. Logic Design of Control Devices  / А. Zakrevskij,  Yu. Pottosin, L. Cheremisinova; еd. A.Keevallik - Tallinn : TUT PRESS, 2009. - 304 p.
7.    Zakrevskij, А. Optimization in Boolean space  / А. Zakrevskij,  Yu. Pottosin, L. Cheremisinova; Ed. A.Keevallik - Tallinn : TUT PRESS, 2009.  241 p.
8.    Авдеев, Н.А. Нахождение задержки программируемой логической матрицы / Н.А. Авдеев, П.Н. Бибило // Компьютерные науки и информационные технологии: материалы междунар. науч. конф., Саратов, 14 июля 2009 г.  / Саратовский гос. ун-т; редкол.: В.А. Твердохлебов [и др.].  Саратов, 2009.  C. 610.
9.    Авдеев, Н.А. Оценка энергопотребления цифрового блока СБИС / 
Н.А. Авдеев, П.Н. Бибило // Современная электроника. – 2009.  № 9. – С.46-49.
10.    Бибило, П.Н Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логического управления  / П.Н. Бибило [и др.] // Управляющие системы и машины.  2009.   № 5. – С. 81–88.
11.    Бибило, П.Н. Алгоритм построения диаграммы двоичного выбора для системы полностью определенных булевых функций  / П.Н. Бибило, П.В. Леончик //  Управляющие системы и машины. – 2009. – № 6. – С. 42–49. 
12.    Бибило, П.Н. Декомпозиция булевых функций на основе решения логических уравнений  / П.Н. Бибило. – Минск: Беларус. навука, 2009. – 211 с.
13.    Бибило, П.Н. Декомпозиция булевых функций, заданных диаграммами двоичного выбора СБИС  / П.Н. Бибило, П.В. Леончик //  Дискретная математика, алгебра и их приложения: тезисы докладов Междунар. научной конф., Минск, 19-22 октября 2009 г. – Минск: Институт математики НАН Беларуси, 2009. – С.8283.
14.    Бибило, П.Н. Изучение высокоуровневых языков проектирования сверхбольших интегральных схем / П.Н. Бибило // Международная научно-техническая конференция, посвященная 45-летию МРТИ-БГУИР: тез. докл. Междунар. науч.-техн.конф., Минск, 19 марта 2009 / БГУИР. – Минск, 2009. – С. 231.
15.    Бибило, П.Н. К оценке энергопотребления комбинационных блоков цифровых СБИС / П.Н. Бибило, Н.А. Кириенко // Между-народная научно-техническая конференция, посвященная 45-летию МРТИ-БГУИР: тез. докл. междунар. науч.-техн.конф., Минск, 19 марта 2009 / БГУИР. – Минск, 2009. – С. 110 – 111.
16.    Бибило, П.Н. Оптимизационные преобразования логической схемы на основе блочного разбиения / П.Н. Бибило, Н.А. Кириенко // Информатика. – 2009.   № 3.  C. 515.
17.    Бибило, П.Н. Основы языка VHDL: Учебное пособие. Изд. 4-е.  / П.Н. Бибило. – М.: Книжный дом «ЛИБРОКОМ», 2009. – 328 с.
18.    Бибило, П.Н. Система CLTT  проектирования топологии сетей макроэлементов заказных цифровых СБИС  / П.Н. Бибило, И.П.Логинова, В.И. Романов, Л.Д. Черемисинова // Информационные системы и технологии» (IST’2009): материалы V Междунар. конф.-форума, Минск, 16-17 ноября 2009. В 2 ч. Ч.1. /редкол.: Н.И.Листопадов [и др.]. – Минск: А.Н.Вараксин, 2009. – С.6669.
19.    Закревский, А.Д. Векторный метод минимизации булевых функций многих переменных /А.Д. Закревский // Доклады НАН Беларуси. – 2009. – Т. 53.  №  2.  С. 4548.
20.    Закревский, А.Д. Канонические булевы формулы многоугольников / А.Д. Закревский // Информатика. – 2009.   № 2.  C. 93101.
21.    Закревский, А.Д. Кибернетика/ А.Д. Закревский, Ю.В. Поттосин //  Энциклопедия для школьников и студентов. В 12 т. Т1. Информационное общество. XXI век /под. общей ред. В.И. Стражева. Минск: Беларус. Энцыкл. iмя П. Броукi. – 2009. –  С. 319–321.
22.    Закревский, А.Д. Метод автоматической шифрации сообщений / А.Д. Закревский // Прикладная дискретная математика. – 2009.  № 2.  C. 127137.
23.    Закревский, А.Д. Минимизация булевых функций многих переменных в классе ДНФ – итеративный метод и программная реализация / А.Д. Закревский, Н.Р. Торопов // Прикладная дискретная математика. – 2009.  № 1.  C. 514.
24.    Закревский, А.Д. Решение больших систем логических уравнений / А.Д. Закревский –  Минск: ОИПИ НАН Беларуси, 2009. – 96 с.
25.    Кириенко, Н.А. Алгоритм определения числа переключений транзисторов в комбинационной логической схеме / Н.А. Кириенко // Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ – 2009»: материалы междунар. науч.-практ. конф., Севастополь, 712 сентября 2009 г. / Севастопольский науч.-техн. ун-т; ред. А.В. Скатков [и др.].   Севастополь, 2009. – С. 293–297.
26.    Ковалев, А.В. Маршрут проектирования с автоматической конвертацией проектов синхронных СБИС в асинхронные / А.В. Ковалев, Б.Г. Коноплев, П.Н. Бибило // Известия вузов. Электроника. – 2009  № 3(77). – С. 1825.
27.    Логинова, И.П. Учет особенностей топологической реализации макроэлементов заказных СБИС при оптимизации их площади / И.П. Логинова, Л.Д. Черемисинова // Информационные системы и технологии» (IST’2009): материалы V Междунар. конф.-форума, Минск, 16-17 ноября 2009. В 2 ч. Ч.2. /редкол.: Н.И.Листопадов [и др.]. – Минск: А.Н.Вараксин, 2009. – С.213216.
28.    Логинова, И.П. Минимизация на топологическом уровне площади регулярных схем с последовательным соединением МОП-транзисторов / И.П. Логинова, Л.Д. Черемисинова // Информатика. – 2009.   № 2.  C. 102113.
29.    Новиков, Д.Я. Импликативный метод анализа булевых функций на реализуемость/ Д.Я. Новиков, Л.Д. Черемисинова // Четвертый Белорусский космический конгресс: материалы конгресса. В 2 т. Минск, 27–29 октября 2009 г. – Минск: ОИПИ НАН Беларуси, 2009. – Т. 2. – С.6771.
30.    Поттосин, Ю.В. Метод минимизации системы булевых функций / Ю.В. Поттосин, Н.Р. Торопов, Е.А. Шестаков // Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ – 2009»: материалы междунар. науч.-практ. конф., Севастополь, 712 сентября 2009 г. / Севастопольский науч.-техн. ун-т; ред. А.В. Скатков [и др.].   Севастополь, 2009. – С . 307310.
31.    Поттосин, Ю.В. Метод минимизации системы не полностью определенных булевых функций / Ю.В. Поттосин, Н.Р. Торопов, Е.А. Шестаков // Информатика. – 2009.   № 3.  C. 1626.
32.    Поттосина,С.А. Максимальные полные двудольные подграфы в неориентированном графе / С.А.Поттосина, Ю.В. Поттосин // Дискретная математика, алгебра и их приложения: тезисы докладов Междунар. научной конф., Минск, 19-22 октября 2009 г. – Минск: Институт математики НАН Беларуси, 2009. – С.108110.
33.    Романов, В.И. Операционная система/ В.И. Романов //  Энциклопедия для школьников и студентов. В 12 т. Т1. Информационное общество. XXI век. /под. общей ред. В.И. Стражева.   Минск: Беларус. Энцыкл. iмя П. Броукi. – 2009. –  С –  С. 344.
34.    Романов, В.И. Программирование/ В.И. Романов  // Энциклопедия для школьников и студентов. В 12 т. Т1. Информационное общество. XXI век /под. общей ред. В.И. Стражева.   Минск: Беларус. Энцыкл. iмя П. Броукi. –  2009.   С. 356–357.
35.    Романов, В.И. Программное обеспечение/ В.И. Романов // Энциклопедия для школьников и студентов. В 12 т. Т1. Информационное общество. XXI век /под. общей ред. В.И. Стражева.   Минск: Беларус. Энцыкл. iмя П. Броукi. –  2009. –  С. 357.
36.    Романов, В.И. Программный комплекс для автоматизации исследований комбинаторных алгоритмов логического проектирования / В.И. Романов // Информационные системы и технологии» (IST’2009): материалы V Междунар. конф.-форума, Минск, 16-17 ноября 2009. В 2 ч. Ч.1. /редкол.: Н.И.Листопадов [и др.]. – Минск: А.Н.Вараксин, 2009. – С.9598.
37.    Торопов, Н.Р. Язык программирования ЛЯПАС / Н.Р. Торопов // Прикладная дискретная математика. – 2009.  № 2.  C. 9-25.
38.    Черемисинов, Д.И. Защита данных в программе комбинаторно-логических вычислений для кластерного компьютера / Д.И. Черемисинов // Информационные системы и технологии» (IST’2009): материалы V Междунар. конф.-форума, Минск, 16-17 ноября 2009. В 2 ч. Ч.2. /редкол.: Н.И.Листопадов [и др.]. – Минск: А.Н.Вараксин, 2009. – С.8182.
39.    Черемисинов, Д.И. Защита данных в распределенной программе для кластерного компьютера / Д.И. Черемисинов // Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ – 2009»: материалы междунар. науч.-практ. конф., Севастополь, 712 сентября 2009 г. / Севастопольский науч.-техн. ун-т; ред. А.В. Скатков [и др.].   Севастополь, 2009. – С. С.270-274.
40.    Черемисинов, Д.И. Оценка сложности булевых функций при минимизации энергопотребления / Д.И. Черемисинов //  Дискретная математика, алгебра и их приложения: тезисы докладов Междунар. научной конф., Минск, 19-22 октября 2009 г. – Минск: Институт математики НАН Беларуси, 2009. – С.117119.
41.    Черемисинова, Л.Д. Верификация многоблочных структур с функциональной неопределенностью / Л.Д. Черемисинова,  Д.Я. Новиков // Известия НАН Беларуси, серия физико-техн. наук. – 2009.  № 2.  C. 98–105.
42.    Черемисинова, Л.Д. Верификация функционально неопределенных логических описаний комбинационных схем / Л.Д. Черемисинова,  Д.Я. Новиков // Компьютерные науки и информационные технологии: материалы междунар. науч. конф., Саратов, 14 июля 2009 г.  / Саратовский гос. ун-т; редкол.: В.А. Твердохлебов [и др.].  Саратов, 2009.  C. 250–251.

2008

1.    Bibilo, P.N. Joint Decomposition of Boolean Functions on the Basis of a Solution of Logic Equations / P.N. Bibilo //Automatic Control and Computer Sciences. – 2008. – Vol. 42, № 5. – P. 268–275.
2.    Bibilo, P.N. New experiments on iterative synthesis of combinational circuits / P.N. Bibilo, V.I. Romanov // Russian Microelectronics - New York : Pleiades Publishing, 2008. - Vol. 37, № 3. - P. 201-212.
3.    Bibilo, P.N. Transformation of the RTL-description for the area minimization of circuits implemented in FPGA / P.N. Bibilo, W. Romanov // Wiadomosci Telekomunikacyine - Zielona Gora, 2008. - № 6. - P. 756-758.
4.    Cheremisinov, D. Formalization of interaction events in Multi-agent Systems / D. Cheremisinov, L. Cheremisinova // International Journal "Information Technologies & Knowledge" / Institute of Information Theories and Applications FOI ITHEA ; Ed. in chief K.Markov - Sofia : FOI ITHEA, 2008. - Vol. 2, № 2. - P. 159-165.
5.    Cheremisinov, D. The Approach to Programming Agent-Based Systems / D. Cheremisinov, L. Cheremisinova // Boolean Problems: 8th Intern. Workshop,  Freiberg (Sachsen), Germany, 18-19 September 2008 / Freiberg University of Mining and Technology ; Ed. B.Steinbach - Freiberg, 2008. - P. 75-82.
6.    Cheremisinov, D.I. Parallel Automata-based protocols for Multi-Agent systems / D.I. Cheremisinov, L.D. Cheremisinova // Новые информационные технологии в исследовании сложных структур: тезисы докладов Седьмой Российской конф. с междунар. участием, Томск, 2-5 сентября 2008 г. / Томский государственный университет - Томск : Изд-во НТЛ, 2008. - P. 77.
7.    Cheremisinov, D.I. Programming of Agents in the PRALU Language / D.I. Cheremisinov, L.D. Cheremisinova // Automatic Сontrol and Computer Sciences - M : Allerton Press, Inc., 2008. - Vol. 42, № 4. - P. 175-183.
8.    Cheremisinova, L. SAT-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy / L. Cheremisinova, D.Ya. Novikov // Boolean Problems: 8th Intern. Workshop,  Freiberg (Sachsen), Germany, 18-19 September 2008 / Freiberg University of Mining and Technology ; Ed. B.Steinbach - Freiberg, 2008. - P. 59-66.
9.    Cheremisinova, L. Simulation-based approach to verification of logical descriptions with functional indeterminacy / L. Cheremisinova, D. Novikov // International Journal "Information Theories & Applications" / Institute of Information Theories and Applications FOI ITHEA ; Editor in chief K. Markov - Sofia : FOI ITHEA, 2008. - Vol. 15, № 3. - P. 218-224.
10.    Cheremisinova, L. Using SAT for Combinational Implementation Checking / L. Cheremisinova, D. Novikov // Artificial Intelligence and Decision Making. International.Book Series "Information Science & Computing" / Institute of Information Theories and Applications FOI ITHEA ; Ed. A.Voloshin at all - Sofia : FOI ITHEA, 2008. - № 7. - P. 203-210.
11.    Cheremisinova, L.D. An approach to implementation checking / L.D. Cheremisinova, D.Ya. Novikov // Новые информационные технологии в исследовании сложных структур: тезисы докладов Седьмой Российской конф. с междунар. участием, Томск, 2-5 сентября 2008 г. / Томский государственный университет - Томск : Изд-во НТЛ, 2008. - C. 64.
12.    MICEL – программный комплекс высокоуровневого и логического синтеза параллельных алгоритмов логического управления / В.И. Романов [и др.] // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 202-203.
13.    Pottosina, S. Finding maximal complete bipartite subgraphs in a graph / S. Pottosina, Yu. Pottosin, B. Sedliak // APLIMAT 2008: proc. 7 th Intern. Conf.,  Bratislava, Slovak Republic, 5-8 February  2008 / Slovak  University of Technology in Bratislava - Bratislava, 2008. - P. 127-132.
14.    Shestakov, E.A. A Boolean Function for Polygon Representation / E.A. Shestakov, Yu. Pottosin // Neural Networks and Artificial Intelligence (ICNNAI-2008): Proc. of the Fifth Intern. Conf., 27-30 May, 2008, Minsk,  Belarus / BSUIR ; Ed. R.Sadykhov, A.Doudkin, L. Podenok - Minsk : Propilei, 2008. - P. 233-237.
15.    Zakrevskij, A. Combinatorial algorithms of discrete mathematics / A. Zakrevskij, Yu. Pottosin, L. Cheremisinova; Ed. A.Keevallik / Ed. A.Keevallik - Talllinn : TUT PRESS, 2008. - 193 p.
16.    Zakrevskij, A. Implementatuon of a heuristic method of decomposition of partial Boolean functions / A.Zakrevskij, N. Toropov // Algorithmic and Mathematical Foundations of the Artificial Intelligence - Sofia : FOI ITHEA, 2008. - № 1. - P. 59-67.
17.    Zakrevskij, A.D. Programming Calculations in Many-Dimensional Boolean Space / A.D. Zakrevskij // Radioelectronics & Informatics / Kharkov National University of Radioelectronics - Kharkov, 2008. - № 1. - C. 19-25.
18.    Zakrevskij, А. Minimization of Boolean Functions of Many Variables - Iterative Algorithm / А. Zakrevskij, N. Toropov // Boolean Problems: 8th Intern. Workshop,  Freiberg (Sachsen), Germany, 18-19 September 2008 / Freiberg University of Mining and Technology ; Ed. B.Steinbach - Freiberg, 2008. - P. 175-182.
19.    Zakrevskij, А. Recognizing decomposition of a partial Boolean function / А. Zakrevskij // International Journal "Information Theories & Applications" / Institute of Information Theories and Applications FOI ITHEA; Editor in chief K. Markov - Sofia : FOI ITHEA, 2008. - Vol. 15, № 3. - P. 259-266.
20.    Zakrevskij, А. Tasks of logical recognition in system LOGIC / А. Zakrevskij, V. Romanov // Neural Networks and Artificial Intelligence (ICNNAI-2008): Proc. of the Fifth Intern. Conf., 27-30 May, 2008, Minsk, Belarus / BSUIR ; Ed. R.Sadykhov, A.Doudkin, L. Podenok - Minsk : Propilei, 2008. - P. 260-263
21.    Zakrevskij, А.D. Finite predicates with application in pattern recognition problems / А.D.  Zakrevskij // Philosophical logic. Series: Studies in Logic, Grammar and Rhetoric; Ed. Andrew Schumann - Bialystok : University of Bialystok, 2008. - № 14. - P. 171-182.
22.    Авдеев, Н.А Моделирование регулярных схем  с последовательными соединениями транзисторов / Н.А  Авдеев // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 103-104.
23.    Авдеев, Н.А Нахождение задержек регулярных схем с последовательными соединениями транзисторов / Н.А  Авдеев, П.Н. Бибило // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 2. - C. 69-80.
24.    Авдеев, Н.А Проектирование регулярных схем с последовательными соединениями транзисторов / Н.А  Авдеев, П.Н. Бибило // Проблемы разработки перспективных микро- наноэлектронных систем-2008 (МЭС-2008): сборник трудов 3-й Всероссийской науч.-техни. конф., Подмосковье, 06-10 октября 2008 г.; Под. общ.  ред. А.Л. Стемпковского - Москва : ИППМ РАН, 2008. - C. 209-214.
25.    Авдеев, Н.А Увеличение быстродействия матричных схем с последовательными соединениями транзисторов / Н.А  Авдеев, П.Н. Бибило // Управляющие системы и машины / НАН Украины ; Гл. ред.  Гриценко В.И. - Киев : Ин-т кибернетики им. В.М. Глушкова, 2008. - № 3. - C. 60-65.
26.    Авдеев, Н.А. Проектирование управляющей логики заказных СБИС на программируемых  логических  матрицах / Н.А. Авдеев // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 187-190.
27.    Бибило, П.Н. Аркадий Дмитриевич Закревский (К 80-летию со дня рождения) / П.Н. Бибило, Н.Р. Торопов, Л.Д. Черемисинова // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 2. - C. 143-145.
28.    Бибило, П.Н. Декомпозиция булевых функций, заданных диаграммами двоичного выбора / П.Н. Бибило, П.В. Леончик // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 68-71.
29.    Бибило, П.Н. Новые эксперименты повторного синтеза комбинационных схем / П.Н. Бибило, В.И. Романов // Микроэлектроника - Москва, 2008. - Т. 37, № 3. - C. 228-240.
30.    Бибило, П.Н. О нереализуемых конструкциях языка VHDL для синтезаторов XST и Leonardo / П.Н. Бибило // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 111-112.
31.    Бибило, П.Н. О несинтезируемых конструкциях языка VHDL / П.Н. Бибило // Современная электроника; Гл. ред. А. Майстренко - Москва : СТА-Пресс, 2008. - № 5. - C. 68-71.
32.    Бибило, П.Н. О реализации устройств проверки смметричности булевых функций / П.Н. Бибило, А.М. Седун // Информатика; Гл. ред. С.. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 4. - C. 135-137.
33.    Бибило, П.Н. Реализация систем частичных булевых функций в системе MICEL / П.Н. Бибило, С.Н. Кардаш, В.И. Романов // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 41-44.
34.    Бибило, П.Н. Совместная декомпозиция булевых функций на основе решения логических уравнений / П.Н. Бибило // Автоматика и вычислительная техника / И-тут электр.и вычисл. техн. Латв. ун-та ; Гл. ред. Андрей Гобземис - Рига : Allerton Press, Inc., 2008. - № 5. - C. 56-67.
35.    Бибило, П.Н. Совместная декомпозиция системы булевых функций с минимальным числом промежуточных переменных / П.Н. Бибило // X Белорусская математическая конференция: тезисы докладов Междунар. науч. конф., Минск, 3-7 ноября 2008 г. / Институт математики НАН Беларуси, БГУ ; Ред. С.Г. Красовский, А.А. Лепин - Минск : Институт математики НАН Беларуси, 2008. - Т. 5. - C. 73.
36.    Бибило, П.Н. Совместное использование синтезаторов Leonardo и XST при проектировании цифровых схем на FPGA / П.Н. Бибило // Информационные технологии; Гл. ред. И.П. Норенков - Москва : Новые технологии, 2008. - № 3. - C. 7-12.
37.    Бибило, П.Н. Эффективные средства проектирования цифровых интегральных схем / П.Н. Бибило  // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 19-20.
38.    Закревский, А.Д. Итеративный метод минимизации булевых функций многих переменных / А.Д. Закревский // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 101-102.
39.    Закревский, А.Д. Программирование вычислений в многомерном булевом пространстве / А.Д. Закревский // Вестник Томского государственного университета. Управление, вычислительная техника и информатика / Федеральное агентство по образованию - Томск : Изд-во научно-технической литературы, 2008. - № 2. - C. 94-105.
40.    Закревский, А.Д. Реализация эвристического метода декомпозиции булевых функций / А.Д. Закревский, Н.Р.Торопов // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 2. - C. 35-41.
41.    Кириенко, Н.А. К оценке переключательной активности логической схемы / Н.А. Кириенко // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 56-60.
42.    Кириенко, Н.А. Особенности ценообразования в строительстве и автоматизация составления сметной документации / Н.А. Кириенко, А.В. Камлюк // Комп’ютернi технологii в будiвництвi: матерiали VI Мiжнародноi науково-технiчноi конференцii "КОМТЕХБУД 2008": Киiв-Севастополь, 9-12 вересня 2008 р. / Мiнiстерство регiонального розвитку та будiвництва Украiни - Киев, 2008. - C. 40-41.
43.    Кириенко, Н.А. Подсистема обработки структурно-функциональных описаний схем в системе автоматизированного проектирования / Н.А. Кириенко // Проблемы разработки перспективных микро- наноэлектронных систем-2008 (МЭС-2008): сборник трудов 3-й Всероссийской науч.-техни. конф., Подмосковье, 06-10 октября 2008 г.; Под. общ.  ред. А.Л. Стемпковского - Москва : ИППМ РАН, 2008. - C. 215-220.
44.    Кириенко, Н.А. Процедура объединения блоков структурного описания логической схемы / Н.А. Кириенко // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 196-197.
45.    Кочанов, Д.А. Поиск установочной последовательности при тестировании логических схем с D-триггерами / Д.А. Кочанов // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 60-64.
46.    Кочанов, Д.А. Построение последовательностей для тестирования D-триггеров синхронных    последовательностных схем / Д.А. Кочанов // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 4. - C. 50-58.
47.    Леончик, П.В. Минимизация систем булевых функций в классе ДНФ с дублированием / П.В. Леончик // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 218-219.
48.    Логинова, И.П. Планирование программируемых логических матриц с компактными матрицами, полученными в результате свертки / И.П. Логинова, И.С. Скоковская // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 133-136.
49.    Логинова, И.П. Сетевые информационные технологии. Веб-дизайн: лабораторный практикум / И.П. Логинова, Ф.Н. Козелько : БГУИР, 2008. - 76 c.
50.    Поттосин, Ю.В. Использование булевых функций для представления многоугольников / Ю.В. Поттосин, Е.А. Шестаков // Вестник Томского государственного университета. Управление, вычислительная техника и информатика - Томск, 2008. - № 2. - C. 106-115.
51.    Поттосин, Ю.В. Использование булевых функций для представления многоугольников / Ю.В. Поттосин, Е.А. Шестаков // Новые информационные технологии в исследовании сложных структур: тезисы докладов Седьмой Российской конф. с междунар. участием, Томск, 2-5 сентября 2008 г. / Томский государственный университет - Томск : Изд-во НТЛ, 2008. - C. 60.
52.    Поттосин, Ю.В. Метод минимизации системы полностью определенных булевых функций / Ю.В. Поттосин, Н.Р. Торопов, Е.А. Шестаков // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 2. - C. 102-110.
53.    Поттосина, С.А. Подготовка специалистов инженерно-экономического профиля технических университетов в области информационных технологий и математического моделирования / С.А. Поттосина, Н.А .Кириенко // Новые информационные технологии в исследовании сложных структур: тезисы докладов Седьмой Российской конф. с междунар. участием, Томск, 2-5 сентября 2008 г. / Томский государственный университет - Томск : Изд-во НТЛ, 2008. - C. 25.
54.    Романов, В.И. Задачи раздела «булевы функции» в вычислительной системе LOGIC / В.И. Романов, Н.Р. Торопов // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах /    Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 64-67.
55.    Романов, В.И. Программный комплекс для решения логико-комбинаторных задач “LOGIC” / В.И. Романов // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 198-199.
56.    Романов, В.И. Размещение элементов на кристалле / В.И. Романов, Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 200-201.
57.    Торопов, Н.Р. Решение системы дизъюнктивных уравнений / Н.Р. Торопов // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 3. - C. 81-89.
58.    Черемисинов, Д.И. Архитектура распределенной программы комбинаторно-логических вычислений для кластерного компьютера / Д.И. Черемисинов // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 204-205.
59.    Черемисинов, Д.И. Подход к программированию агентов в мультиагентных системах / Д.И. Черемисинов, Л.Д. Черемисинова // Advanced Studies in Software and Knowledge Engineering. International Book Series "Information Science & Computing" / Institute of Information Theories and Applications FOI ITHEA ; Ed. K. Markov, K.Ivanova, I.Mitov - Sofia : FOI ITHEA, 2008. - № 4. - C. 141-147.
60.    Черемисинов, Д.И. Программирование агентов на языке ПРАЛУ / Д.И. Черемисинов, Л.Д. Черемисинова // Автоматика и вычислительная техника / И-тут электр.и вычисл. техн. Латв. ун-та ; Гл. ред. Андрей Гобземис - Рига : Allerton Press, Inc., 2008. - № 4. - C. 4-26.
61.    Черемисинов, Д.И. Разработка параллельных программ для решения логико-комбинаторных задач / Д.И. Черемисинов // Информационные технологии - Москва, 2008. - № 5. - C. 42-47.
62.    Черемисинов, Д.И. Эффективность комбинаторно-логических вычислений на кластерном компьютере / Д.И. Черемисинов // Суперкомпьютерные системы и их применение (SSA`2008): доклады Второй Междунар. конф., Минск, 2008 - Минск : ОИПИ НАН Беларуси, 2008. - C. 301-305.
63.    Черемисинова, Л.Д. Автоматное задание протоколов взаимодействия в мультиагентных системах / Л.Д. Черемисинова, Д.И. Черемисинов // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 72-75.
64.    Черемисинова, Л.Д. Алгоритмические средства проверки реализуемости систем частично определенных булевых функций / Л.Д. Черемисинова, Д.Я. Новиков // Информационные технологии в промышленности (ITI*2008): тезисы докладов Пятой междунар. науч.-техн. конф., Минск, 22-24 октября 2008 г. / НАН Беларуси ; Науч. ред. Е.В. Владимиров - Минск : ОИПИ НАН Беларуси, 2008. - C. 206-207.
65.    Черемисинова, Л.Д. Проверка реализуемости логических описаний с функциональной неопределенностью / Л.Д. Черемисинова, Д.Я. Новиков // Проблемы проектирования и производства радиоэлектронных средств: cб. материалов V Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г.: в 3-х томах / Министерство образования Республики Беларусь ; Под общ. ред. С.В. Абламейко, М.Л. Хейфица - Новополоцк : ПГУ, 2008. - Т. 3. - C. 76-79.
66.    Черемисинова, Л.Д. Проверка схемной реализации частичных булевых функций / Л.Д. Черемисинова, Д.Я. Новиков // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. – 2008. – № 4.  C. 102–111.
67.    Черемисинова, Л.Д. Топологическая оптимизация регулярных МОП-структур методом двудольной  свертки / Л.Д. Черемисинова // Информатика; Гл. ред. С.В. Абламейко - Минск : ОИПИ НАН Беларуси, 2008. - № 2. - C. 92-101.
68.    Член-корреспондент Аркадий Дмитриевич Закревский (к 80-летию со дня рождения) / Н.Р. Торопов [и др.] // Биобиблиография  ученых Беларуси / НАН Беларуси ; Науч. ред. П.Н. Бибило - Минск : ОИПИ НАН Беларуси, 2008. - 92 c
 
2007

1.    Bibilo, P.N. Application of Productions for Automatic Control of Logical Design of Discrete Devices / P.N. Bibilo, V.I. Romanov // Journal of Computer and Systems Sciences International. – 2007. – Vol. 46. – No. 1. – P. 55–67.
2.    Cheremisinov, D. The specification of agent interaction in multi-agent systems / D. Cheremisinov, L. Cheremisinova // Information Research & Applications (i.Tech-2007): proceedings of the Fifth Intern. Conf., Varna, Bulgaria, June 26–30, 2007: in 2 vol. / Sofia, Institute of Information Theories and Applications FOI ITHEA; Ed: Kr. Markov [at al.] –. Sofia, 2007. – Vol. 2.  P. 428–434.
3.    Cheremisinov, D.I. Synthesis of a program that realize the finite state machine / D.I. Cheremisinov // Automatic Control and Computer Sciences. – 2007. – Vol.41. – Issue 4.  – Р. 215–223.
4.    Cheremisinov, D.I. The technology of programming for a cluster computer by the remote terminal with OS Windows / D.I. Cheremisinov, L. Cheremisinova // Information Theories & Applications. – 2007. –Vol. 14. – No. 4. – P. 381–388.
5.    Cheremisinov, D.I. Program generation fr om finite state machine specifications /  D.I. Cheremisinov // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 1. – С.38-45.
6.    Cheremisinova, L.D. Verification of multi-block structures with
functional indeterminacy / L.D. Cheremisinova, D.Ya. Novikov // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 95–102.
7.    Cheremisinova, L.D. Bipartite folding of regular matrix Mos-structures  / L.D. Cheremisinova // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 1. – С. 197-205.
8.    Novikov D.Ya. An efficient method for finding prime implicates / D.Ya. Novikov // // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 103–107.
9.    Pottosin, Yu.V. Method for minimizing a system of completely specified Boolean functions / Yu.V. Pottosin, E.A. Shestakov, N.R. Toropov // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 87-94.
10.    Pottosina, Svetlana. Minimization of interconnections in multiprocessor system of logical control / Svetlana Pottosina, Yuri Pottosin /  APLIMAT 2007: proceedings 6th Intern. Conference, Bratislava, Slovak Republic, February 6-9, 2007: in 2 parts / Slovak University of Technology in Bratislava; ed.: Monika Kovacova. – Bratislava, 2007. – Part 1. –  P119–123.
11.    Vantsevich, V.V. Heavy-duty truck: inverse dynamics and performance control / V.V. Vantsevich, A.D. Zakrevskij, S.V. Kharytonchyk // ASME International Mechanical Engineering Congress and Exposition [Electron resource]: proceedings of IMECE2007, ASME (American Society of Mechanical Engineers), Seattle, Washington, USA, November 11-15, 2007. - Electron information (483 Кб). – ASME, 2007. – 1 CD-ROM.
12.    Zaitseva E. Structure function in investigation of logical network reliability / E. Zaitseva, Yu.V. Pottosin, V. Levashenko // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 65–72.
13.    Zakrevskij, A.D. Parallel operations over neighbors in Boolean space / A.D. Zakrevskij // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С.6–13.
14.    Zakrevskij, Arkadij. Decomposition of Boolean functions – recognizing a good solution by traces/ Arkadij Zakrevskij // Information Theories & Applications. – 2007. –Vol. 14. – No. 4. – P. 359–365.
15.    Zakrevskij, Arkadij. Finding an appropriate partition on the set of arguments of a partial Boolean function to be decomposed / Arkadij Zakrevskij // Knowledge-Dialogue-Solution (KDS–2007): proceedings of the XIII-th Intern. Conference, Varna, Bulgaria, June 18-24, 2007: in 2 vol. / Sofia, Institute of Information Theories and Applications FOI ITHEA; Ed: V.P. Gladun [at al.]  . Sofia, 2007. – Vol. 1.  P. 71-78.
16.    Абламейко, С.В. Роль Фонда фундаментальных исследований в развитии информатики в ОИПИ НАН Беларуси / С.В. Абламейко, П.Н. Бибило, Ю.Н. Сотсков // Первопроходец белорусского конкурсного финансирования науки (БРФФИ: 1991-2006) / Белорус. респ. фонд фундаментальных исследований; под общей ред. В.А. Орловича. – Минск: Белорус. наука, 2007. – C. 361–374.
17.    Авдеев, Н.А. Нахождение задержек регулярных структур с последовательными соединениями транзисторов/ Н.А. Авдеев, П.Н. Бибило // Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 6-10.
18.    Авдеев, Н.А. Схемотехническое моделирование регулярных схем с последовательными соединениями транзисторов/ Н.А. Авдеев, П.Н. Бибило // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 276–283.
19.    Авдеев, Н.А. Эффективное использование пакетов языка VHDL при проектировании цифровых систем / Н.А. Авдеев, П.Н. Бибило // Современная электроника. – 2007. – № 6. – C. 56–58. 
20.    Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск,.14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. – Минск, 2007. – Т.1. – 244 с.
21.    Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск,.14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. – Минск, 2007. – Т.2. – 302 с.
22.    Бибило, П.Н. Использование продукций для автоматизированного управления логическим проектированием дискретных устройств / П.Н. Бибило, В.И. Романов // Известия РАН. Теория и системы управления. – 2007. – № 1. – С. 55–67.
23.    Бибило, П.Н. Использование процедуры разбиения для оптимизации представления логической схемы / П.Н. Бибило, Н.А. Кириенко // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 116–123.
24.    Бибило, П.Н. Исследование эффективности логической минимизации в процессе синтеза комбинационных схем / П.Н. Бибило, П.В. Леончик // Информатика. – 2007. – № 1 (13). – С. 22–29.
25.    Бибило, П.Н. Оптимизация логических схем заказных СБИС в синтезаторе Leonardo / П.Н. Бибило // Современная электроника. –  2007. – № 5. – С. 50–52.
26.    Бибило, П.Н. Оптимизация многоуровневых представлений систем булевых функций на основе диаграмм двоичного выбора / П.Н. Бибило, П.В. Леончик // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 162–169.
27.    Бибило, П.Н. Основы языка VHDL. Изд. 3-е, доп. / П.Н. Бибило. – М.: ЛКИ, 2007. – 328 с.
28.    Зайцева, Е.Н. Оценка вероятности отказа невосстанавливаемой системы с использованием методов алгебры логики / Е.Н. Зайцева, Ю.В. Поттосин//// Информатика. – 2007. – № 2 (14). – С. 77-85.
29.    Закревский А.Д. Последовательная декомпозиция булевой функции – поиск подходящего разбиения на множестве аргументов / А.Д. Закревский //  Доклады НАН Беларуси. – 2007. – № 1. – Т. 51  – C. 9-11.
30.    Закревский, А.Д. Декомпозиция частичных булевых функций – поиск подходящего разбиения/ А.Д. Закревский // Информатика. – 2007. – № 2. – C. 45-52.
31.    Закревский, А.Д. Декомпозиция частичных булевых функций – проверка на разделимость по заданному разбиению / А.Д. Закревский // Информатика. – 2007. – № 1 (13). – С. 16-21.
32.    Закревский, А.Д. Декомпозиция частичных булевых функций / А.Д. Закревский // Вестник ТГУ. Приложение. – 2007. – № 23. – С.26–31.
33.    Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. – М.: Физматлит, 2007. – 589 c.
34.    Закревский, А.Д. О разрешимости булевых уравнений / А.Д. Закревский //  Доклады НАН Беларуси. – 2007. – № 5. – Т. 51  – C. 44-46.
35.    Закревский, А.Д. Распознавание монотонных булевых функций / А.Д. Закревский  // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – C. 170–177.
36.    Закревский, А.Д. Эффект тасовки в алгоритмах минимизации частичных булевых функций / А.Д. Закревский, Н.Р. Торопов // Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 70-74.
37.    Кардаш, С.Н. Матричный способ декомпозиции системы полностью определенных булевых функций / С.Н. Кардаш // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 124–129.
38.    Леончик, П.В. Алгоритм покрытия булевой матрицы / П.В. Леончик / Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. /  ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 99-103
39.    Леончик, П.В. Алгоритм покрытия разреженных булевых матриц / П.В Леончик // Информатика. – 2007. – № 2. – С. 53-61.
40.    Логинова, И.П. Модель, отображающая технологическую реализацию свертки в регулярных МОП-структурах / И.П. Логинова // Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 109-113.
41.    Логинова, И.П. Топологическая оптимизация регулярных структур с последовательным соединением МОП-транзисторов / И.П. Логинова, Л.Д. Черемисинова  // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 1. – С.189-196.
42.    Новиков, Д.Я. Верификация частично определенных структурных описаний/ Д.Я. Новиков // Современные средства связи: материалы XII Междунар. науч.-техн. конф., Минск, 24-28 сент. 2007 г./Высший государственный колледж связи; редкол.: М.А. Баркун [ и др.] – Минск, 2007. – С.65.
43.    Новиков, Д.Я. Сведение задачи проверки реализуемости логических описаний к булевым вычислениям / Д.Я. Новиков, Л.Д. Черемисинова // Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 131–135.
44.    Основы информатики и программирования: лаб. практикум для студ. спец. I-40 01 02-02 «Информационные системы и технологии в экономике» всех форм обуч.: учебное издание: в 2 ч. / Е.Н. Живицкая [и др.]; БГУИР. – Минск, 2007. – Ч.2. – 108 c.
45.    Поттосин, Ю.В Кодирование состояний дискретного автомата, ориентированного на уменьшение интенсивности переключений элементов памяти в реализующей схеме / Ю.В. Поттосин // Информационные технологии и информационная безопасность в науке, технике и образовании «ИНФОТЕХ-2007»: материалы междунар. науч.-практ. конф., Севастополь, 10-16 сентября 2007 г.: в 2 ч.. / Севастоп. нац. техн. ун-т; редкол.: А.В.Скатков (науч. ред.) [и др.]. – Севастополь, 2007. –  Ч. 2. – С. 73-75.
46.    Романов, В.И. Проектирование алгоритмов управления в системе LOCON-2 / В.И. Романов // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 1. – С. 84–91.
47.    Торопов, Н.Р. Параллельная реализация последовательных алгоритмов/ Н.Р. Торопов // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 2. – С. 178-185.
48.    Черемисинов, Д.И. Автоматический синтез изображений функциональных схем электронных устройств / Д.И. Черемисинов // Вестник компьютерных и информационных технологий. –2007.  – № 2. – С. 14–21.
49.    Черемисинов, Д.И. Программная среда для распределенных вычислений, использующих кластерный компьютер / Д.И. Черемисинов // Автоматизация проектирования дискретных систем (Computer-Aided Design of Discrete Devices – CAD DD’07): материалы Шестой Междунар. конф., Минск, 14-15 ноября 2007 г.: в 2 т. / ОИПИ НАН Беларуси. –  Минск, 2007. – Т. 1. – С. 108–115.
50.    Черемисинов, Д.И. Синтез программ, реализующих конечные автоматы / Д.И. Черемисинов // Автоматика и вычислительная техника. – 2007. – № 4. – С. 5162.
51.    Черемисинов, Д.И. О задании взаимодействия агентов в мультиагентных системах  / Д.И. Черемисинов // Танаевские чтения: доклады Третьей Междунар. научн. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси; науч.ред. В.С. Гордон. – Минск, 2007  – С. 154-158.
52.    Черемисинова, Л.Д. / Л.Д. Черемисинова, Д.Я. Новиков // Верификация логических описаний с функциональной неопределенностью / Knowledge-Dialogue-Solution (KDS–2007): proceedings of the XIII-th Intern. Conference, Varna, Bulgaria, June 18-24, 2007: in 2 vol. / Sofia, Institute of Information Theories and Applications FOI ITHEA; Ed: V.P. Gladun [at al.]  . Sofia, 2007. – Vol. 1.  P. 78 – 84.
53.    Черемисинова, Л.Д. Нахождение отношения параллельности на множестве цепочек алгоритма управления / Л.Д. Черемисинова // Информатика. – 2007. – № 1 (13). – С. 5–15.

2006

1.    Bibilo, P.N. PRALU-to-VHDL Conversion of Parallel-Algorithm Descriptions for Control Units / P.N. Bibilo // Russian Microelectronics : Pleiades Publishing, 2006. - Vol. 35, № 4. - P. 262-275.
2.    Bibilo, P.N. The influence of the logic minimization on the complexity of circuits realized as a part of Gate Arrays and custom VLSI / P.N. Bibilo, P.V. Liavonchyk // 3 rd IFAC Workshop " Discrete Event System Design (DESDes’06)"; 26-28 September  2006, Rydzyna, Poland: Proc. / IFAC ; Ed. M. Adamski - Zielona Gora : University of Zielona Gora Press, 2006. - P. 185-190.
3.    Cheremisinov, D. Developing Agent Interaction Protocols with PRALU / D. Cheremisinov, L.D. Cheremisinova // Information Theories & Applications; Ed. Krassimir Markov - Sofia : FOI-Commerce, 2006.- Vol. 13, № 3. - P. 239-246.
4.    Cheremisinov, D. Some aspects of logical control systems design using PRALU / D. Cheremisinov, L.D. Cheremisinova // 3 rd IFAC Workshop " Discrete Event System Design (DESDes’06)"; 26-28 September  2006, Rydzyna, Poland: Proc. / University of Zielona Gora ; Ed. M.Adamski - Zielona Gora : University of Zielona Gora Press, 2006. - P. 43-48.
5.    Cheremisinova, L.D. Sythesis of multy-level Boolean networks fitting for technology mapping into CMOS cell library / L.D. Cheremisinova // 4 международная научно-техническая конференция "Проблемы проектирования и производства радиоэлектронных средств"; 25-26 мая 2006, Новополоцк, Беларусь: Сб. мат. / Министерство образования Республики Беларусь - Новополоцк : УО "ПГУ", 2006. - Vol. 2. - P. 105-109.
6.    Kochanov, D.A. Implementation of analytic functions of real argument in VLSI / D.A. Kochanov // 3 rd IFAC Workshop " Discrete Event System Design (DESDes’06)"; 26-28 September  2006, Rydzyna, Poland: Proc. / IFAC ; Ed. M. Adamski - Zielona Gora : University of Zielona Gora Press, 2006. - P. 319-321.
7.    Pottosin, Yu.V. Decomposition of a Boolean function using the generalized compact table / Yu.V. Pottosin, E.A. Shestakov // 7th Intern. Workshop "Boolean Problems"; 21-22 September 2006; Freiberg (Sachsen), Germany: Proc. / Freiberg University of Mining and Technology ; Ed. B.Steinbach - Freiberg : Freiberg University, 2006. - P. 145-150.
8.    Pottosin, Yu.V. Generalized compact table in decomposition of a Boolean function / Yu.V. Pottosin, E.A. Shestakov // 3 rd IFAC Workshop " Discrete Event System Design (DESDes’06)"; 26-28 September  2006, Rydzyna, Poland: Proc. / IFAC - Zielona Gora : University of Zielona Gora Press, 2006. - P. 49-52.
9.    Pottosin, Yu.V. On application of the ternary matrix cover technique for minimization of Boolean functions / Yu.V. Pottosin, E.A. Shestakov // 4 th Intern. Conf. on Neural Networks and Artificial Intelligence (ICNNAI’2006); 31 May – 2 June, 2006, Brest, Belarus: Proc. - Брест : Brest State Technical University, 2006. - P. 111-113.
10.    Pottosina, S.A. The correlation properties of some exponential queuing systems / S.A. Pottosina, Yu.V. Pottosin // 5th Intern. Conf. APLIMAT 2006; 7-10 February  2006, Bratislava, Slovak Republic: Proc/ / Slovak University of Technology in Bratislava - Bratislava, 2006. - P. 585-590.
11.    Zakrevskij, А. A common logical approach to data mining and pattern recognition / А. Zakrevskij // Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques; Eds.  E.Triantaphyllou and G.Felici - Heidelberg : Springer, 2006. - Cap. 1. - P. 1-43.
12.    Zakrevskij, А. A new heuristic algorithm for sequential two-block decomposition of Boolean functions / А. Zakrevskij // 3 rd IFAC Workshop " Discrete Event System Design (DESDes’06)"; 26-28 September  2006, Rydzyna, Poland: Proc. / University of Zielona Gora ; Ed. Marian Adamski - Zielona Gora : University of Zielona Gora Press, 2006. - P. 13-17.
13.    Zakrevskij, А. Combinatorial methods of solving Boolean problems / А. Zakrevskij // 7th Intern. Workshop "Boolean Problems"; 21-22 September 2006; Freiberg (Sachsen), Germany: Proc. / Freiberg University of Mining and Technology ; Ed. B.Steinbach - Freiberg : Freiberg University, 2006. - P. 1-10.
14.    Zakrevskij, А. Decomposition of Boolean functions by looking for tracks of a good solution / А. Zakrevskij // XII-th Intern. Conference "Knowledge-Dialogue-Solution" ( KDS 2006); June 20-25, 2006, Varna, Bulgaria: Proc; Ed. Gladun V.P. - Sofia : FOI-Commerce, 2006. - P. 211-216.
15.    Zakrevskij, А. Randomized Parallelization – a new method for solving hard combinatorial problems / А. Zakrevskij // International Journal "Information Theories & Applications"; Ed. Krassimir Markov - Sofia : FOI-Commerce, 2006. - Vol. 13, № 3. - P. 203-209.
16.    Авдеев, Н.А. Проектирование аналого-цифрового преобразователя с использованием языка VHDL / Н.А. Авдеев // Международная научно-техническая конф. "Проблемы управления и приложения (техника, производство, экономика)"; 16-20 мая 2005 г, Минск, Беларусь: Тез. докл. / БНТУ - Минск, 2006. - C. 123-124.
17.    Авдеев, Н.А. Реализация VHDL-функций пакета NUMERIC_STD логическими схемами / Н.А. Авдеев, П.Н. Бибило // Информационные технологии / Новые технологии ; Гл. ред. Норенков И.П. - Москва, 2006. - № 1. - C. 9-18.
18.    Бибило, П.Н. VHDL. Эффективное использование при проектировании цифровых систем / П.Н. Бибило, Н.А. Авдеев. – М.: СОЛОН-Пресс, 2006. – 344 с.
19.    Бибило, П.Н. Оптимизационные преобразования VHDL-моделей цифровых схем / П.Н. Бибило, Д.А. Кочанов // IV Международная научно-техническая конф. " Проблемы проектирования и производства радиоэлектронных средств"; 25 - 26 мая 2005, Новополоцк, Беларусь: Сб. мат. / Министерство образования Республики Беларусь - Новополоцк : УО "ПГУ", 2006. - C. 97-101.
20.    Бибило, П.Н. Оптимизационные преобразования VHDL-моделей цифровых систем / П.Н. Бибило, Д.А. Кочанов // II Всероссийская научно-техническая конф. "Проблемы разработки перспективных микроэлектронных систем – 2006" (МЭС-2006); 9-13 октября 2006 г., Москва, Россия: Сб. тр. / Российская академия наук ; Под. Ред. Стемпковского А.Л. - Москва : ИПП в микроэлектронике РАН, 2006. - C. 152-154.
21.    Бибило, П.Н. Оптимизационные преобразования VHDL-моделей цифровых систем / П.Н. Бибило, Д.А. Кочанов // Современная электроника - Москва, 2006. - № 5. - C. 50-52.
22.    Бибило, П.Н. Оптимизация многоуровневых представлений систем булевых функций при перепроектировании логических схем / П.Н. Бибило, В.И. Романов // Управляющие системы и машины. – 2006. – № 5. – С. 20–29.
23.    Бибило, П.Н. Представление ПРАЛУ-описаний параллельных алгоритмов логического управления на языке VHDL / П.Н. Бибило // Микроэлектроника - Москва : МАИК "Наука/Интерпериодика", 2006. - Т. 35, № 4. - C. 342-356.
24.    Бибило, П.Н. Представление ПРАЛУ-описаний параллельных алгоритмов логического управления на языке VHDL / П.Н. Бибило // 3 международная конференция по проблемам управления; 20-22 июня 2006, Москва, Россия: Тез.докл. / ИПУ РАН ; Под ред. Манделя А.С. - Москва, 2006. - Т. 2. - C. 100.
25.    Бибило, П.Н. СиВер - система синтеза и верификации комбинационных логических схем / П.Н. Бибило, С.Н. Кардаш, В.И. Романов // II Всероссийская науч.-техн. конф. «Проблемы разработки перспективных микроэлектронных систем – 2006» (МЭС-2006); 9-13 октября 2006, Москва, Россия: Сб. науч. тр.; Под. ред.  А.Л. Стемпковского - Москва : ИПП в микроэлектронике РАН, 2006. - C. 45-50.
26.    Бибило, П.Н. СиВер – система синтеза и верификации комбинационных логических схем / П.Н. Бибило, С.Н. Кардаш, В. Романов // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - № 4. - C. 79-87.
27.    Бибило, П.Н. Системы высокоуровневого проектирования сверхбольших интегральных схем на основе языка VHDL / П.Н. Бибило // Международная научно-техническая конф. "Проблемы управления и приложения (техника, производство, экономика)"; 16-20 мая 2005 г, Минск, Беларусь: Тез. докл. / БНТУ - Минск, 2006. - C. 130-131.
28.    Бибило, П.Н. Сравнение схемных реализаций VHDL-моделей, использующих частичную определенность булевых функций / П.Н. Бибило // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - № 1. - C. 58-67.
29.    Бибило, П.Н. Теоретические основы синтеза логических схем по VHDL-описаниям в синтезаторе Leonardo / П.Н. Бибило // Микроэлектроника - Москва, 2006. - Т. 34, № 6. - C. 466-477.
30.    Зайцева, Е.Н. Методы оценки надежности систем с несколькими уровнями работоспособности / Е.Н. Зайцева, Ю.В. Поттосин // 3 межд.конф. "Информационные системы и технологии" (IST 2006); 1-3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. Курбацкий А.Н. - Минск : Академия управления при Президенте РБ, 2006. - Т. 2. - C. 86-91.
31.    Закревский А.Д. Комбинаторный поиск подходящих разбиений при декомпозиции булевых функций / А.Д.Закревский // ВестникТГУ. Приложение. / Томский государственный университет ; Гл.ред. Майер Г.В. - Томск, 2006. - C. 4-9.
32.    Закревский, А.Д. Автоматов теория / А.Д.Закревский // Республика Беларусь; Гл. ред. Пашков Г.П. - Минск : Беларуская энцыклапедыя, 2006. - Т. 2. - C. 21.
33.    Закревский, А.Д. Векторный алгоритм анализа булевой функции на декомпозируемость по заданному разбиению / А.Д.Закревский // Доклады НАН Беларуси / НАН Беларуси ; Гл. ред. Мясникович М.В. - Минск, 2006. - Т. 50, № 5. - C. 28-29.
34.    Закревский, А.Д. Комбинаторные алгоритмы проектирования систем логического управления / А.Д.Закревский // Международная конф. " Проблемы управления и приложения (техника, производство, экономика"; 16 - 20 мая 2005, Минск, Беларусь: Труды конф. / БНТУ - Минск, 2006. - C. 144-145.
35.    Закревский, А.Д. Методы комбинаторного поиска в булевом пространстве с приложениями в логическом проектировании и распознавании образов / А.Д.Закревский // 3 международная конференция по проблемам управления; 20-22 июня 2006, Москва, Россия: Тез.докл. / Российская академия наук ; Под ред. проф. Манделя А.С. - Москва : Институт проблем управления, 2006. - Т. 2. - C. 99.
36.    Закревский, А.Д. Основы логического проектирования. В трех книгах. Книга 3. Проектирование устройств логического управления / А.Д.Закревский, Ю.В. Поттосин, Л.Д. Черемисинова - Минск, 2006. - 254 c.
37.    Закревский, А.Д. Решение большинства линейных логических уравнений несовместной системы на суперкомпьютере / А.Д.Закревский, Н.Р. Торопов // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - № 1. - C. 68-77.
38.    Кардаш, С.Н. Синтез комбинационных схем из библиотечных элементов / С.Н. Кардаш // IV Международная научно-техническая конф. " Проблемы проектирования и производства радиоэлектронных средств"; 25 - 26 мая 2005, Новополоцк, Беларусь: Сб. мат. / Министерство образования Республики Беларусь - Новополоцк : УО "ПГУ", 2006. - Т. 2. - C. 109-113.
39.    Кириенко, Н.А. Построение одноуровневых структурных описаний логических схем в системах автоматизированного / Н.А. Кириенко // IV Международная научно-техническая конф. " Проблемы проектирования и производства радиоэлектронных средств"; 25 - 26 мая 2005, Новополоцк, Беларусь: Сб. мат. / Министерство образования Республики Беларусь - Новополоцк : УО "ПГУ", 2006. - Т. 2. - C. 101-105.
40.    Кириенко, Н.А. Тестирование как средство повышения эффективности лекционного процесса / Н.А. Кириенко // Теорiя та методика навчання математики, фiзики, iнформатики / Miнiстерство освiти та науки Украiни - Кривий Рiг : Видавничий вiддiл НМетАУ, 2006. - Вып. VI. - Т. 3. - C. 40-44.
41.    Кочанов, Д.А. VHDL-модели математических функций, основанные на кусочно-полиномиальной    интерполяции / Д.А. Кочанов // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - № 1. - C. 78-88.
42.    Кочанов, Д.А. Аппаратная реализация аналитических функций вещественного аргумента в составе цифровых СБИС / Д.А. Кочанов // 3 международная конференция по проблемам управления; 20-22 июня 2006, Москва, Россия: Тез.докл. / ИПУ РАН ; Под. ред. Манделя А.С. - Москва, 2006. - C. 144.
43.    Кочанов, Д.А. Реализация в составе цифровых СБИС аналитических функций вещественного аргумента / Д.А. Кочанов // ВестникТГУ. Приложение. / М-во образования и науки РФ ; Гл. ред. Майер Г.В. - Томск : Томский госсударственный университет, 2006. - № 18. - C. 9-13.
44.    Кочанов, Д.А. Транслятор для автоматического преобразования VHDL-тестов логических схем / Д.А. Кочанов, П.Н. Бибило // Управляющие системы и машины - Киев : НАН Украины, 2006. - № 4. - C. 30-39.
45.    Леончик, П.В. Минимизация систем булевых функций в классе дизъюнктивных нормальных форм / П.В. Леончик // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - № 1. - C. 88-96.
46.    Логинова, И.П. Метод «моделирования отжига» для двудольной свертки матричных структур / И.П. Логинова // 3 межд.конф. "Информационные системы и технологии" (IST 2006);  1-3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. Курбацкий А.Н. - Минск : Академия управления при Президенте РБ, 2006. – Т. 2. – C. 242-248.
47.    Новиков, Д.Я. Нахождение множества всех простых имплицент булевой функции обходом троичного дерева поиска / Д.Я. Новиков // Весцi НАН Беларусi, cерыя фiзiкa-тэхнiчных навук. – 2006. – № 5. – С. 9-11.
48.    Поттосин, Ю.В. Новые возможности сокращения компактной таблицы при декомпозиции булевой функции / Ю.В. Поттосин, Е.А. Шестаков // ВестникТГУ. Приложение. / Томский государственный университет ; Гл. ред. Майер Г.В. - Томск, 2006. - № 18. - C. 20-25.
49.    Поттосин, Ю.В. Оптимальное кодирование частичных состояний параллельного автомата / Ю.В. Поттосин // Международная научно-техническая конф. "Проблемы управления и приложения (техника, производство, экономика)"; 16-20 мая 2005 г, Минск, Беларусь: Тез. докл. / БНТУ - Минск, 2006. - C. 178-179.
50.    Поттосин, Ю.В. Табличные методы декомпозиции систем полностью определенных булевых функций / Ю.В. Поттосин, Е.А. Шестаков - Минск : Белорусская наука, 2006. - 327 c.
51.    Романов, В. Вычисление оценки сложности логических схем при повторном синтезе / В. Романов // 4 международная научно-техническая конференция "Проблемы проектирования и производства радиоэлектронных средств"; 25-26 мая 2006, Новополоцк, Беларусь: Сб. мат. / М-во образования РБ - Новополоцк : УО "ПГУ", 2006. - Т. 2. - C. 113-117.
52.    Романов, В. Использование механизма продукций для организации динамического меню в САПР функционально-логических схем / В. Романов // Международная научно-практическая конференция  "Современная радиоэлектроника: научные исследования, подготовка кадров";  20-21 апреля 2006, Минск, Беларусь: Сб.Мат. конф. / Министерство образования Республики Беларусь; Под ред. Н.А. Цырельчука - Минск : МГВРК, 2006. – Т. 1. – C. 295-297.
53.    Романов, В.И. Организация интеллектуальной поддержки в САПР / В.И. Романов // 3 межд. конф. "Информационные системы и технологии" (IST 2006); 1 – 3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. А.Н.Курбацкий – Минск : Академия управления при Президенте РБ, 2006. – Т. 2. – C. 65–70.
54.    Торопов, Н.Р. Параллельное решение логико-комбинаторных задач / Н.Р. Торопов // 3 межд.конф. "Информационные системы и технологии" (IST 2006);  1-3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. Курбацкий А.Н. - Минск : Академия управления при Президенте РБ, 2006. - Т. 1. - C. 236-241.
55.    Черемисинов, Д.И. Анализ и преобразование структурных описаний СБИС / Д.И. Черемисинов - Минск : Белорусская наука, 2006. - 275 c.
56.    Черемисинов, Д.И. Визуализация графов логических сетей / Д.И. Черемисинов // 4 международная научно-техническая конференция "Проблемы проектирования и производства радиоэлектронных средств"; 25-26 мая 2006, Новополоцк, Беларусь: Сб. мат. / М-во образования РБ - Новополоцк : УО "ПГУ", 2006. - Т. 2. - C. 117-121.
57.    Черемисинов, Д.И. О логической структуре взаимодействия в мультиагентных системах / Д.И. Черемисинов // Автоматика и вычислительная техника / Латвийский университет ; Гл. ред. Билинскис И. - Рига : И-тут электр.и вычисл. техн. Латв. ун-та, 2006. - № 2. - C. 26-38.
58.    Черемисинов, Д.И. О потенциале методов, используемых при защите программ / Д.И. Черемисинов // 5 Международная конференция "Обработка информации и управление в чрезвычайных и экстремальных ситуациях"; 24-26 октября 2006, Минск, Беларусь: Докл. / ; Науч. ред. Тузиков А.В. - Минск : ОИПИ НАН Беларуси, 2006. - Т. 2. - C.   78-84.
59.    Черемисинов, Д.И. Отладка и верификация MPI программ для решения логико-комбинаторных задач / Д.И. Черемисинов // 3 межд.конф. "Информационные системы и технологии" (IST 2006);  1-3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. Курбацкий А.Н. - Минск : Академия управления при Президенте РБ, 2006. - Т. 1. - C. 280-285.
60.    Черемисинов, Д.И. ПРАЛУ и высокоуровневые языки описания аппаратуры / Д.И. Черемисинов // Вестник ТГУ. Приложение №18 / М-во образования и науки РФ ; Гл. ред. Майер Г.В. - Томск : Томский государственный университет, 2006. - C. 28-33.
61.    Черемисинов, Д.И. Проверка синтезируемости VHDL-описаний / Д.И. Черемисинов // Международная научно-техн.  конф. " Проблемы управления и приложения (техника, производство, экономика"; 16 - 20 мая 2005, Минск, Беларусь: Тез. докл.. / БНТУ - Минск, 2006. - C. 197-198.
62.    Черемисинов, Д.И. Технология программирования кластерного компьютера с помощью удаленного терминала с OC Windows / Д.И. Черемисинов, Л.Д. Черемисинова // XII-th Intern. Conference "Knowledge-Dialogue-Solution" ( KDS 2006); June 20-25, 2006, Varna, Bulgaria: Proc; Ed. Gladun V.P. - Sofia : FOI-Commerce, 2006. - C. 274-280.
63.    Черемисинова, Л.Д. Комплекс программ синтеза логических схем на базе программируемых логических интегральных схем / Л.Д. Черемисинова // Информатика / ОИПИ НАН Беларуси ; Гл. ред. Абламейко С.В. - Минск, 2006. - C. 112-121.
64.    Черемисинова, Л.Д. Матричные методы топологической оптимизации регулярных структур  заказных СБИС / Л.Д. Черемисинова // 3 межд.конф. "Информационные системы и технологии" (IST 2006);  1-3 ноября 2006, Минск, Беларусь: Мат.конф. / БГУ, НАН Беларуси ; Отв. ред. Курбацкий А.Н. - Минск : Академия управления при Президенте РБ, 2006. – C. 255-261.
65.    Черемисинова, Л.Д. Реализация на ПЛИС параллельных алгоритмов логического управления / Л.Д. Черемисинова // Международная научно-техн.  конф. " Проблемы управления и приложения (техника, производство, экономика"; 16 - 20 мая 2005, Минск, Беларусь: Тез. докл.. / БНТУ - Минск, 2006. - C. 198-199.
66.    Черемисинова, Л.Д. Топологическая оптимизация матричных структур методом двудольной свертки / Л.Д.Черемисинова // Весцi НАН Беларусi, cерыя фiзiкa-тэхнiчных навук. – 2006. – № 4. – С. 83-92.