Liudmila D. Cheremisinova
Liudmila D. Čaramisinava is the main researcher of the Laboratory of Logical Design of the United Institute of Informatics Problems of the National Academy of Sciences of Belarus, doctor of technical sciences.
Research interests: logical methods applied to computer technology, theory of discrete control devices, automation of logical design.
The results of the performed research are presented in more than 220 publications, including 10 monographs.
Selected scientific works of recent years:
1. Optimization in Boolean space. – TUT Press, 2009, 241 p. (соавт. Закревский А.Д., Поттосин Ю.В.).
2. Design of Logical Control Devices. – TUT Press, 2009, 304 p. (соавт. Закревский А.Д., Поттосин Ю.В.).
3. Combinatorial algorithms of discrete mathematics. – TUT Press, 2008, 192 p. (соавт. Закревский А.Д., Поттосин Ю.В.).
4. Логические основы проектирования дискретных устройств. – М.: Физматлит, 2007. – 589 c. (соавт. Закревский А.Д., Поттосин Ю.В.).
5. Синтез и оптимизация комбинационных структур СБИС. – Мн.: ОИПИ НАН Беларуси, 2005. – 236 с.
6. Реализация параллельных алгоритмов логического управления. – Минск: Ин-т технической кибернетики НАН Беларуси, 2002. – 246 с.
7. VLSI Regular Structure Folding via Boolean Satisfiability // 9th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 16–17, 2010. – P. 91–96.
8. SAT based Implicative Method of Implementation Checking for Incompletely Specified Boolean Functions // 9th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 16–17, 2010. – P. 97–102 62 (соавт. Новиков Д.Я.).
9. Multiple Folding of VLSI Regular Structure via Boolean Satisfiability // Information Models of Knowledge. – ITHEA: Kiev–Sofia, 2010. – P. 411–419.
10. Simple constrained folding of programmable logic arrays of special type // Information Models of Knowledge. – ITHEA: Kiev–Sofia, 2010. – P. 420–428 (соавт. Логинова И.П.).
11. SAT based method of implementation checking for incompletely specified Boolean functions // Computer-Aided Design of Discrete Devices CAD DD’10. Proc.of the 7th Intern.Conf., Minsk, Nov. 16–17, 2010. –Мн.: ОИПИ НАН Беларуси. – 2010. – P. 226–233 (соавт. Новиков Д.Я.).
12. Формальная верификация описаний с функциональной неопределенностью на основе проверки выполнимости конъюнктивной нормальной формы // Автоматика и вычислительная техника. – 2010. – № 1. – C. 5–16 (соавт. Новиков Д.Я.).
13. Cинтез комбинационных КМОП схем с учетом энергосбережения // Информатика. – 2010. – № 4. – С. 112–122.
14. Верификация функциональных описаний с неопределенностью на основе парафазного представления булевых функций // Информатика. – 2010. – № 3(27) . – С. 54 – 62 (соавт. Новиков Д.Я.).
15. Оценка энергопотребления при оптимизации двухуровневых КМОП схем // Информатика. – 2010. – № 2(26). – С. 105–115.
16. Оценка энергопотребления КМОП-схем на логическом уровне // Информационные технологии. – 2010. – № 8. – С. 27–35.
17. SAT-Based Group Method for Verification of Logical Descriptions with Functional Indeterminacy // 7th IEEE East-West Design & Test Symposium (EWDTS 2009). Moscow, Russia, September 18–21, 2009, p. 31–34 62 (соавт. Новиков Д.Я.).
18. SAT-based method of verification using logarithmic encoding // Knowledge-Dialogue-Solution. Intern. Book Series, No 15, Suppl. to the Intern. J. “Information Technologies & Knowledge” V. 3/2009. – Bulgaria: ITHEA, Sofia, 2009, p. 107–114 62 (соавт. Новиков Д.Я.).
19. Минимизация на топологическом уровне площади регулярных схем с последовательным соединением МОП‑транзисторов // Информатика, 2009, № 2(22), с. 102–113 (соавт. Логинова И.П.).
20. Верификация многоблочных структур с функциональной неопределенностью // Известия НАН Беларуси, серия физико-техн. наук, 2009, № 2, с. 98–105 (соавт. Новиков Д.Я.).
21. Formalization of interaction events in Multi-agent Systems // Information Technologies & Knowledge (IJ ITK), 2008, V. 2, No. 2, р. 159–165 (соавт. Черемисинов Д.И.).
22. Simulation-based approach to verification of logical descriptions with functional indeterminacy // Information Theories & Applications (IJ ITA), 2008, V. 15, No. 3, р. 218–224 (соавт. Новиков Д.И.).
23. The Approach to Programming Agent-Based Systems // 8th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 18–19, 2008. – 2008. – P.75–82 62 (соавт. Черемисинов Д.И.).
24. SAT-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy // 8th Int. Workchop on Boolean problems, Freiberg (Sachsen), Sept. 18–19, 2008. – 2008. – P. 59–66 62 (соавт. Новиков Д.Я.).
25. Using SAT for Combinational Implementation Checking // Artificial Intelligence and Decision Making. Intern. Book Series, No 4, V. 2/2008. – Bulgaria: ITHEA, Sofia, 2008. C. 203–210 62 (соавт. Новиков Д.Я.).
26. Топологическая оптимизация регулярных МОП‑структур методом двудольной свертки // Информатика, 2008, № 2(18), с. 92–101.
27. Программирование агентов на языке ПРАЛУ // Автоматика и вычислительная техника, 2008, № 4, с. 14–26 (соавт. Черемисинов Д.И.).
28. Проверка схемной реализации частичных булевых функций // Вестник Томского гос. университета. Управление, вычислительная техника и информатика. – 2008. – № 4(5), с. 102–111 (соавт. Новиков Д.Я.).
29. The specification of agent interaction in multi-agent systems // Proc. Fifth Intern. Conf. “Information Research & Applications” (i.tech 2007), June 26–30, Varna, Bulgaria, 2007. – ITHEA SOFIA, 2007. – P. 428 –434 (соавт. Черемисинов Д.И.).
30. Technology of programming a cluster computer by means of the removed terminal with operational system Windows // Information Theories and Applications (IJ ITA), 2007, V. 14, No. 4, P. 381 – 388 (соавт. Черемисинов Д.И.)
31. Bipartite folding of regular matrix MOS‑structures // Computer-Aided Design of Discrete Devices CAD DD’07. Proc.of the Sixth Intern.Conf., Minsk, Nov. 14–15, 2007. – V. 1. – Мн.: ОИПИ НАН Беларуси, 2007. – P. 197 – 205.
32. Verification of multi-block structures with functional indeterminacy // Computer-Aided Design of Discrete Devices CAD DD’07. Proc.of the Sixth Intern.Conf., Minsk, Nov. 14–15, 2007. – V. 2. – Мн.: ОИПИ НАН Беларуси, 2007. – P. 95 – 102 (соавт. Новиков Д.Я.).
33. Нахождение отношения параллельности на множестве цепочек алгоритма управления // Информатика, 2007, № 1(13). – С. 5–15.
34. Developing Agent Interaction Protocols with PRALU // Information Theories & Applications (IJ ITA). – 2006. ‑ Vol.13. ‑ № 3. ‑ P. 239‑246 (соавт. Черемисинов Д.И.).
35. Some aspects of logical control systems design using PRALU // Proc. of 3rd IFAC Workshop on Discrete Event System Design (DESDes’06). September 26-28, 2006. ‑ Rydzyna, Poland: University of Zielona Gora. ‑ P. 43‑48 (соавт. Черемисинов Д.И.).
36. Топологическая оптимизация матричных структур методом двудольной свертки // Известия НАН Беларуси, серия физико-техн. наук, 2006, № 4, C. 83–92.
37. Комплекс программ синтеза логических схем на базе программируемых логических интегральных схем // Информатика. – 2006. ‑ № 3(11). ‑ C. 112–121.
38. Optimal State Assignment of Asynchronous Parallel Automata behavior // Design of Embedded Control Systems / Eds. M.A.Adamski, A.Karatkevich, M.Wegrzin. – New York: Springer, 2005. – P. 125–137.
39. Specifying agent interaction protocols with Parallel control algorithms // Proc. XI-th Intern. Conference «Knowledge-Dialogue-Solution. KDS 2005», June 20-30, 2005, Varna, Bulgaria. – Sofia: FOI-COMMERCE, 2005. – V. 2. – P. 496–503 (соавт. Черемисинов Д.И.).
40. Метод минимизации площади регулярных матричных структур // Вестник Томского государственного университета. Приложение № 14, август 2005 г. – С. 242–247.
