| Транспортеры и елеваторы сельскохозяйственного назначения. Теория и основы проектирования GV Korneev Машгиз, 1961 | 61 | 1961 |
| Олимпиадные задачи по программированию. Руководство по подготовке к соревнованиям СС Скиена, МА Ревилла М.: Кудиц-образ, 2005 | 47 | 2005 |
| State Machine новый паттерн объектно-ориентированного проектирования НН Шамгунов, ГА Корнеев, АА Шалыто Информационно-управляющие системы, 13-25, 2004 | 28 | 2004 |
| Матрица золотого сечения g 10 НА Балонин, МБ Сергеев Информационно-управляющие системы, 2-5, 2013 | 23 | 2013 |
| Разработка логики визуализаторов алгоритмов на основе конечных автоматов МА Казаков, ГА Корнеев, АА Шалыто Телекоммуникации и информатизация образования, 27-58, 2003 | 23 | 2003 |
| Реализация конечных автоматов с использованием объектно-ориентированного программирования ГА Корнеев, АА Шалыто Труды Х Всероссийской научно-методической конференции" Телематика 2, 377-378, 2003 | 17 | 2003 |
| Детали машин и подъемно-транспортные машины: Учебное пособие ФП Бондаровский, ГВ Корнеев Машгиз, 1962 | 16 | 1962 |
| Автоматическое тестирование решений на соревнованиях по программированию ГА Корнеев, РА Елизаров Телекоммуникации и информатизация образования, 61-73, 2003 | 15 | 2003 |
| Построение логики работы визуализаторов алгоритмов на основе автоматного подхода ГА Корнеев, МА Казаков, АА Шалыто Труды X Всероссийской научно-методической конференции «Телематика–2003». СПб …, 2003 | 11 | 2003 |
| Обход деревьев на основе автоматного подхода ГА Корнеев, НН Шамгунов, АА Шалыто Компьютерные инструменты в образовании, 32-37, 2004 | 10 | 2004 |
| Визуализаторы алгоритмов как основной инструмент технологии преподавания дискретной математики и программирования ГА Корнеев, ВГ Парфенов, СЕ Столяр, ВН Васильев Труды международной научно-методической конференции «Телематика-2001». СПб …, 2001 | 10 | 2001 |
| Применение проектного подхода на основе автоматного программирования при подготовке разработчиков программного обеспечения ВН Васильев, МА Казаков, ГА Корнеев, ВГ Парфенов, АА Шалыто Труды Первого Санкт-Петербургского конгресса «Профессиональное образование …, 2007 | 9 | 2007 |
| Верификация автоматных программ ГА Корнеев, ВГ Парфенов, АА Шалыто Компьютерные науки и технологии: Тез. докл. Междунар. науч. конф., по …, 2007 | 9 | 2007 |
| State Machine расширение языка Java для эффективной реализации автоматов НН Шамгунов, ГА Корнеев, АА Шалыто Информационно-управляющие системы, 16-24, 2005 | 9 | 2005 |
| Автоматизированное построение визуализаторов алгоритмов дискретной математики АА Шалыто, ГА Корнеев Компьютерные инструменты в образовании, 16-26, 2006 | 8 | 2006 |
| Построение визуализаторов алгоритмов дискретной математики ГА Корнеев, АА Шалыто Научно-технический вестник информационных технологий, механики и оптики, 126-137, 2005 | 8 | 2005 |
| Шалыто АА Паттерн State Machine для объектноориентированного проектирования автоматов НН Шамгунов, ГА Корнеев Информационно-управляющие системы, 13-25, 2004 | 8 | 2004 |
| Метод построения логики работы визуализатора алгоритмов на основе конечных автоматов ГА Корнеев, МА Казаков, АА Шалыто Телекоммуникации и информатизация образования, 27-58, 2003 | 8 | 2003 |
| Автоматизированная система тестирования программ ГА Корнеев Материалы VIII международной конференции" Современные технологии обучения …, 2002 | 7 | 2002 |
| Валидация автоматов с переменными на функциональных языках программирования ЯМ Малаховски, ГА Корнеев Научно-технический вестник информационных технологий, механики и оптики, 73-77, 2010 | 6 | 2010 |
