Статьи в журналах/сборниках из перечня Web of Science/Scopus |
| 1 | Артамонов Е.И., Правильщиков П.А., Толок А.В. VII International Conference “Systems of Computer-aided Design, Computer-aided Manufacturing, and Product Data Management” CAD/CAM/PDM-2007 // Automation and Remote Control. 2008. Volume 69, Issue 10. С. 1814-1819. | 2008 |
Статьи в журналах/сборниках из перечня ВАК |
| 2 | Правильщиков П.А. Квантовый подход к решению задач формальной верификации цифровых схем // Информационные технологии в проектировании и производстве. 2023. № 1. С. 10-20. | 2023 |
| 3 | Правильщиков П.А. Международная квантово-компьютерная гонка и квантовые информационные технологии. Часть 1. // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2023. № 3. С. 3-18. | 2023 |
| 4 | Правильщиков П.А. Международная квантово-компьютерная гонка и квантовые информационные технологии (Часть II) // Информационные технологии в проектировании и производстве. 2023. № 4. С. 20-30. | 2023 |
| 5 | Правильщиков П.А. Законы сохранения в информатике // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2020. № 3. С. 20-28. | 2020 |
| 6 | Правильщиков П.А. КВАНТОВАЯ РЕВОЛЮЦИЯ В ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКЕ И НОВЫЕ МОДЕЛИ ВЫЧИСЛЕНИЙ // Информационные технологии в проектировании и производстве. 2020. № 1 . С. 27-35. | 2020 |
| 7 | Правильщиков П.А. СОХРАНЕНИЕ КОЛИЧЕСТВА ИНФОРМАЦИИ В СЛУЧАЕ РЕШЕНИЯ ПРЯМОЙ И ОБРАТНОЙ ЗАДАЧИ ДЛЯ БУЛЕВЫХ УРАВНЕНИЙ И ПОСТРОЕНИЯ ТЕСТОВ // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2020. № 4 . С. 44-53. | 2020 |
| 8 | Правильщиков П.А. Новая квантовая логика: новые однородные и неоднородные квантовые логические элементы // Информационные технологии в проектировании и производстве. 2019. № 1. С. 42-51. | 2019 |
| 9 | Правильщиков П.А. Новые квантовые однородные и не однородные логические элементы И-НЕ и «равнозначность» // Информационные технологии в проектировании и производстве. 2019. № 3. С. 17-27. | 2019 |
| 10 | Правильщиков П.А. Решение булевых уравнений на платформе процессора-ускорителя с новым механизмом квантового параллелизма // Информационные технологии в проектировании и производстве. 2019. № 4. С. 38-46. | 2019 |
| 11 | Правильщиков П.А. КВАНТОВОЕ ПРЕВОСХОДСТВО И РЕШЕНИЕ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2018. № 3. С. 49-60. | 2018 |
| 12 | Правильщиков П.А. Квантовое решение булевых уравнений и проблема P =? NP // Информационные технологии в проектировании и производстве. 2018. № 1. С. 50-65. | 2018 |
| 13 | Правильщиков П.А. НОВАЯ КВАНТОВАЯ МАТЕМАТИКА: МАТРИЧНОЕ ИСЧИСЛЕНИЕ КУБИЧЕСКИХ КОМПЛЕКСОВ И КВАНТОВЫЕ D-АЛГОРИТМЫ // Информационные технологии в проектировании и производстве. 2017. № 2. С. 21-32. | 2017 |
| 14 | Правильщиков П.А. НОВЫЙ МЕХАНИЗМ КВАНТОВОГО ПАРАЛЛЕЛИЗМА И ЕГО ФИЗИЧЕСКИЕ И МАТЕМАТИЧЕСКИЕ ОСНОВАНИЯ // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2017. № 4. С. 15-26. | 2017 |
| 15 | Правильщиков П.А. Теоретико-множественные основания новой модели вычислений – квантового генератора тестов // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2017. № 3. С. 20-28. | 2017 |
| 16 | Правильщиков П.А. ИСПОЛЬЗОВАНИЕ КВАНТОВЫХ АЛГОРИТМОВ В ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЯХ И ЗАДАЧАХ УПРАВЛЕНИЯ // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2016. № 2. С. 13-22. | 2016 |
| 17 | Правильщиков П.А. Использование квантовых компьютеров и квантовых ускорителей в информационных технологиях // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2016. № 2. С. 3-12. | 2016 |
| 18 | Правильщиков П.А. О решении проблемы подготовки к измерению кунитов в регистре квантового компьютера. // ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ПРОЕКТИРОВАНИИ И ПРОИЗВОДСТВЕ. 2016. № 3. С. 34-41. | 2016 |
| 19 | Правильщиков П.А. ДОКАЗАТЕЛЬСТВО ТЕОРЕМ С ПОМОЩЬЮ КВАНТОВОГО ГЕНЕРАТОРА ТЕСТОВ // Информационные технологии в проектировании и производстве. 2015. № 3. С. 77-87. | 2015 |
| 20 | Правильщиков П.А. Квантовый генератор тестов как основа доказательства теорем с использованием квантовых Dалго-ритмов // Информационные технологии в проектировании и производстве. 2015. № 4. С. 32-41. | 2015 |
| 21 | Артамонов Е.И., Правильщиков П.А., Толок А.В. VII Международная конференция «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» CAD/CAM/PDM – 2007 (Обзор докладов) // Автоматика и телемеханика. 2008. № 10. С. 183-190. | 2008 |
| 22 | Правильщиков П.А., Гольдин В.В., Журавский В.Г. CALS-технологии и толерантные трансляторы // Автоматика и телемеханика. 2007. № 4. С. 150-170. | 2007 |
| 23 | Правильщиков П.А. Физическая теорема Нётер в фотонике и computer science. Часть II // Прикладная физика. 2006. № 1. С. 95-109. | 2006 |
| 24 | Правильщиков П.А. Физическая теорема Нётер в фотонике и computer science. Часть I // Прикладная физика. 2005. № 6. С. 144-154. | 2005 |
Статьи в журналах/сборниках |
| 25 | Гольдин В.В., Журавский В.Г., Правильщиков П.А. Моделирование тепловых процессов в технических средствах АСУ / Качество и ИПИ (CALS) технологии. М.: Фонд "Европейский центр по качеству" (некоммерческая организация), 2006. Т. 2. С. 147-158. | 2006 |
Пленарные доклады |
| 26 | Правильщиков П.А. Простые и сложные (составные) куниты в регистре квантового компьютера / Тезисы 18-й Международной молодежной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2018, Москва). М.: ИПУ РАН, 2018. С. 17-17. | 2018 |
| 27 | Правильщиков П.А. Проблема алгоритмической разрешимости и полуразрешимости формальных систем и её решение с использованием квантового генератора тестов / Труды 15-й Международной конференции «Системы проектирования, технологической подготовки производства и управления эта-пами жизненного цикла про-мышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: ООО Аналитик, 2015. С. 23-27. | 2015 |
| 28 | Правильщиков П.А. Центральная проблема современной дискретной математики и квантовый генератор тестов. / Тезисы докладов 14-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2014, Москва). М.: ИПУ РАН, 2014. С. 15-20. | 2014 |
| 29 | Правильщиков П.А. Гипервычисления и фундаментальные научные исследования / . М.: ИПУ РАН, 2009. С. с. 7-14. | 2009 |
Доклады |
| 30 | Правильщиков П.А. Закат кремниевых технологий и квантовая революция в вычислительной технике. / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, М.: [Электронный ресурс]. – Компакт-диск (CD-ROM), 2019. С. 2428-2433 https://vspu2019.ipu.ru/proceedings/2428.pdf . | 2019 |
| 31 | Правильщиков П.А. Проблема подготовки кунитов к измерению и её решение. / Труды 16-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2016, Москва). Моква: ООО "Аналитик", 2016. Т. 1. С. 192-196. | 2016 |
| 32 | Правильщиков П.А. Проблема алгоритмической разрешимости (полуразрешимости) формальных систем и квантовые D-алгоритмы / Труды 15-й Международной конференции «Системы проектирования, технологической подготовки производства и управления эта-пами жизненного цикла про-мышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: ООО "Аналитик", 2015. С. 78-82. | 2015 |
| 33 | Правильщиков П.А. Квантовый параллелизм и квантовые D-алгоритмы. / Труды 6-й Международной конференции «Параллельные вычисления и задачи управления» (РАСО'2012, Москва). М.: ИПУ РАН, 2012. Т. 3. С. 47-66. | 2012 |
| 34 | Правильщиков П.А. Фундаментальные проблемы управления и гипервычисления / Труды 5-й Международной конференции «Параллельные вычисления и задачи управления» (PACO'2010, Москва). М.: ИПУ РАН, 2010. С. 709-757. | 2010 |
| 35 | Правильщиков П.А. Идеальный генератор тестов и решение центральной проблемы современной дискретной математики / . М.: ИПУ РАН, 2008. С. 12. | 2008 |
| 36 | Правильщиков П.А. Изоморфизм и толерантный изоморфизм / Труды 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва). М.: ИПУ РАН, 2007. С. 12-16. | 2007 |
| 37 | Артамонов Е.И., Правильщиков П.А. Проблема трассировки и параллельно-последовательные D-алгоритмы на платформе механизма гипермассового параллелизма обслуживания / Тезисы 6-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2006, Москва). М.: ИПУ РАН, 2006. С. 156-159. | 2006 |
| 38 | Батраков Ю.Ю., Гольдин В.В., Гримайло И.С., Правильщиков П.А. Применение математических формализмов в технической диагностики в механике / Труды 6-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2006, Москва). М.: ИПУ РАН, 2006. С. 132-136. | 2006 |
| 39 | Котов А.Г., Кухарева К.В., Правильщиков П.А. Построение тестов для ИЭТР и приёмо-сдаточных испытаний / . М.: ИПУ РАН, 2005. С. 35-36. | 2005 |
Тезисы докладов |
| 40 | Правильщиков П.А. Изоморфизм и толерантный изоморфизм / Тезисы докладов 7-й Международной конференции «Системы проектирования технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2007, Москва). М.: ИПУ РАН, 2007. С. 14-15. | 2007 |
| 41 | Гольдин В.В., Журавский В.Г., Правильщиков П.А. Применение методов толерантной трансляции для разработки универсальных конвертеров данных / . М.: ИПУ РАН, 2005. С. 33-34. | 2005 |
