Научная
деятельность
Университет ИТМО

Меню

Cвидетельства на ПРЭВМ

№ свидетельства Название Дата регистрации в Реестре программ для ЭВМ Авторы
2012660273 Имитационно-обучающая программа: «Траекториятелеуправляемого летающего аппарата, как средство доставки самонаводящегося подводного снаряда к месту нахождения цели» 14.11.2012 Глотов И.В.,
Упатов Е.Г, Гуркин А.И.,
Щеглов К.А.,
Циварев А.А.
2012660224 Формирование словаря морфологических описаний слов 14.11.2012 Лапшин С.В. , Зикратов И.А.,
Лебедев И.С.,
Комаров И.И.
2012660205 ModelOrd- программа упорядочивания ЯМР-моделей белков 14.11.2012 Порозов Ю.Б.,
Алексеев И.А.
2012619995 Выделение контуров объектов на цифровом изображении 06.11.2012 Беззубик В.В.,
Белашенков Н.Н.,
Устинов С.Н.
2012621123 База данных AcademicRM 29.10.2012 Лямин А.В.,
Белашенкова Н.Н.,
Чежин М.С, Павлова А.А.
2012619313 Программа для ЭВМ «Программное обеспечение носимого устройства системы кардиореспираторного мониторинга» 16.10.2012 Кузнецов В.И.,
Рыжков Н.И.,
Никитенко А.Н.
2012619019 Программное средство эволюционных алгоритмов для генерации 05.10.2012 Буздалов М.В.
2012619018 Kalman Envelope Estimator 05.10.2012 Волынский М.А.,
Скаков П.С.
2012618842 Программа Обработка, анализ параметров и восстановление фазы картин интерференционных полос «Fringe Analyser» 28.09.2012 ВолковМ.В.
2012618610 PDB-by-RMSD 21.09.2012 Шевнин А.С. Порозов Ю.Б.
2012618609 Программный модуль «Сжатие трехмерных биомедицинских изображений с использованием их представления в форме октодерева» 21.09.2012 Потапов А.С.,
Жданов И.Н.,
Щербаков О.В.
2012618608 Программа деперсонализации персональных данных 21.09.2012 Куракин А.С.
2012618607 Программный модуль «Сегментация и классификация лейкоцитов на изображениях мазков крови» 21.09.2012 Дырнаев А.В.
2012618606 Редактор спецификаций технических и программных средств информационно- управляющих систем 21.09.2012 Пенский А.В.,
2012618606 Редактор спецификаций технических и программных средств информационно- управляющих систем 21.09.2012 Пенский А.В.,
Николаенков А.В.,
Платунов А.Е.
2,012,618,605 Редактор архитектурных спецификаций информационно-управляющих систем 21.09.2012 Пенский А.В.,
Николаенков А.В.,
Кустарев П.В.,
Ключев А.О.
2012618129 Сжатие без потерь изображений В-сканов в оптической когерентной томографии 07.09.2012 Потапов А.С.,
Каплиев Н.Н.
2012618128 Программа расчета фотонной зонной структуры периодических полностью диэлектрических метаматериалов 07.09.2012 Рыбин М.В.
2012618127 Программа декомпозиции области моделирования электромагнитных процессов конечно-разностными схемами для параллельных вычислений на суперкомпьютере 07.09.2012 Ладутенко К.С.
2012617950 Программа адаптивного управления с компенсацией возмущений «Iterative LCC Сontrol» 03.09.2012 Бобцов А.А.,
Колюбин С.А.,
Пыркин А.А.
2012617949 Программная система анализа и моделирования информационных процессов в социальных сетях «SD/Dynamics» 03.09.2012 Каширин В.В.,
Болгова Е.В.,
Бухановский А.В.,
Слот П.М.А.
2012617886 Распределенное хранилище файлов с поддержкой контроля версий 31.08.2012 Комаров И.И.,
Зикратов И.А.,
Лебедев И.С.,
Разумовский А.В.,
Спивак А.В.,
Бреева А.А.
2012617887 Виртуальная лабораторная работа «Исследование работы маслоизготовителя непрерывнрго действия» 31.08.2012 Балюбаш В.А.,
Алексеев Г.В.,
Алешкевич С.Е.,
Бриденко И.И.
2012617885 Клиент- серверная система регистрации и анализа параметров тремора «Тремометр» 31.08.2012 Порозов Ю.Б.,
Тихвинский Д.А.,
Порозов Б.Ю.
2012617882 Программный комплекс «Обработка видеоданных в корреляционной оптической когерентной томографии» 31.08.2012 Волынский М.А.,
Скаков П.С.
2012617881 Программный модуль «Рекуррентная обработка данных в спектральной оптической когерентной томографии» 31.08.2012 Волынский М.А.
2012617299 Формирование превизов текстов сценариев 14.08.2012 Воробьева А.А.,
Зикратов И.А.,
Лебедев И.С.,
Комаров И.И.,
Гвоздев А.В.,
Цветков Л.В.
2012617298 Восстановление трехмерной информации об объекте из цифровой голограммы Френеля 14.08.2012 Гендин В.Г.
2012617188 Синтез голограмм Френеля произвольных объектов 10.08.2012 Гендин В.Г.
2012617189 Поиск в специализированной базе данных семантико-синтаксической информации 10.08.2012 Воробьева А.А.,
Зикратов И.А.,
Лебедев И.С.,
Комаров И.И.,
Гвоздев А.В.,
Коваль Е.Н.
2012616785 Проблемно-ориентированный семантико-синтаксический анализатор 30.07.2012 Воробьева А.А.,
Зикратов И.А.,
Лебедев И.С.,
Комаров И.И.,
Гвоздев А.В.,
Шелевахо Е.В.
2012616774 Программное средство для сборки квазиконтигов из парных чтений 27.07.2012 Александров А.В.,
Казаков С.В.,
Мельников С.В.,
Сергушичев А.А.,
Федотов П.В.,
Царев Ф.Н.
2012616461 Программный модуль «Параметрическая идентификация многослойных случайно-неоднородных сред со случайными границами в системах ОКТ» 18.07.2012 Воробьева Е.А.,
Гуров И.П.
2012616462 Программное средство для построения графа совместимости вершин дерева сценариев работы программы 18.07.2012 Ульянцев В.И.,
Царев Ф.Н.
2012616479 Поиск оптимальных конструкций просветляющих покрытий методом полного комплексного перебора. 18.07.2012 Зверев В.А.,
Губанова Л.А.
2012616390 Коррекция цветопередачи камеры с помощью тестовой таблицы 12.07.2012 Горбунова Е.В.,
Чертов А.Н.
2012615103 Управление биотехническим устройством реабилитации: идентификация и классификация сигналов обратной связи 07.06.2012 Боргуль А.С.,
Бобцов А.А.
2012615104 Система стабилизации робота в неустойчивом положении 07.06.2012 Боргуль А.С.,
Кремлев А.С.,
Маргун А.А.
2012615105 Система стабилизации управления автономным двухколесным мобильным роботом 07.06.2012 Боргуль А.С.,
Бобцов А.А.,
Пыркин А.А.,
Зименко К.А.
2012620493 База данных полимерных композиционных материалов 30.05.2012 Яблочников Е.И.,
Фомина Ю.Н.,
Куликов Д.Д.,
Васильков С.Д.,
Афанасьев М.Я.
2012613938 Коррекция цветопередачи камеры с искажающей оптикой посредством анализа цвета изображения фона 27.04.2012 Горбунова Е.В.,
Чертов А.Н.,
Коротаев В.В.,
Тимофеев А.Н.
2012613939 Измерение параметров движения объектов с помощью телевизионной камеры 27.04.2012 Горбачев А.А.,
Пантюшин А.В.,
Лашманов О.Ю.,
Кулешова Е.Н.
2012613940 Измерение координат изображения радиоисточника, смоделированного на матрице радиотелескопа 27.04.2012 Коняхин И.А.,
Копылова Т.В.,
Усик А.А.,
Кулешова Е.Н.
2012613866 Программный модуль «Получение, сохранение и обработка данных измерений микроскопа-гиперспектрофотометра» 25.04.2012 Мельников А.В.,
Гуров И.П.,
Лопатин А.И.
2012613867 Программный модуль «Обработка и визуализация гиперспектрального куба» 25.04.2012 Мельников А.В.,
Гуров И.П.,
Лопатин А.И
2012613712 Программа для тестирования оптических 19.04.2012 Вакулин Д.А.
2012613575 Программный модуль «Помехоустойчивое сегментирование по нескольким кадрам видеопоследовательности» 16.04.2012 Козлов В.А.
2012612847 Оценка надежности архитектуры программного комплекса на этапе эскизного проектирования 22.03.2012 Григорьян К.А.,
Диланчян Т.Л.,
Соловьев И.Н.,
Зикратов И.А.,
Лебедев И.С.
2012612132 Программный модуль «Подсчет эритроцитов на изображениях мазков крови» 24.02.2012 Дырнаев А.В.
2012611773 Библиотека быстрых Prolog-предикатов для обработки списков 16.02.2012 Бессмертный И.А.
2012611590 Программное средство для проверки и учета использования уникальных кодов идентификации 10.02.2012 Дьяченко В.В.
2012611591 Программное обеспечение интеллектуального беспроводного видеодатчика 10.02.2012 Алексеев С.А.
2012611402 Визуализатор динамики оптических волновых пакетов из малого числа колебаний «MTVisual» 06.02.2012 Кислин Д.А.,
Князев М.А.,
Гусев С.И.,
Иванов Д.В.,
Звягин В.Ф.,
Козлов С.А.
2012611403 «Универсальная библиотека для автоматизации процесса создания тестовых данных с последующей передачей на удаленную ЭВМ» 06.02.2012 Серегин А.Н.
2012612380 Логическая структуризация текстов сценария 05.02.2012 Воробьева А.А.,
Зикратов И.А.,
Лебедев ИС.,
Комаров И.И.,
Гвоздев А.В.
2012610893 Программное средство генерации тестовых данных для задачи о поиске максимального потока с использованием генетических алгоритмов 20.01.2012 Буздалов М.В.
2012610895 Программный модуль « Метод восстановления глубины из фокусировки для микроскопических изображений» 20.01.2012 Аверкин А.Н.,
Потапов А.С.
2012610226 Коррекция цветопередачи камеры посредством анализа цвета фона на исследуемом изображении 10.01.2012 Коротаев В.В.,
Чертов А.Н.,
Горбунова Е.В.,
Тимофеев А.Н.
2012610227 DNA wavelets analyzer 10.01.2012 Порозов Ю.Б.,
Щербаков А.А.
2011617940 Программный комплекс для демонстрации энергосиловой установки изделия 243 11.10.2011 Чабановский Н.И.,
Солеев А .В.,
Васильев Е.А.
2011617733 Программа расчета спектральных и транспортных свойств квантовых графов «QGraph» 05.10.2011 Лобанов И.С.
2011617569 Программа обработки и анализа данных ионосферного спектрографа АИС-М «ScySpectrum» 28.09.2011 Гришенцев А.Ю.,
Коробейников А.Г.
2011617390 Программа численного моделирования маскирующих покрытий и задач трансформационной оптики методом конечных разностей во временной области « FDTD-2D-drude-ADE» 22.09.2011 Ладутенко К.С.,
Белов П.А.
2011617036 Конструктор кинематических схем 09.09.2011 Суворов А.С.,
Гвоздев С.С.
2011617035 Программа для управления параметрами электрического поля в ЖК устройствах 09.09.2011 Вакулин Д.А.,
Френкель Д.А.
2011616977 Виртуальная лаборатория для обучения методом искусственного интеллекта при построении конечных автоматов 08.09.2011 Тяхти А.С.,
Царев Ф.Н.,
Чебатуркин А.А.
2011616978 Программа вычисления параметров массопереноса для оценки степени деструктурирования сплошных сред 08.09.2011 Симоненко З.Г.,
Лысак А.А.,
Ткалич В.Л.,
Якушенков М.В.
2011616604 Программный комплекс для поверки тахеометров «TOTAL STATION» 25.08.2011 Воронцов Е.А.,
Виноградов Н.С.
2011616530 Phaseldent 19.08.2011 Арановский С.В.,
Бобцов А.А.
2011615714 Система управления данными наблюдений солнечно-земной физики «MoveLife» 21.07.2011 Гришенцев А.Ю.,
Муромцев Д.И.
2011615663 Программный модуль «Развертывание фазы трехмерного сигнала методом фильтрации Калмана с пространственно- временным предсказанием» 19.07.2011 Воробьева Е.А.,
Карпец А.А.
2011615664 Программное средство для генерации конечных автоматов с дискретными и непрерывными выходными воздействиями 19.07.2011 Александров А.В.,
Казаков С.В.,
Сергушичев А.А.,
Царев Ф.Н.
2011615490 Программное средство для автоматизированных рефакторингов в инструментальном средстве Unimod 14.07.2011 Федотов П.В.,
Шестаков А.В.
2011615492 Программное средство для построения управляющих конечных автоматов, решающих задачи навигации, с использованием генетических алгоритмов 14.07.2011 Буздалов М.В.
2011615489 Программный комплекс для проверки нивелиров «LEVEL-I» 14 .07.2011 Воронцов Е.А.,
Виноградов Н.С.
2011615491 Виртуальная лаборатория для обучения рефакторингу автоматных программ 14.07.2011 Федотов П.В.,
Лиференко К.А.
2011614453 Программный модуль «Контекстное обучение системы управления на основе теоретико-информационного критерия» 06.06.2011 Потапов А.С.,
Петерсон М.В.,
Свитенков А.И.
2011614454 Программное средство для удаления ошибок из набора чтений нуклеотидной последовательности 06.06.2011 Александров А.В.,
Исенбаев В.В.,
Казаков С.В.,
Мельников С.В.,
Сергушичев А.А., 
Царев Ф.Н.
2011614275 Semantic 30.05.2011 Бессмертный И.А.
2011613843 Программа автоматизи- рованного контроля микрогеометрии поверхностей с помощью непараметрических критериев ее оценки 18.05.2011 Филимонова Е.А.,
Валетов В.А.
2011611379 « Программное обеспечение для учебного лабораторного микропроцессорного стенда SDK-5.0» 11.02.2011 Ключев А.О.,
Ковязина Д.Р.,
Кустарев П.В.,
Петров Е.В.,
Платунов А.Е.
2011613724 Stereo 13.05.2011 Ларин М.С.
2011613748 Программный модуль «Помехоустойчивое построение оптического потока по нескольким кадрам» 13.05.2011 Козлов В.А.
2011613482 Обработка цифровых цветных изображений объектов при их классификации по цветному признаку 04.05.2011 Коротаев В.В.,
Чертов А.Н.,
Горбунова Е.В.,
Пантюшин А.В.,
Кулешова Е.Н.
2011613219 Реконструкция смазанных под углом полутоновых изображений методом регуляризации 25.04.2011 Дайнеко М.В.,
Сизиков В.С.
2011612823 Система управления интеллектуальными ресурсами «Reference DB» 08.04.2011 Муромцев Д.И.,
Гришенцев А.Ю.,
Варгин Г.В.,
Семерханов И.А.
2011611381 Высокопроизводительный программный комплекс моделирования динамики корабля в экстремальных условиях эксплуатации «ShipX-DS» 11.02.2011 Безгодов А.А.,
Иванов С.В.,
Бухановский А.В.
2011611379 « Программное обеспечение для учебного лабораторного микропроцессорного стенда SDK-5.0» 11.02.2011 Ключев А.О.,
Ковязина Д.Р.,
Кустарев П.В.,
Петров Е.В.,
Платунов А.Е.
2011611380 Инструментальная технологическая среда построения композитных приложений для моделирования сложных систем «Easis» 11.02.2011 Князьков К.В.,
Ларченко А.В.,
Марьин С.В.,
Ковальчук С.В.,
Бухановский А.В.
2011611378 Интеллектуальная платформа управления композитными приложениями в распределенных вычислительных средах «CAPEx» 11.02.2011 Марьин С.В.,
Ковальчук С.В.,
Бухановский А.В.
2011611030 Обучающая программа «Прогнозирование устойчивости организаций и корпораций в процессе взаимодействия на рынке» 28.01.2011 Жигулин Г.П.
2011611031 Система автоматизации работы приемной комиссии университета «AbitUMS» 28.01.2011 Болтунов Г.И.,
Вашенков О.Е.,
Лымарь А.Л.,
Лямин А.В.
2011611038 Обучающая программа «Прогнозирование устойчивости государства» 28.01.2011 Жигулин Г.П.
2011610944 Программа расчета пространственно-дисперсной диэлектрической проницаемости слоистой металло-диэлектрической наноструктуры «spatially dispersive epsilon» 25.01.2011 Чебыкин А.В.,
Белов П.А.
2011610739 Программа для амплитудного преобразования интенсивности цифровых голограмм Фурье 11.01.2011 Старченко А.П.
2011610633 Программный модуль «Инкрементное обучение параметризованных алгоритмов описания изображений» 11.01.2011 Аверкин А.Н.,
Потапов А.С.
2011610358 Программный комплекс прогнозирования информационных угроз 11.01.2011 Калиниченко А.И.,
Мандриков Е.А.,
Шабаев Р.И.
2010616463 Программный модуль «Адаптивная система распознавания образов на основе синтетических представлений» 29.09.2010 Потапов А.С.
2010616464 Программный модуль «Выделение огибающей интерференционных сигналов малой когерентности» 29.09.2010 Волынский М.А.,
Гуров И.П.
2010615978 Программный модуль «Система представления пространственной динамической информации» 13.09.2010 Петерсон М.В.,
Потапов А.С.
2010615979 Программа физического моделирования влияния функции передачи модуляции на сигналы изображений 13.09.2010 Старченко А.П.
2010615980 Программа построения косинусной голограммы при встраивании и восстановлении скрытых водяных знаков 13.09.2010 Старченко А.П.
2010615555 AR_MEASURE 27.08.2010 Ларин М.С.
2010615076 Программное средство для автоматической проверки контрактов и темпоральных спецификаций в среде MPS 05.08.2010 Борисенко А.А.,
Шалыто А.А
2010615014 Программное средство для генерации автоматов представленных линейными бинарными графами на основе генетического программирования 03.08.2010 Данилов В.Р.,
Шалыто А.А.
2010614824 «Программа для автоматизации процесса конвертации и передачи данных между компонентами автоматизированного производства микрообъективов» 23.07.2010 Саенко А.П.
2010614264 Программный комплекс для исследования автоматного управления роботами 30.06.2010 Алексеев С.А.,
Калиниченко А.И,
Клебан В.О.,
Шалыто А.А.
2010614196 Библиотека поддержки автоматного программирования для языка Haskell 29.06.2010 Малаховски Я.М.,
Шалыто А.А.
2010614197 Программное средство для построения управляющих конечных автоматов на основе обучающих примеров с использованием генетических алгоритмов 29.06.2010 Царев Ф.Н.
2010614088 Программа вычисления параметров массопереноса для оценки степени деструктурирования сплошных сред 23.06.2010 Симоненко З.Г.,
Лысак А.А.,
Ткалич В.Л.,
Якушенков М.В.
2010613829 Реконструкция смазанных и зашумленных изображений (RSNI) 10.06.2010 Сизиков В.С.
2010613537 POLYREG 28.05.2010 Арановский С.В.
2010613461 Программный модуль «Фрактальное представление изображений с индексацией по коэффициентам вейвлет-разложения» 26.05.2010 Потапов А.С.,
Окунев В.В.
2010613462 Программа адаптивного управления маятником «RWP Control» 26.05.2010 Бобцов А.А.,
Колюбин С.А..,
Пыркин А.А.
2010613463 Система управления интернет- соревнованиями «ICMS» 26.05.2010 Быков С.С.,
Шулепин Е.А.
20106120199 БД База знаний в области численных квантово-механических расчетов и моделирования наноразмерных структур и наноматериалов 19.03.2010 Бухановский А.В.,
Дунаев А.В.,
Маслов В.Г.,
Гуськов А.А.,
Федоров С.В.
2010610927 Программное средство для автоматической генерации движений челокоподобного робота в среде Webos 29.01.2010 Чеботарева Ю.К.,
Шалыто А.А.
2010610588 Expert 13.01.2010 Нестерук Ф.Г.,
Нестерук Г.Ф.
2010610161 Ядро высокопроизводительного программного комплекса для квантово-механических расчетов и моделирования наноразмерных атомно-молекулярных систем и комплексов «HPC-NASIS» 11.01.2010 Бухановский А.В.,
Васильев В.Н.,
Дунаев А.В.,
Иванов С.В.,
Ковальчук С.В.,
Ларченко А.В.,
Нечаев Ю.И.
2009615889 Программа расчета процессов формирования наночастиц,
нанопластин и нанотрубок « NAEN»
23.10.2009 Чивилихин С.А.,
Чивилихин Д.С.
2009615708 Программа моделирования ап-конверсионных процессов в лазерных материалах с наномасштабным распределением активатора «UPCONVERSION» 14.10.2009 Никоноров Н.В.,
Пржевуский А.К.,
Ситдиков В.М.
2009615622 Система автоматного управления макетом безэкипажного танка 08.10.2009 Клебан В.О.,
Шалыто А.А.
2009615456 Средство обеспечения взаимодействия автоматных программ,
реализующих адаптивное управление мобильными роботами
01.10.2009 Клебан В.О.,
Шалыто А.А.
2009615457 Программа расчета оптических фотоэлекрических свойств ансаблей наночастиц на поверхности и в объеме диэлектриков «PLASMON» 01.10.2009 Федоров С.В.,
Вартанян Т.А.
2009615458 "NanoImage" 01.10.2009 Розанов Н.Н.,
Высотина Н.В.,
Веретенов Н.А.
2009615459 Программа расчета выходных характеристик широкоапертурных твердотельных и полупроводниковых лазеров микронного размера с использованием характеристик квантовых точек «QDLaser» 01.10.2009 Федоров С.В.
2009615460 Программа расчета магнитной структуры «MAGNET» 01.10.2009 Уздин В.М.
2009615461 Программа расчета динамики возбуждения молекулярного агрегата «JAggregate» 01.10.2009 Розанов Н.Н.,
Федоров С.В.,
Высотина Н.В.,
Шацев А.Н.
2009615463 Программа расчета транспортных свойств нанотрубок на основе оксидов переходных металлов «NanoFlow» 01.10.2009 Чивилихин С.А.,
Свитенков А.И.
2009614719 Программный модуль» Построение систем локальных инвариантных признаков изображения на основе неполного преобразования Фурье-Меллина» 03.09.2009 Аверкин А.Н.,
Потапов А.С.
2009615462 Программа расчета свойств мезосистем на основе полуэмпирических моделей квантовой химии «SEMP» 03.08.2009 Маслов В.Г.
2009611989 Программа расчета многослойных оптических покрытий 20.04.2009 Андреев С.В.,
Путилин Э.С.
2009611995 Nat Coords 20.04.2009 Воронцов Е.А.,
Липатов П.А.
2009611989 Программа расчета многослойных оптических покрытий 20.04.2009 Андреев С.В.,
ПутилинЭ.С.
2009611420 Программный комплекс СБПЭТ(система быстрого прототипирования электропривода телескопа) 12.03.2009 Гурьянов А.В.,
Денисов К.М.
2009611398 Программный сервис электронной продажи билетов в сетях сотовой связи 12.03.2009 Бухановский А.В.,
Золотарев О.А.,
Гринина Е.А.,
Григорьев Р.Ю
2009611385 Модель устройства оценки динамической остроты зрения 10.03.2009 Саенко А.П.
2009611357 Программный комплекс «Определение толщины оптических постоянных тонких пленок» 06.03.2009 Альтшулер Е.В.,
Андреев С.В.,
Путилин Э.С.
2009611298 Def Coords 03.03.2009 Воронцов Е.А.,
Липатов П.А.
2009610784 Программа оптимизации вычисления параметров массопереноса в жидких средах с границей раздела 04.02.2009 Симоненко З.Г.,
Лысак А.А.,
Якушенков М.В.
2009610729 Информационно-справочная система по подготовке к печати издательской продукции 30.01.2009 Гусарова Н.Ф.,
Черницына Э.В.,
Зайцев А.Е..
2009610628 Инструментальная технологическая среда разработки мобильных онлайн-сервисов 27.01.2009 Бухановский А.В.,
Золотарев О.А.,
Гринина Е.А.,
Григорьев Р.Ю.
2009610500 Моделирование транспорта частиц в веществе 21.01.2009 Немнюгин С.А.
2009610121 Программная система моделирования эволюционной динамики эпидемиологических комплексных сетей 11.01.2009 Бухановский А.В.,
Иванов С.В.,
Колыхматов И.А.
2008614773 Программная система конструирования моделей совместных распределений гидрометеорологических величин«ME2COUPLES» 03.10.2008 Бухановский А.В.,
Комалева О.А.
2008614772 Программная система расчета экстремальных характеристик гидрометеорологических процессов на основе стохастического моделирования«ME2BOLIVAR» 03.10.2008 Бухановский А.В.,
Лопатухин Л.И.,
Рожков В.А.
2008614624 Ядро программного комплекса имитационного моделирования экстремальных гидрометеорологических явлений « ME2SIM» 25.09.2008 Бухановский А.В.,
Иванов С.В.,
Ковальчук С.В.
2008614608 Программная система анализа пространственно-временной изменчивости синоптических образований в атмосфере и океане«ME2STORMS» 24.09.2008 Бухановский А.В.
2008614609 Программная система оценивания климатических спектров морского волнения «ME2SPECTRA» 24.09.2008 Бухановский А.В.,
Иванов С.В.,
Ковальчук С.В.
2008614610 Программная система расчета режимных характеристик ветра и морского волнения «ME2REGIMT» 24.09. 2008 Бухановский А.В.,
Лопатухин Л.И.
2008614385 Программа «Система преобразования автоматной модели в модель Крипке и верификации CTL- свойств на ней 11.09.2008 Вельдер С.Э.,
Шалыто А.А.
2008614235 Транслятор автоматной модели во входной язык верификатора SMV 04.09.2008 Курбацкий Е.А.,
Шалыто А.А.
2008613207 Программа AdPNKInverse 02.07.2008 КозаченкоА.В.,
Полонский Ю.З.
2008612428 Программный модуль «Перцептивное группирование структурных элементов» 19.05.2008 Потапов А.С.
2008612429 Программный модуль «Теоретико-информационная аппроксимация изображений габоровскими функциями» 19.05.2008 Потапов А.С.
2008611181 Транслятор автоматной Uni- Modели во входной язык верификатора SPIN 06.03.2008 Лукин М.А.,
Шалыто А.А.
2008611055 Расширение верификатора Bogor для верификации автоматных Uni Mod- моделей 28.02.2008 Яминов Б.Р.,
Шалыто А.А.
2008610473 Программная система «Генетический генератор автоматов» 25.01.2008 Поликарпова Н.И.,
Точилин В.Н.
2007614173 Обработка изображения в оптической когерентной томографии для исследования биотканей (TOMO VIEW1.0) 01.10.2007 Таратин М.А.,
Гуров И.П.,
Аль-Шукри С.Х.,
Данильченко Д.И.,
Аль-Шукри А.С.
2006613980 Система дистанционного обучения «Academik NT» 21.11.2006 Лямин А.В.,
Вашенков О.Е.,
Волкова А.А.,
Чежин М.С.
200613817 Встраиваемый модуль автоматного программирования для среды разработки Eclipse 07.11.2006 Гуров В.С.,
МазинМ.А.,
ШалытоМ.А.
2006613249 Ядро автоматного программирования 14.09.2006 Гуров В.С.,
МазинМ.А.,
ШалытоМ.А.