| Имитационное моделирование систем ЮГ Карпов БХВ-Петербург, 2009 | 1486 | 2009 |
| MODEL СHECKING. Верификация параллельных и распределенных программных систем ЮГ Карпов БХВ-Петербург, 2010 | 377 | 2010 |
| Теория автоматов: Учебник для вузов ЮГ Карпов СПб.: Питер, 2002 | 366 | 2002 |
| Теория и технология программирования. Основы построения трансляторов ЮГ Карпов БХВ-Петербург, 2005 | 85 | 2005 |
| Математическая логика и теория алгоритмов ШИ Галиев Изд-во Казан. гос. техн. ун-та им. АН Туполева, 2004 | 50 | 2004 |
| К теории сверхпластической деформации ВВ Астанин, ОА Кайбышев, АИ Пшеничнюк ФММ 84 (6), 5, 1997 | 20 | 1997 |
| Изучение современных парадигм имитационного моделирования в среде Anylogic ЮГ Карпов Компьютерные инструменты в образовании, 3-14, 2005 | 19 | 2005 |
| Современная регентская практика: хормейстерский аспект ЮС Карпов Казанская государственная консерватория (академия) им. НГ Жиганова, 2006 | 16 | 2006 |
| Моделирование агентов-новая парадигма в имитационном моделировании ЮГ Карпов Режим доступа: http://mas. exponenta. ru/files/npo/texts/karpov. pdf, 2005 | 16 | 2005 |
| Профессиональный инструмент имитационного моделирования AnyLogic АВ Борщев, ЮГ Карпов В трудах первой всеросийской научно-практической конференции ИММОД-2003 …, 2003 | 13 | 2003 |
| Введение в язык Promela и систему комплексной верификации Spin ИВ Шошмина, ЮГ Карпов Изд-во Политехнического ун-та, 2010 | 9 | 2010 |
| Введение в язык Promela и систему комплексной верификации Spin: учебное пособие ИВ Шошмина, ЮГ Карпов | 8 | 2010 |
| Сложность алгоритмов и программ ЮГ Карпов, ПВ Трифонов Компьютерные инструменты в образовании, 3-10, 2007 | 8 | 2007 |
| Smart grid. Разработка приложений АН Беляев, РИ Ивановский, ЮГ Карпов, КА Сотников Информатика, телекоммуникации и управление, 115-121, 2011 | 6 | 2011 |
| Теория алгоритмов и автоматов ЮГ Карпов СПб.: Геликон Плюс, 2000 | 6 | 2000 |
| Электросопротивление и термоэдс сплавов PdMnxFe1 _ x НИ Коуров, ЮГ Карпов, НВ Волкова, ЛН Тюленев ФММ. 84 (6), 86, 1997 | 5 | 1997 |
| Новая жизнь верификации Ю Карпов Открытые системы. СУБД, 50-50, 2012 | 4 | 2012 |
| Сосуществование дальнего магнитного порядка и спинового стекла в упорядочивающемся сплаве FePdzAu с ГЦК решеткой МА Бороздина, ЮА Верещагин, ФА Сидоренко, АА Куранов, ПВ Гельд, ... Fizika metallov i metallovedenie 56, 80, 1983 | 4 | 1983 |
| Роль имитационного моделирования в задачах внедрения технологий SmartGrid КА Сотников, РИ Ивановский, АН Беляев, ЮГ Карпов Оперативное управление в электроэнергетике, 2012 | 3 | 2012 |
| Темпоральные логики для спецификации свойств программных и аппаратных систем ЮГ Карпов Компьютерные инструменты в образовании, 45-56, 2009 | 3 | 2009 |
