Публикации

Диссертации и авторефераты

Батура Татьяна Викторовна
Машинно-ориентированные логические методы представления смысла текста на естественном языке
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Боженкова Елена Николаевна
Анализ свойств параллельных процессов и процессов реального времени, представленных моделями структур событий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Бручес Елена Павловна
Методы и алгоритмы распознавания и связываниясущностей для построения систем автоматическогоизвлечения информации из научных текстов
05.13.17 – Теоретические основы информатики
 Диссертация в формате PDF (7.13 МБ) (DOI: 10.31144/candis.Bruch.2022.pp112)
 Автореферат в формате PDF (335.84 КБ) (DOI: 10.31144/canref.Bruch.2021.pp19)
Быстров Александр Васильевич
Спецификация и анализ распределенных систем с использованием инструментальных средств, поддерживающих модели сетей Петри
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Вирбицкайте Ирина Бонавентуровна
Формальные модели и анализ корректности параллельных систем и систем реального времени
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Гаранина Наталья Олеговна
Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Грибовская Наталия Сергеевна
Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Касьянова Елена Викторовна
Адаптивные методы и средства поддержки дистанционного обучения программированию
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Кондратьев Дмитрий Александрович
Методы комплексного подхода к автоматизации дедуктивной верификации программ с финитными итерациями
05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
 Диссертация в формате PDF (7.57 МБ) (DOI: 10.31144/candis.Kond.2022.pp238)
 Автореферат в формате PDF (2.35 МБ) (DOI: 10.31144/canref.Kond.2022.pp24)
Крайнева Ирина Александровна
Научное наследие лидеров физико-математических школ Сибирского отделения АН СССР (Ю.Б. Румер, А.А. Ляпунов, А.П. Ершов)
07.00.10 –История науки и техники
Крайнева Ирина Александровна
Научная биография академика А.П. Ершова
07.00.10 - история науки и техники
Марьясов Илья Владимирович
Верификация C-программ с помощью смешанной аксиоматической семантики
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Пальянов Андрей Юрьевич
Методы и алгоритмы для решения ряда актуальных задач в области вычислительной нейробиологии, биомеханики и молекулярной биологии
05.13.18 – математическое моделирование, численные методы и комплексы программ
Пономарёв Денис Константинович
Синтаксическая однозначность при представлении знаний в логике первого порядка
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Промский Алексей Владимирович
Формальная семантика C-light программ и их верификация методом Хоара
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Семич Дмитрий Фёдорович
Алгоритмы и программное обеспечение интерпретации данных радиоактивного каротажа нефтянных скважин
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Сидоров Владимир Анатольевич
Методы и средства программирования в ограничениях для систем автоматизации проектирования
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Сидорова Елена Анатольевна
Методы и программные средства для анализа документов на основе модели предметной области
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей
Черемушкин Евгений Сергеевич
Алгоритмы и программные системы для анализа регуляторных последовательностей ДНК
05.13.11 - математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей