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

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

Публикации

2016


1.                    Бибило, П. Н. Основы языка VHDL: учеб. пособие / П. Н. Бибило. – 7-е. изд. – М.: Книжный дом «ЛИБРОКОМ», 2016. – 328 с.

2.                    Силков, Н. И. Информационные технологии управления безопасностью. Электронные системы безопасности: пособие / Н. И. Силков, Д. И. Черемисинов, Е. А. Мельникова. – Минск: БГУИР, 2016. – 75 с.

3.                    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).

4.                    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.

5.                    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.

6.                    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.

7.                    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.

8.                    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.

9.                    Авдеев, Н. А. Экспериментальное сравнение методов декомпозиции систем булевых функций / Н. А. Авдеев, П. Н. Бибило // Известия РАН. Теория и системы управления. – 2016. – № 2. – С. 29–50.

10.                 Авдеев Н. А.  Применение логической  и структурной оптимизации при синтезе КМОП схем с пониженным энергопотреблением/ Н. А. Авдеев, П. Н. Бибило, В. Ш. Меликян, А. Г. Арутюнян // Известия Национальной Академии наук Армении и Национального политехнического университета Армении. Сер. техн. наук. – 2016. – Т. 69, № 1. – С. 34–41.

11.                 Бибило, П. Н. Формирование энергоемких тестов для комбинационных логических схем по результатам оценки их энергопотребления / П. Н. Бибило, И. П. Логинова  // Информационные технологии. – 2016. – Т. 22, № 4. – С. 277–283.

12.                 Бибило, П. Н. Выбор «энергоемких» тестовых наборов для обеспечения режима повышенного энергопотребления комбинационных КМОП схем / П. Н. Бибило, И. П. Логинова // Управляющие системы и машины. – 2016. –  № 3. – С. 54–60.

13.                 Черемисинов, Д. И. Детерминированная семантика регулярных выражений / Д. И. Черемисинов // Образовательные ресурсы и технологии. – 2016. – № 2(14). – С. 379–386.

14.                 Черемисинова, Л. Д. Верификация логических описаний с функциональной неопределенностью на основе моделирования / Л. Д. Черемисинова // Образовательные ресурсы и технологии  – 2016. – № 2(14). – С. 409–416.

15.                 Балака, Е. С. Сравнительное исследование и анализ аппаратной реализации сумматоров по модулю / Е. С. Балака, Д.В. Тельпухов, И. П. Осинин, Д. А. Городецкий // Universum: Технические науки : электрон. научный журнал, 2016, № 1 (23). URL: http://7universum.com/ru/tech/archive/item/2887 (дата обращения: 30.12.2016).

16.                 Бибило, П. Н. Схемная реализация VHDL описаний систем неполностью определенных булевых функций / П. Н. Бибило // Информатика. – 2016. – № 3 (51). – С. 49–58.

17.                 Кириенко, Н. А. Исследование эффективности технологически независимой оптимизации функциональных описаний КМОП схем / Н. А. Кириенко, Л. Д. Черемисинова // Информатика. – 2016. – № 3 (51). – С. 59 – 66.

18.                 Поттосин, Ю. В. Эвристический метод энергосберегающего противогоночного кодирования состояний асинхронного автомата / Ю. В. Поттосин // Информатика. – 2016. – № 3(51). – С. 113–122.

19.                 Романов, В. И. Организация графической информации для просмотра многослойной топологии СБИС / В. И. Романов, Ю. Ю. Ланкевич // Информатика. – 2016. – № 3(51). – С. 87–95.

20.                 Поттосин, Ю. В. Поиск разреза графа в решении некоторых задач логического проектирования / Ю. В. Поттосин, С. А. Поттосина // Вес. Нац. акад. навук Беларусi. Сер. фiз.-мат. навук. – 2016. – № 3. – С. 110–118.

21.                 Черемисинова Л.Д. Модели и алгоритмы оценивания среднего значения мощности, потребляемой последовательностными КМОП-схемами // Вес. Нац. акад. навук Беларусi. Сер. фiз.-мат. навук. – 2016. – № 2. – C. 98–108.

22.                 Рабцевич, Д. М. Разработка справочно-информационной системы для поддержки процесса оказания медицинских услуг населению / Д. М. Рабцевич, Н.А. Кириенко // Электронная экономика: теория, модели, технологии. – Минск: БГУИР, 2016. – С. 162–168.

23.                 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.

24.                 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.

25.                 Бибило, П. Н. Применение VHDL моделей неполностью определенных булевых функций при проектировании цифровых схем / П. Н. Бибило // Проблемы разработки перспективных микро- и наноэлектронных систем – 2016 (МЭС-2016) :  cб. тр. VII Всероссийской науч.-техн. конф., Москва, 3–7 октября 2016 г. / ИППМ РАН; под общ. ред. акад. РАН А. Л. Стемпковского. – М., 2016. – Ч. 1. – С. 2–8.

26.                 Черемисинов, Д. И. Использование параллельных вычислений при автоматизированном проектировании СБИС / Д. И. Черемисинов, Л. Д. Черемисинова // Проблемы разработки перспективных микро- и наноэлектронных систем – 2016 (МЭС-2016) : cб. тр. VII Всероссийской науч.-техн. конф., Москва, 3–7 октября 2016 г. / ИППМ РАН; под общ. ред. акад. РАН А. Л. Стемпковского. – М., 2016. – Ч. 1. – С. 32–39.

27.                 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.

28.                 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.

29.                 Бибило, П. Н. Схемная реализация VHDL описаний систем неполностью определенных булевых функций / П. Н. Бибило // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C. 18–22.

30.                 Кириенко, Н. А. Исследование влияния технологически независимой оптимизации на результат синтеза схем в
технологическом базисе / Н. А. Кириенко, Л. Д. Черемисинова // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.93 – 97.

31.                 Поттосин, Ю. В. Эвристический метод энергосберегающего противогоночного кодирования состояний асинхронного автомата / Ю. В. Поттосин // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.155–159.

32.                 Романов, В.И. Подготовка информации для организации просмотра многослойной топологии СБИС / В. И. Романов // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ; науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.114–118.

33.                 Романов, В. И. Локальная загрузка многокадровых изображений / В. И. Романов, Ю. Ю. Ланкевич // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.165–169.

34.                 Черемисинов, Д. И. Архитектура программы технологического отображения логических схем в заданный библиотечный базис / Д. И. Черемисинов // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.192–196.

35.                 Черемисинова, Л. Д. Тесты для оценки среднего энергопотребления последовательностных схем // Л. Д. Черемисинова // Танаевские чтения : доклады Седьмой Междунар. науч. конф.; Минск, 28–29 марта 2016 г. / ОИПИ НАН Беларуси ;  науч. ред. М.Я. Ковалев.  – Минск, 2016. – C.197–201.

36.                 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.

37.                 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.

38.                 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.

39.                 Кардаш, С. Н. Тесты для оценки максимального рассеивания мощности КМОП схемой с памятью / С. Н. Кардаш, Л. Д. Черемисинова // Новые информационные технологии в исследовании сложных структур : материалы 11й междунар. конф., Томск, 6–10 июня 2016 г. / Томский государственный университет ; редкол.: Н. В. Евтушенко [и др.]. – Томск, 2016. – C. 51–52.

40.                 Черемисинов, Д. И. Анализ исходного текста в трансляторе форматов данных / Д. И. Черемисинов // Новые информационные технологии в исследовании сложных структур : материалы 11й междунар. конф., Томск, 6–10 июня 2016 г. / Томский государственный университет ; редкол.: Н. В. Евтушенко [и др.]. – Томск, 2016. – C. 86–87.

41.                 Бибило, П. Н. Снижение энергопотребления цифровых устройств, представленных в виде композиции управляющего и операционного автоматов / П. Н. Бибило // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. – С. 198–199.

42.                 Бибило, П.Н. Mетодика быстрой оценки энергопотребления синхронных логических схем, реализующих конечные автоматы / П. Н. Бибило, В. И. Романов // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 200–201.

43.                 Кириенко, Н. А. Эффективность методов логической оптимизации при синтезе комбинационных схем средствами LeonardoSpectrum / Н. А. Кириенко, Л. Д. Черемисинова // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 204–205.

44.                 Черемисинов, Д. И. Организация удаленного выполнения трудоемких расчетов при проектировании СБИС / Д. И. Черемисинов, Л. Д. Черемисинова // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 270–271.

45.                 Черемисинов, Д. И. Учебный курс «Интерфейсы информационных систем» в обучении специалистов по информационным и коммуникационным технологиям / Д. И. Черемисинов // Информационные технологии и системы 2016 (ИТС-2016) : материалы междунар. науч. конф., Минск, 26 октября 2016 г. / Белорус. гос. ун-т информатики и радиоэлектроники ; редкол.: Л. Ю. Шилин (гл. ред.) [и др.]. – Минск, 2016. –  С. 272–273.

46.                 Бибило, П. Н. Минимизация диаграммы двоичного набора, реализующей систему неполностью определенных булевых функций / П. Н. Бибило // XII Белорусская математическая конференция : материалы междунар. науч. конф., Минск, 5–10 сентября 2016 г., в 4 ч. / Институт математики НАН Беларуси ; ред.: С. Г. Красовский. – Минск, 2016. – Ч. 4. – С. 51–52.

47.                 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.

48.                 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.