Диссертации



Некоторые требования к авторефератам и диссертациям

Шамгунов Н.Н.

Шамгунов Н.Н. Автореферат (PDF)

Шамгунов Н.Н. Диссертация на тему «Разработка методов проектирования и реализации поведения программных систем на основе автоматного подхода» (PDF)

Шопырин Д.Г.

Шопырин Д.Г. Автореферат (PDF)

Шопырин Д.Г. Диссертация на тему «Методы объектно-ориентированного проектирования и реализации программного обеспечения реактивных систем» (PDF)

Корнеев Г.А.

Автореферат кандидатской диссертации Корнеева Г.А. (PDF)

Корнеев Г.А. Диссертация на тему «Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)

Наумов Л.А.

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов (PDF)

Наумов Л.А. Метод введения обобщенных координат и инструментальное средство для автоматизации проектирования программного обеспечения вычислительных экспериментов с использованием клеточных автоматов — автореферат (PDF)

Лобанов П.Г.

Лобанов П.Г. Автореферат (PDF)

Лобанов П.Г. Диссертация на тему «Использование генетических алгоритмов для генерации конечных автоматов» (PDF)

Гуров В.С.

Гуров В.С. Автореферат (PDF)

Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)» (PDF)

Кубасов С.В.

Кубасов С.В. Автореферат (PDF)

Кубасов С.В. Диссертация на тему «Верификация автоматных программ в контексте синхронного программирования» (PDF)

Степанов О.Г.

Степанов О.Г. Автореферат (PDF)

Степанов О.Г. Диссертация на тему «Методы реализации автоматных объектно-ориентированных программ» (PDF)

Князев Е.Г.

Князев Е.Г. Автореферат (PDF)

Князев Е.Г. Диссертация на тему «Автоматизированная классификация изменений исходного кода на основе кластеризации метрик в процессе разработки программного обеспечения» (PDF)

Казаков М.А.

Казаков М.А. Автореферат (PDF)

Казаков М.А. Презентация (PDF)

Казаков М.А. Диссертация на тему «Методы построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода» (PDF)

Мазин М.А.

Мазин М.А. Автореферат (PDF)

Мазин М.А. Диссертация на тему «Автоматное программирование для среды языково-ориентированного программирования» (PDF)

Царев Ф.Н.

Царев Ф.Н. Автореферат (PDF)

Царев Ф.Н. Презентация (PDF)

Царев Ф.Н. Диссертация на тему «Методы построения конечных автоматов на основе эволюционных алгоритмов» (PDF)

Егоров К.В.

Егоров К.В. Автореферат (PDF)

Егоров К.В. Презентация (PDF)

Егоров К.В. Диссертация на тему «Генерация управляющих автоматов на основе генетического программирования и верификации» (PDF)

Репозиторий с верификатором (внешняя ссылка: code.google.com)

Буздалов М.В.

Буздалов М.В. Автореферат (PDF)

Буздалов М.В. Диссертация на тему «Генерация тестов для определения неэффективных решений олимпиадных задач по программированию с использованием эволюционных алгоритмов» (PDF)

Буздалов М.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Лукин М.А.

Лукин М.А. Автореферат (PDF)

Лукин М.А. Диссертация на тему «Верификация автоматных программ» (PDF)

Лукин М.А. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Чивилихин Д.С.

Чивилихин Д.С. Автореферат (PDF)

Чивилихин Д.С. Диссертация на тему «Генерация конечных автоматов на основе муравьиных алгоритмов» (PDF)

Чивилихин Д.С. Презентация (PDF)

Ульянцев В.И.

Ульянцев В.И. Автореферат (PDF)

Ульянцев В.И. Диссертация на тему «Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений» (PDF)

Ульянцев В.И. Презентация (PDF)

Сергушичев А.А.

Сергушичев А.А. Автореферат (PDF)

Сергушичев А.А. Диссертация на тему «Методы вычислительного анализа метаболических моделей для интерпретации транскриптомных и метаболомных данных» (PDF)

Сергушичев А.А. Презентация (PDF)

Отзыв Ф.И. Атауллаханова (PDF)

Отзыв С.А. Недоспасова (PDF)

Казаков С.В.

Казаков С.В. Автореферат (PDF)

Казаков С.В. Диссертация на тему «Автоматизация сборки генома и сравнительного анализа метагеномов для обучения геномной биоинформатике» (PDF)

Казаков С.В. Презентация (PDF)

Отзыв М.В. Дубины (PDF)

Казаков С.В. Другие документы (внешняя ссылка: fppo.ifmo.ru)

Работы коллег

Кузьмин Е.В. Автореферат диссертации на тему «Алгоритмические свойства формальных моделей параллельных и распределенных систем» (PDF)