Корнеев Георгий Александрович
- Ученая степень:
- кандидат технических наук
- Должность:
- Доцент факультета информационных технологий и программирования
-
- Занятия
- Расписание
Выпускник Университета ИТМО 2004 года.
Лауреат премии Правительства Российской Федерации 2008 года в области образования за научно-практическую и методическую разработку «Инновационная система поиска и подготовки высококвалифицированных специалистов в области производства программного обеспечения на основе проектного и соревновательного подходов» для образовательных учреждений высшего профессионального образования.
Публикации
Samborskii I., Filchenkov A., Korneev G., Farseev A.
Person, Organization, or Personage: Towards User Account Type Prediction in Microblogs, IET - 2018
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.I.
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 г.
VIZI — ЯЗЫК ОПИСАНИЯ ЛОГИКИ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
ПОСТРОЕНИЕ ВИЗУАЛИЗАТОРОВ АЛГОРИТМОВ ДИСКРЕТНОЙ МАТЕМАТИКИ
Статья опубликована Научно-технический вестник информационных технологий, механики и оптики в выпуске 7(23) за 2005 г.
Проекты
09/20/2011 - 12/31/2011