Перейти к содержимому страницы.

Корнеев Георгий Александрович

Выпускник Университета ИТМО 2004 года.

Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.

Публикации

Avdyukhin D., Chivilikhin D., Korneev G., Ulyantsev V., Shalyto A.

Plant Trace Generation for Formal Plant Model Inference: Methods and Case Study//Proceedings of 2017 15th IEEE International Conference on Industrial Informatics (INDIN), IET - 2017, pp. 746-752 Подробнее

Petrova I., Buzdalova A., Korneev G.

Runtime Analysis of Random Local Search with Reinforcement Based Selection of Non-Stationary Auxiliary Objectives: Initial Study//Mendel, IET - 2016, pp. 95-102

Samborskii I., Filchenkov A., Korneev G., Farseev A.

Person, Organization, or Personage: Towards User Account Type Prediction in Microblogs//Proceedings of First New Zealand Text Mining Workshop (TMNZ 2016), IET - 2016 Подробнее

Antipov D., Buzdalov M., Korneev G.

First Steps in Runtime Analysis of Worst-Case Execution Time Test Generation for the Dijkstra Algorithm using an Evolutionary Algorithm//Mendel, IET - 2016, pp. 43-48

Eremeev A., Korneev G., Semenov A., Veijalainen J.

The spanning tree based approach for solving the shortest path problem in social graphs//WEBIST 2016 - Proceedings of the 12th International Conference on Web Information Systems and Technologies, IET - 2016, Vol. 1, pp. 42-53 Подробнее

Buzdalova A., Matveeva A., Korneev G.

Selection of Auxiliary Objectives with Multi-Objective Reinforcement Learning//GECCO'15: Proceedings of the 2015 Genetic and Evolutionary Computation Conference, IET - 2015, pp. 1177-1180 Подробнее

Корнеев Г.А., Малаховски Я.М.

Валидация автоматов с переменными на функциональных языках программирования // Научно-технический вестник СПбГУ ИТМО -2010. - № 06(70). - С. 73-77

Публикации в репозитории Университета ИТМО

Малаховски Я. М., Корнеев Г. А.
ПРИМЕНЕНИЕ ЗАВИСИМЫХ СИСТЕМ ТИПОВ СО СТРУКТУРНОЙ ИНДУКЦИЕЙ ДЛЯ ВЕРИФИКАЦИИ РЕАКТИВНЫХ ПРОГРАММ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(82) за 2012 г.

Корнеев Г. А., Малаховски Я. М.
ВАЛИДАЦИЯ АВТОМАТОВ С ПЕРЕМЕННЫМИ НА ФУНКЦИОНАЛЬНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 6(70) за 2010 г.

Корнеев Г. А., Шалыто А. А.
Язык описания визуализаторов алгоритмов
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 9(32) за 2006 г.

Шалыто А. А., Корнеев Г. А.
ПОСТРОЕНИЕ МОДЕЛИ ДАННЫХ ПРОГРАММЫ ПО ИСХОДНОМУ КОДУ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 2(25) за 2006 г.

Корнеев Г. А., Шалыто А. А.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Корнеев Г. А., Шалыто А. А.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.

Проекты

Подготовка и переподготовка профессиональных специалистов на базе центров образования и разработок в сфере информационных технологий в Северо-Западном ФО
09/20/2011 - 12/31/2011