Статьи

Визуализаторы

• Корнеев Г. А., Шалыто А. А. Автоматизированное построение визуализаторов алгоритмов дискретной математики // Компьютерные инструменты в образовании. 2006, №5 .– c. 16−26.
• Корнеев Г. А. Язык описания визуализаторов алгоритмов // Научно-технический вестник СПбГУ ИТМО. 2006, №32 .– c. 68−74.
• Корнеев Г. А. Построение модели данных программы по исходному коду // Научно-технический вестник СПбГУ ИТМО. 2005, №25 .– c. 102−110.
• Корнеев Г. А. Метод преобразования программ в систему взаимодействующих автоматов / Труды «II межвузовской конференции молодых учёных» .– СПб.: СПбГУ ИТМО, 2005.– c. 65−72. (слайды)
• Корнеев Г. А., Шалыто А. А. Преобразование программ в систему взаимодействующих конечных автоматов / Труды Второй Всероссийской научной конференции «Методы и средства обработки информации» .– М.: МГУ, 2005.– c. 385−387.
• Корнеев Г. А. Преобразование программы в систему взаимодействующих автоматов, допускающих двустороннюю трассировку / Материалы политехнического симпозиума «Молодые ученые - промышленности Северо-Западного региона» .– СПб.: Политехнический университет, 2005.– c. 33−34.
• Корнеев Г. А., Шалыто А. А. Построение системы конечных автоматов по программному коду / Тезисы конференции «Software Engineering Conference in Russia (SECR-2005)» .– М.: РУССОФТ, 2005.– c. 12−12.
• Корнеев Г. А., Шалыто А. А. Построение визуализаторов алгоритмов дискретной математики // Научно-технический вестник СПбГУ ИТМО. 2005, №23 .– c. 118−129.
• Корнеев Г. А., Шалыто А. А. Vizi - язык описания логики визуализаторов алгоритмов // Научно-технический вестник СПбГУ ИТМО. 2005, №23 .– c. 130−138.
• Корнеев Г. А. Технология разработки визуализаторов алгоритмов / Труды «II межвузовской конференции молодых учёных» .– СПб.: СПбГУ ИТМО, 2004.– c. 18−23. (слайды)
• Korneev G. Finite State Automata Oriented Development of Algorithm Visualizers / Slides for «Joint Advanced Student School 2004» .– СПб: , 2004
• Казаков М. А., Корнеев Г. А., Шалыто А. А. Метод построения логики работы визуализатора алгоритмов на основе конечных автоматов // Телекоммуникации и информатизация образования. 2003, №6 .– c. 27−58.
• Корнеев Г. А., Шалыто А. А. Построение логики работы визуализаторов алгоритмов на основе автоматного подхода / Труды X Всероссийской научно-методической конференции «Телематика-2003» .– СПб.: СПбГИТМО (ТУ), 2003.– c. 378−379.
• Корнеев Г. А., Шалыто А. А. Реализация конечных автоматов с использованием объектно-ориентированного программирования / Труды X Всероссийской научно-методической конференции «Телематика-2003» .– СПб.: СПбГИТМО (ТУ), 2003.– c. 377−378.
• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Визуализаторы алгоритмов как основной инструмент технологии преподавания дискретной математики и программирования / Труды международной научно-методической конференции «Телематика-2001» .– СПб.: СПбГИТМО (ТУ), 2001.– c. 119−120.

Автоматное программирование

• Малаховски Я. М., Корнеев Г. А. Валидация автоматов с переменными на функциональных языках программирования // Научно-техническом вестнике СПбГУ ИТМО. 2010, №6 (70) .– c. 73−77.
• Korneev G., Shalyto A. State-Driven Programming / Slides for «Eurasian science symposium» .– Korea, Seoul: Korea Polytechnic University, 2007
• Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Верификация автоматных программ / Тезисы докладов Международной научной конференции, посвященной памяти профессора А. М. Богомолова «Компьютерные науки и технологии» .– Саратов: СГУ, 2007.– c. 66−69. (слайды)
• Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. Верификация управляющих программ со сложным поведением, построенных на основе автоматного подхода / Материалы международной научно-технической конференции «Многопроцессорные вычислительные и управляющие системы (МВУС`2007)» (том 1) .– Таганрог: НИИМВС, 2007.– c. 194−198.
• Корнеев Г. А., Казаков М. А. Классификация конечных автоматов при их использовании в программировании / Сборник трудов второй международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности» (том 5) .– СПб.: Политехнический Университет, 2006.– c. 131−132.
• Корнеев Г. А., Маврин П. Ю., Шалыто А. А. Формальная семантика диаграмм состояний, удобная для практического применения / Тезисы конференции «Software Engineering Conference in Russia «Paths to Competitive Advantage» (SECR-2006)» .– М.: РУССОФТ, 2006.– c. 43−46.
• Shamgunov N., Korneev G., Shalyto A. State Machine Design Pattern / Short communication papers of «4-th International Conference in Central Europe on .NET Technologies» .– Czech Republic: University of West Bohemia, 2006.– c. 51−58.
• Петрошенко П. А., Корнеев Г. А., Шалыто А. А. Реализация игры «Морской бой» на основе автоматного подхода // Компьютерные инструменты в образовании. 2005, №6 .– c. 72−82.
• Yartsev B., Korneev G., Shalyto A., Kotov V. Automata-Based Programming of the Reactive Multi-Agent Control Systems / Proceedings of international conference «Integration of knowledge intensive multi-agent systems (KIMAS 2005)» .– USA, MA: IEEE, 2005.– c. 449−453.
• Shalyto A., Naumov L., Korneev G. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata / Proceedings of international conference «Integration of knowledge intensive multi-agent systems (KIMAS 2005)» .– USA, MA: IEEE, 2005.– c. 460−465.
• Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. State Machine - расширение языка Java для эффективной реализации автоматов // Информационно-управляющие системы. 2005, №1 .– c. 16−24.
• Шамгунов Н. Н., Корнеев Г. А., Шалыто А. А. State Machine - новый паттерн объектно-ориентированного проектирования // Информационно-управляющие системы. 2004, №5 .– c. 13−25.
• Шамгунов Н. Н., Корнеев Г. А., Шалыто А. А. Паттерн State Machine. Внедрение. Сравнение с другими подходами / Интернет-публикация «» .– : ,
• Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. Обход деревьев на основе автоматного подхода // Компьютерные инструменты в образовании. 2004, №3 .– c. 32−37.
• Корнеев Г. А., Шамгунов Н. Н., Шалыто А. А. Обход деревьев на основе автоматного подхода / Труды XI Всероссийской научно-методической конференции «Телематика-2004» .– СПб.: СПбГУ ИТМО, 2004.– c. 182−183.

Соревнования

• Маврин П. Ю., Станкевич А. С., Корнеев Г. А., Шалыто А. А. Моделирование жизненного цикла компоненты программного комплекса использованием диаграмм состояний // Информатизация и связь. 2008, №2 .– c. 20−23.
• Маврин П. Ю., Станкевич А. С., Корнеев Г. А. Компонентная модель с поддержкой динамической реконфигурации / Материалы Международной научной конференции «Компьютерные науки и информационные технологии» .– Саратов: СГУ, 2009.– c. 240−241.
• Маврин П. Ю., Станкевич А. С., Корнеев Г. А. Построение компонентных систем с поддержкой динамической реконфигурации / Труды XVI Всероссийской научно-методической конференции «Телематика-2009» .– СПб.: СПбГУ ИТМО, 2009.– c. 289−289.
• Корнеев Г. А., Станкевич А. С. Методы тестирования решений задач на соревнованиях по программированию / Труды «II межвузовской конференции молодых учёных» .– СПб.: СПбГУ ИТМО, 2004.– c. 36−40. (слайды)
• Станкевич А. С., Корнеев Г. А., Маврин П. Ю. Использование конечных автоматов с магазинной памятью для автоматизации тестирования программных решений / Труды XI Всероссийской научно-методической конференции «Телематика-2005» .– СПб.: СПбГУ ИТМО, 2005.– c. 510−511.
• Корнеев Г. А., Елизаров Р. А. Автоматическое тестирование решений на соревнованиях по программированию // Телекоммуникации и информатизация образования. 2003, №1 .– c. 61−73.

Образование

• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Три кита подготовки программистов // Открытые системы. 2009, №3 .– c. 54−56.
• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Автоматное программирование и проектный подход при подготовке разработчиков программного обеспечения / Труды научно-технической конференции «Автоматное программирование и проектный подход при подготовке разработчиков» .– СПб.: СПбГПУ, 2008.– c. 248−250.
• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Инновационная система поиска и подготовки высококвалифицированных разработчиков программного обеспечения на основе проектного и соревновательного подходов / Труды Первого Санкт-Петербургского конгресса «Профессиональное образование, наука, инновации в XXI веке» .– СПб.: СПбГУ ИТМО, 2007.– c. 84−97.
• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Шалыто А. А. Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения / Труды Первого Санкт-Петербургского конгресса «Профессиональное образование, наука, инновации в XXI веке» .– СПб.: СПбГУ ИТМО, 2007.– c. 98−100.
• Васильев В. Н., Казаков М. А., Корнеев Г. А., Парфенов В. Г., Станкевич А. С. Полуфинальные соревнования чемпионата мира по программированию 2001-2002 гг. // Научно-технический вестник СПбГИТМО (ТУ). 2002, №6 .– c. 3−9.

Разборы задач

• Корнеев Г. А., Аксенов В. Е. Разбор задач Russian Code Cup 2012 / Слайды разбора задач «Russian Code Cup 2012» .– М.: Mail.ru Group, 2012
• Корнеев Г. А. Разбор задач Northern QF 2012 / Слайды разбора задач «ACM ICPC NEERC 2012-2013 Northern Subregion» .– СПб: СПбГУ ИТМО, 2012
• Корнеев Г. А. Разбор задач Northern QF 2011 / Слайды разбора задач «ACM ICPC NEERC 2011-2012 Northern Subregion» .– СПб: СПбГУ ИТМО, 2011
• Корнеев Г. А. Разбор задач Northern QF 2010 / Разбор задач «ACM ICPC NEERC 2010-2011 Northern Subregion» .– СПб: СПбГУ ИТМО, 2010 (слайды)
• Корнеев Г. А. Разбор задач Northern QF 2009 / Разбора задач «ACM ICPC NEERC 2009-2010 Northern Subregion» .– СПб: СПбГУ ИТМО, 2009 (слайды)
• Черепанов Е. А., Корнеев Г. А., Матюхин В. А. Решения задач XVI Всероссийской олимпиады школьников по информатике // Информатика: Еженедельное приложение к газете «Первое сентября». 2004, №9 .– c. ?−?.

Прочее

• Корнеев Г. А. Экстремальные пересечения геометрических фигур / Сборник тезисов конференции «Юность, Наука, Культура» (часть 1) .– Обнинск: Эврика, 1998.– c. 46−47.
• Федоров М. А., Корнеев Г. А. Современные трехмерные технологии на примере компьютерной игры / Сборник тезисов конференции «Юность, Наука, Культура» (часть 2) .– Обнинск: Эврика, 1998.– c. 20−22.