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

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

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

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

Публикации

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

Person, Organization, or Personage: Towards User Account Type Prediction in Microblogs//Communications in Computer and Information Science, 2019, Vol. 947, pp. 111-122 Подробнее

Filchenkov A., Kachalsky I.V., Zabashta A., Korneev G.

Generating Datasets for Classification Task and Predicting Best Classifiers with Conditional Generative Adversarial Networks//ICAAI 2019 Proceedings, 2019, pp. in press

Pavlova O., Korneev G., Sergushichev A., Filchenkov A.

Internship guidance and methodological advice for foreign students of ITMO University: Student handbook., 2019

Vatian A., Lobantsev A., Gorokhov N., Mirzayanov M., Korneev G., Gusarova N.F., Shalyto A.A.

Data processing approaches for lung CT-image analysis under resource constraints//Multi Conference on Computer Science and Information Systems; Proceedings of the International Conferences on E-health, 2019, pp. 19-26

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), 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, 2016, pp. 95-102

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

Person, Organization, or Personage: Towards User Account Type Prediction in Microblogs//Proceedings of First New Zealand Text Mining Workshop (TMNZ 2016), 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, 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, 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, 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