Диссертации
Некоторые требования к авторефератам и диссертациям
![](/images/spacer.gif)
Шамгунов Н.Н.
Шамгунов Н.Н. Автореферат (PDF)
![](/images/spacer.gif)
Шамгунов Н.Н. Диссертация на тему «Разработка методов проектирования и реализации поведения программных систем на основе автоматного подхода» (PDF)
![](/images/spacer.gif)
Шопырин Д.Г.
Шопырин Д.Г. Автореферат (PDF)
![](/images/spacer.gif)
Шопырин Д.Г. Диссертация на тему «Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем» (PDF)
![](/images/spacer.gif)
Корнеев Г.А.
Автореферат кандидатской диссертации Корнеева Г.А. (PDF)
![](/images/spacer.gif)
Корнеев Г.А. Диссертация на тему «Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)
![](/images/spacer.gif)
Наумов Л.А.
Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов
![](/images/spacer.gif)
Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов (PDF)
![](/images/spacer.gif)
Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов — автореферат (PDF)
![](/images/spacer.gif)
Лобанов П.Г.
Лобанов П.Г. Автореферат (PDF)
![](/images/spacer.gif)
Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов» (PDF)
![](/images/spacer.gif)
Гуров В.С.
Гуров В.С. Автореферат (PDF)
![](/images/spacer.gif)
Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)» (PDF)
![](/images/spacer.gif)
Кубасов С.В.
Кубасов С.В. Автореферат (PDF)
![](/images/spacer.gif)
Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования» (PDF)
![](/images/spacer.gif)
Степанов О.Г.
Степанов О.Г. Автореферат (PDF)
![](/images/spacer.gif)
Степанов О.Г. Диссертация на тему «Методы реализации автоматных объектно-ориентированных программ» (PDF)
![](/images/spacer.gif)
Князев Е.Г.
Князев Е.Г. Автореферат (PDF)
![](/images/spacer.gif)
Князев Е.Г. Диссертация на тему «Автоматизированная классификация изменений исходного кода на основе кластеризации метрик в процессе разработки программного обеспечения» (PDF)
![](/images/spacer.gif)
Казаков М.А.
Казаков М.А. Автореферат (PDF)
![](/images/spacer.gif)
Казаков М.А. Презентация (PDF)
![](/images/spacer.gif)
Казаков М.А. Диссертация на тему «Методы построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)
![](/images/spacer.gif)
Мазин М.А.
Мазин М.А. Автореферат (PDF)
![](/images/spacer.gif)
Мазин М.А. Диссертация на тему «Автоматное программирование для среды языково-ориентированного программирования» (PDF)
![](/images/spacer.gif)
Царев Ф.Н.
Царев Ф.Н. Автореферат (PDF)
![](/images/spacer.gif)
Царев Ф.Н. Презентация (PDF)
![](/images/spacer.gif)
Царев Ф.Н. Диссертация на тему «Методы построения конечных автоматов на основе эволюционных алгоритмов» (PDF)
![](/images/spacer.gif)
Егоров К.В.
Егоров К.В. Автореферат (PDF)
![](/images/spacer.gif)
Егоров К.В. Презентация (PDF)
![](/images/spacer.gif)
Егоров К.В. Диссертация на тему «Генерация управляющих автоматов на основе генетического программирования и верификации» (PDF)
![](/images/spacer.gif)
Репозиторий с верификатором (внешняя ссылка: code.google.com)
![](/images/spacer.gif)
Буздалов М.В.
Буздалов М.В. Автореферат (PDF)
![](/images/spacer.gif)
Буздалов М.В. Диссертация на тему «Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов» (PDF)
![](/images/spacer.gif)
Буздалов М.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)
![](/images/spacer.gif)
Лукин М.А.
Лукин М.А. Автореферат (PDF)
![](/images/spacer.gif)
Лукин М.А. Диссертация на тему «Верификация автоматных программ» (PDF)
![](/images/spacer.gif)
Лукин М.А. Другие документы (внешняя ссылка: fppo.ifmo.ru)
![](/images/spacer.gif)
Чивилихин Д.С.
Чивилихин Д.С. Автореферат (PDF)
![](/images/spacer.gif)
Чивилихин Д.С. Диссертация на тему «Генерация конечных автоматов на основе муравьиных алгоритмов» (PDF)
![](/images/spacer.gif)
Чивилихин Д.С. Презентация (PDF)
![](/images/spacer.gif)
Ульянцев В.И.
Ульянцев В.И. Автореферат (PDF)
![](/images/spacer.gif)
Ульянцев В.И. Диссертация на тему «Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений» (PDF)
![](/images/spacer.gif)
Ульянцев В.И. Презентация (PDF)
![](/images/spacer.gif)
Сергушичев А.А.
Сергушичев А.А. Автореферат (PDF)
![](/images/spacer.gif)
Сергушичев А.А. Диссертация на тему «Методы вычислительного анализа метаболических моделей для интерпретации транскриптомных и метаболомных данных» (PDF)
![](/images/spacer.gif)
Сергушичев А.А. Презентация (PDF)
![](/images/spacer.gif)
Отзыв Ф.И. Атауллаханова (PDF)
![](/images/spacer.gif)
Отзыв С.А. Недоспасова (PDF)
![](/images/spacer.gif)
Казаков С.В.
Казаков С.В. Автореферат (PDF)
![](/images/spacer.gif)
Казаков С.В. Диссертация на тему «Автоматизация сборки генома и сравнительного анализа метагеномов для обучения геномной биоинформатике» (PDF)
![](/images/spacer.gif)
Казаков С.В. Презентация (PDF)
![](/images/spacer.gif)
Отзыв М.В. Дубины (PDF)
![](/images/spacer.gif)
Казаков С.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)
![](/images/spacer.gif)
Работы коллег
Кузьмин Е.В. Автореферат диссертации на тему «Алгоритмические свойства формальных моделей параллельных и распределенных систем» (PDF)
![](/images/spacer.gif)