close

Вход

Забыли?

вход по аккаунту

?

4413.Валерий Анатольевич Соколов библиографический указатель.

код для вставкиСкачать
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
Министерство образования и науки Российской Федерации
Федеральное агентство по образованию
Ярославский государственный университет им. П. Г. Демидова
Научная библиотека
Серия
“Ученые университета”
Валерий Анатольевич
СОКОЛОВ
Биобиблиографический указатель
Ярославль 2009
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
УДК 002
ББК Я19:В18+В18я1
С 59
Рекомендовано
Редакционно-издательским советом университета
в качестве справочного издания. План 2009 года
Составители:
С 59
И. В. Денежкина
И. Ю. Кормнова
Валерий Анатольевич Соколов: биобиблиографический указатель / сост.: И. В. Денежкина, И. Ю. Кормнова; Яросл. гос. ун-т
им. П. Г. Демидова. – Ярославль: ЯрГУ, 2009. – 32 с. – (Серия «Ученые университета»).
Биобиблиографический указатель составлен к 65-летию со дня рождения В. А. Соколова, доктора физико-математических наук, профессора,
ведущего специалиста Ярославской научной школы теоретической информатики. Публикации В. А. Соколова даются в хронологическом порядке. Составители выражают благодарность всем лицам, помогавшим в
подготовке указателя.
Библиогр.: 129 назв.
УДК 002
ББК Я19:В18+В18я1
© Ярославский государственный университет им. П. Г. Демидова, 2009
Справочное издание
Серия
“Ученые университета”
Валерий Анатольевич
СОКОЛОВ
Биобиблиографический указатель
Составители: Денежкина Ирина Викторовна
Кормнова Ирина Юрьевна
Корректор И. В. Бунакова
Верстка И. Н. Иванова
Подписано в печать 16.11.09. Формат 60×84 1/16. Бум. офсетная.
Гарнитура "Times New Roman". Усл. печ. л. 1,86. Уч.-изд. л. 1,16.
Тираж 100 экз. Заказ 003/10.
Оригинал-макет подготовлен в редакционно-издательском отделе
Ярославского государственного университета им. П. Г. Демидова.
Отпечатано на ризографе.
Ярославский государственный университет им. П. Г. Демидова.
150000, Ярославль, ул. Советская, 14.
J2K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
J3K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
J4K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
Валерий Анатольевич
СОКОЛОВ
В
идный ученый в области теоретической информатики;
• доктор физико-математических наук;
• профессор, заведующий кафедрой теоретической информатики Ярославского государственного университета
им. П. Г. Демидова;
• руководитель Научно-образовательного центра инновационного программирования ЯрГУ;
• главный редактор научного журнала «Моделирование и анализ информационных систем»; член редколлегий двух других академических журналов;
• заслуженный работник высшей школы Российской Федерации;
• почетный работник Ярославского государственного университета им. П. Г. Демидова;
• проректор по учебной работе ЯрГУ (1988–2000 гг.);
• лауреат премии Областного конкурса на лучшую научноисследовательскую работу в области естественных наук (2006 г.);
• член научно-методического совета по математике Министерства образования и науки РФ;
• заместитель председателя диссертационного совета при Институте программных систем им. А. К. Айламазяна Российской
академии наук (РАН), член двух других диссертационных советов
при ЯрГУ;
• академик Российской академии естественных наук (РАЕН),
заместитель председателя Президиума Ярославского регионального отделения РАЕН, председатель секции информатики и прикладной математики этого отделения;
J5K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
• награжден медалью имени П. Л. Капицы РАЕН за достижения в науке (2000 г.) и знаком «За отличные успехи в работе» Государственного комитета СССР по народному образованию
(1991 г.);
• научный руководитель проектов, поддержанных грантами
Российского фонда фундаментальных исследований (РФФИ), Министерства образования и науки РФ, Федерального агентства по
науке и инновациям (в рамках Федеральной целевой программы
«Научные и научно-педагогические кадры инновационной России» на 2009–2013 гг.);
• руководитель исследовательской группы от Ярославского
государственного университета им. П. Г. Демидова в рамках международного научного проекта INTAS-РФФИ «Модели и средства
для анализа и верификации распределенных систем» (1997–
1998 гг.) в составе исследовательских групп Института информатики и прикладной математики Университета Жозефа Фурье
(Гренобль, Франция), Университета имени Гумбольдта (Берлин,
Германия), Института систем информатики им. А. П. Ершова СО
РАН (Новосибирск, Россия), Санкт-Петербургского государственного технического университета и Ярославского государственного
университета;
• член программных комитетов и рецензент отечественных и
международных конференций по информатике («Parallel Computing Technologies», «Perspectives of Systems Informatics»,
SYRCoSE, «Методы и средства обработки информации» и др.), а
также ряда коллоквиумов;
• эксперт Российского фонда фундаментальных исследований;
• автор и соавтор более 100 научных публикаций в различных
отечественных и международных периодических изданиях и трудах конференций;
• автор и соавтор монографий и учебных пособий с грифами
Министерства общего и профессионального образования России и
Учебно-методического объединения по классическому университетскому образованию;
J6K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
• талантливый преподаватель, среди учеников которого кандидаты наук, доктора и профессора западноевропейских университетов;
• признанный лидер Ярославской научной школы теоретической информатики.
Основные научные интересы В. А. Соколова относятся к таким областям, как:
• дискретная математика и математическая кибернетика;
• теоретические основы информатики;
• математическая логика и теория алгоритмов;
• анализ и моделирование компьютерных процессов;
• формальные модели семантики параллельных и распределённых систем, методы их анализа и верификации;
• сети Петри и их применение для моделирования систем;
• программные системы и модели;
• верификация программ;
• е-технологии и программные комплексы.
Валерий Анатольевич Соколов родился 4 августа 1944 года в городе Иваново в семье преподавателей Ивановского сельскохозяйственного института.
В 1961 году с серебряной медалью
окончил
среднюю
школу
№ 11
г. Луганска и поступил на физикоматематический факультет Ивановского
педагогического института. В январе
1963 года, по рекомендации академика
А. И. Мальцева, переехавшего к тому
времени из Иваново в Новосибирский
Академгородок, Валерий Анатольевич
Школьник. 1956 г.
был переведён на первый курс механико-математического факультета Новосибирского государственного университета. В 1967 году с отличием окончил его по кафедре алгебры и математической логики и
J7K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
был направлен в аспирантуру Института математики СО АН СССР в
отдел математической логики по
специальности
«Математическая
логика и программирование».
Будучи
студентом,
В. А. Соколов начал активно заниматься научной работой в знаменитом семинаре «Алгебра и логика»
под руководством А. И. Мальцева.
В 1966 году получил первый серьезный результат, решив проблему
В. А. Успенского об изоморфизме
максимальных подалгебр алгебры
Р. Робинсона одноместных примитивно-рекурсивных функций, который был опубликован в журнале Студент НГУ 2 курс. 1964 г.
«Алгебра и логика».
В связи с осложнением международной обстановки в декабре
1967 года был призван в армию.
После демобилизации продолжил
учебу в аспирантуре Института
математики СО АН СССР. В декабре 1971 года закончил ее,
представив диссертацию «Об алгебре многоместных частично рекурсивных функций с операцией
суперпозиции», и по распределению был направлен на работу в
Ярославский
государственный
университет. Защитил кандидатскую диссертацию в марте
1973 года в Москве в МГПИ
им. В. И. Ленина, где в то время
Солдат. 1968 г.
работал основатель отечественной
J8K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
школы математической логики академик П. С. Новиков, а оппонентами на защите выступали известные учёные из МГУ
им. М. В. Ломоносова В. А. Успенский и Г. П. Гаврилов.
С 1971 года В. А. Соколов работает в Ярославском государственном университете. За время работы на кафедре теоретической
кибернетики математического факультета, которой заведовал в то
время замечательный математик и педагог А. Ю. Левин, Валерий
Анатольевич выполнил цикл работ по теории алгоритмов, математической логике и эвристическому программированию, а также
участвовал в разработке и постановке преподавания программирования на математическом факультете.
В 1979 году был командирован в Алжирскую НародноДемократическую Республику, где работал преподавателем на кафедре высшей математики Национального института нефти, газа и
химии. По окончании командировки был награжден грамотой посольства СССР в АНДР.
В 1983 году В. А. Соколов вернулся в Ярославль и по приглашению заведующего кафедрой исследования операций и вычислительных систем Ю. А. Маматова приступил к работе на этой
кафедре математического факультета ЯрГУ.
В 1986 году В. А. Соколов принимает участие в создании факультета информатики и вычислительной техники (ИВТ) ЯрГУ,
организует на новом факультете кафедру системного программирования,
которую
возглавил
член-корреспондент
АН
В. П. Иванников, а В. А. Соколов назначается его заместителем. В
этот период Валерий Анатольевич под руководством академика
В. А. Мельникова и члена-корреспондента В. П. Иванникова активно занимается исследованиями, связанными с разработкой математического обеспечения перспективных ЭВМ, в частности,
системного программного обеспечения векторно-конвейерной суперЭВМ.
В последующие 10 лет Валерий Анатольевич проводит исследования, связанные с моделированием и анализом параллельных и
распределенных систем, с проблемами корректности рекурсивнопараллельных программ, а также программ для машин, управляемых потоком данных; читает лекционные курсы «ВычислительJ9K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
ные машины и программирование», «Языки программирования и
методы трансляции», «Теория параллельных вычислений», «Теория алгоритмов», «Дискретная математика и математическая логика», «Теория вероятностей», «Методы вычислений», «Формальные языки и грамматики», «Программирование на языке C», «Верификация программ», «Сети Петри и моделирование систем».
В связи с расширением тематики научных исследований кафедра системного программирования в 1988 году была преобразована в кафедру теоретической информатики, и В. А. Соколов становится её заведующим.
Для поддержки
разработки концепции рекурсивно-параллельной вычислительной системы,
осуществлявшейся в
Институте проблем
вычислительной
техники РАН, под
руководством
В. А. Соколова была
«Открываем Америку» с ректором
создана система моГ. С. Мироновым. 1989 г.
делирования, анализа и верификации
рекурсивно-параллельных программ на основе использования сетей Петри. Результаты этих исследований, в частности, нашли отражение в диссертации его ученицы О. Б. Кушнаренко, защита которой состоялась во Франции в Институте информатики и прикладной математики Гренобля в 1997 году.
В соавторстве с доцентом кафедры Э. Е. Рубцовой Валерием
Анатольевичем была разработана технология моделирования программ для машин, управляемых потоком данных, основанная на
принципе структурирования этих программ и позволяющая проверять их корректность.
Другим важным направлением в исследованиях В. А. Соколова являлось построение, исследование и оптимизация модеJ 10 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
лей транспортных протоколов в телекоммуникационных сетях.
В этой области информатики Валерием Анатольевичем вместе с
учениками И. В. Алексеевым и Д. Ю. Чалым получены важные и
интересные результаты, опубликованные в нескольких выпусках
«Lerture Notes in Computer Science» крупнейшего научного издательства Springer.
В 1988 году В. А. Соколов назначается проректором университета по
учебной работе и работает
в этой должности до 2000
года, успешно сочетая научную и педагогическую
деятельности с административной. В этот сложный
для высшей школы период
Проректор. 1988 г.
В. А. Соколов внес большой вклад в укрепление
позиций университета и его развитие, а также в установление и
расширение его международных связей.
На протяжении 20 лет при кафедре теоретической информатики
под
руководством
В. А. Соколова работает научный семинар «Моделирование
и анализ информационных систем», в котором рассматривается широкий круг вопросов,
связанных с разработкой, анализом и проектированием вычислительных и информационных систем, а также построением и исследованием их
математических моделей. За
это время на базе семинара
сформировалась целая школа
На лекции. 2000 г.
по теоретической информатиJ 11 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
ке, в рамках которой получены крупные научные результаты, получившие признание как внутри нашей страны, так и за рубежом.
В коллективе сложилась доброжелательная, творческая атмосфера, способствующая росту молодых сотрудников, успешно функционирует аспирантура, появились свои докторанты. Половину из
числа преподавателей кафедры составляют ученики В. А. Соколова. В поддержку научных исследований им был создан журнал «Моделирование и анализ информационных систем», главным
редактором которого вот уже 10 лет он является.
В сотрудничестве со своими учениками В. А. Соколов за последние годы провёл много важных исследований, отмеченных
грантами и наградами различных уровней, результаты которых
опубликованы в ведущих отечественных и зарубежных изданиях.
Среди учеников Валерия Анатольевича есть стипендиаты Президента РФ, отечественных и зарубежных научных ассоциаций и
фондов, лауреаты областных и всероссийских конкурсов.
В соавторстве с Е. В. Кузьминым в центральном издательстве
«Физматлит» вышла монография «Структурированные системы
переходов», в которой представлена целостная теория таких систем. Определен и исследован новый класс вполне структурированных систем переходов автоматного типа; исследован формализм, позволяющий строить модели параллельных и распределенных систем, которые представляют собой независимые от данных
помеченные системы переходов; предложена реализация класса
взаимодействующих процессов,
независимых от данных – взаимодействующие раскрашивающие процессы.
В другой монографии «Моделирование и анализ транспортных протоколов в информационных сетях», написанной
в соавторстве с И. В. Алексеевым и Д. Ю. Чалым, представДома за работой
лен разработанный авторами
новый подход к моделированию, анализу и верификации коммуJ 12 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
никационных протоколов и улучшению их характеристик. Построена эффективная модификация транспортного Интернетпротокола TCP. Совместно с Е. А. Тимофеевым предложен способ
решения задачи оптимизации работы транспортных протоколов в
сетях с коммутацией пакетов данных.
Результаты многолетних
исследований
легли в основу докторской
диссертации
В. А. Соколова «Моделирование распределенных
систем и анализ их семантических свойств»,
защита которой состоялась в 2006 году в Ярославском государственС академиком С. М. Никольским
ном университете, где
на конференции. 2005 г.
оппонентами выступили
ученые с мировыми именами – профессора В. Н. Вагин (Москва),
И. А. Ломазова (Москва), В. Э. Малышкин (Новосибирск), а ведущей организацией – факультет вычислительной математики и
кибернетики МГУ.
Валерий Анатольевич поддерживает обширные научные связи
с крупными научными центрами в Москве, Новосибирске, СанктПетербурге, во Франции, Голландии, Германии, Италии, США. Он
участник более тридцати всероссийских и международных конференций. Возглавляемый им научный коллектив получил известность и признание в России и за рубежом.
В 2009 году Валерию Анатольевичу Соколову исполняется
65 лет. От всей души поздравляю Валерия Анатольевича с юбилеем. Желаю ему и его семье крепкого здоровья, процветания и новых творческих успехов.
Ректор Ярославского государственного
университета им. П. Г. Демидова,
доктор химических наук, профессор
А. И. Русаков
J 13 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
1967 – 1976 годы
Библиографический
указатель трудов
В. А. Соколова
1967 год
1. Об изоморфизмах максимальных подалгебр алгебры Робинсона / В. А. Соколов // Алгебра и логика. – № 6 (3). – 1967. –
С. 91–99.
1970 год
2. Алгебры рекурсивных функций, связанные с классами Еn
/ В. А. Соколов // Тезисы докладов конференции по алгебре, математической логике и вычислительной математике. – Иваново,
1970. – С. 37–40.
1971 год
3. Замечания о классе частичных функций счетнозначной логики / В. А. Соколов // Дискретный анализ. – 1971. – № 19. –
С. 56–62.
4. Об алгебре всех частично рекурсивных функций / В. А. Соколов // Одиннадцатая Всесоюзная алгебраическая конференция :
тез. докл. Кишинев, 1971 г. – Кишинев, 1971. – С. 272–273.
1972 год
5. О максимальных подалгебрах алгебры всех частично рекурсивных функций / В. А. Соколов // Кибернетика. – 1972. – № 1. –
С. 70–73.
J 14 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1967 – 1976 годы
6. Некоторые свойства алгебры всех частично рекурсивных
функций / В. А. Соколов // Математические исследования. –
1972. – Т. 7, № 1. – Кишинев: Институт математики и ВЦ АН
МССР, 1972. – С. 133–149.
1974 год
7. О мощности множества «эффективных» предельных логик
/ В. А. Соколов // Третья Всесоюзная конференция по теоретической кибернетике: тез. докл. – Новосибирск: Институт математики
СО АН СССР. – 1974. – С. 120–121.
1975 год
8. Об одной задаче в классе вычислимых функций с операцией суперпозиции / В. А. Соколов // Вестник Ярославского университета. – Ярославль, 1975. – Вып. 9. – С. 111–114.
1976 год
9. Задачи упорядочения, возникающие при проведении интегрированной обработки информации / В. А. Бондаренко, В. С. Рублев, В. А. Соколов // Эвристические алгоритмы оптимизации
/ Яросл. гос. ун-т. – Ярославль, 1976. – С. 50–65.
10. Исключение дублирующих путей получения показателей
/ В. А. Бондаренко, Ю. И. Макарский, В. С. Рублев, В. А. Соколов
// Эвристические алгоритмы оптимизации / Яросл. гос. ун-т. –
Ярославль, 1976. – С. 24–49.
11. Расположение информационных массивов на магнитных
лентах при заданном порядке обращений к ним / В. А. Бондаренко, В. С. Рублев, В. А. Соколов // Эвристические алгоритмы оптимизации / Яросл. гос. ун-т. – Ярославль, 1976. – С. 66–75.
12. Совместное упорядочение расположения входной и образования выходной информации / В. А. Бондаренко, В. С. Рублев,
В. А. Соколов // Эвристические алгоритмы оптимизации / Яросл.
гос. ун-т. – Ярославль, 1976. – С. 114–143.
J 15 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
13. Упорядочение образования массивов при заданном расположении в памяти входной информации / В. А. Бондаренко,
В. С. Рублев, В. А. Соколов // Эвристические алгоритмы оптимизации / Яросл. гос. ун-т. – Ярославль, 1976. – С. 76–113.
1977 год
14. Об одном классе тождеств в алгебре Робинсона / В. А. Соколов // Четырнадцатая Всесоюзная алгебраическая конференция:
тез. докл. Новосибирск, 1977 г. – Новосибирск, 1977. – Т. 2. –
С. 123–124.
1978 год
15. «Нулевые» тождества в алгебре Робинсона / В. А. Соколов
// Эвристические алгоритмы оптимизации / Яросл. гос. ун-т. –
Ярославль, 1978. – С. 137–146.
16. Об одном подходе к оптимизации оперативного управления флотом / В. С. Рублев, В. А. Соколов // Эвристические алгоритмы оптимизации / Яросл. гос. ун-т. – Ярославль, 1978. –
С. 107–136.
1982 год
17. Mathematiques: Travaux pratiques / V. Sokolov; Institut
National des Hydrocarbures. – Boumerdes (Algerie): INH, 1982. –
27 р.
1985 год
18. Об одной модели параллельных вычислений / В. А Соколов // Вычислительные системы и процессы / Яросл. гос. ун-т. –
Ярославль, 1985. – С. 62–76.
1977 – 1993 годы
J 16 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1977 – 1993 годы
1986 год
19. Вычисление частично рекурсивных функций сетями Петри
/ В. А. Соколов // Модели и алгоритмы математического обеспечения вычислительных систем / Яросл. гос. ун-т. – Ярославль,
1986. – С. 100–105.
1987 год
20. Замечание о классе функций, вычислимых сетями Петри
/ В. А. Соколов // Моделирование и анализ вычислительных систем / Яросл. гос. ун-т. – Ярославль, 1987. – С. 119–123.
21. Об одной задаче в теории сетей Петри / В. А. Соколов
// Математические методы в исследовании операций: сб. тез. докл.
Межд. науч. конф. София, 1987 г. (Болгария). – София: Институт
математики АН Болгарии, 1987. – С. 48.
1988 год
22. Два подхода к реализации вызова и передачи параметров
процедур в ЭВМ, управляемой потоком данных / Г. М. Бродский,
В. А. Соколов // Параллельное программирование и высокопроизводительные структуры: тез. докл. 13-го Всесоюзн. семинара. Киев, 1988 г. – Киев, 1988. – С. 136.
23. Интегрированный подход к преподаванию цикла логикоалгоритмических дисциплин / В. А. Соколов // Совершенствование научно-методической работы как одно из главных направлений перестройки высшей школы: тез. науч.-метод. конф. Ярославль, 1988 г. – Ярославль, 1988. – С. 71–72.
24. К вопросу о формализации вычислений, управляемых потоком данных / В. А. Соколов // Вторая Всесоюзная конференция
по прикладной логике: сб. тез. докл. – Новосибирск: Институт математики СО АН СССР, 1988. – С. 219–221.
25. Об одном подходе к реализации циклов и процедур на
ЭВМ, управляемых потоком данных / Г. М. Бродский, В. А. Соколов // Моделирование и оптимизация вычислительных систем и
процессов / Яросл. гос. ун-т. – Ярославль: ЯрГУ, 1988. – С. 41–44.
J 17 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
1990 год
26. Статический подход к распределению памяти в системе
программирования для ЭВМ, управляемых потоком данных
/ Г. М. Бродский, В. А. Соколов // Вычислительные системы: моделирование, проектирование и программирование / Яросл. гос.
ун-т. – Ярославль, 1990. – С. 14–20.
1991 год
27. К проблеме построения компиляторов для параллельных
систем распределенного типа / О. К. Кушнаренко, О. Л. Подземский, В. А. Соколов, Б. В. Тамаров // Многопроцессорные вычислительные системы и параллельные алгоритмы / Яросл. гос.
ун-т. – Ярославль, 1991. – С. 8–14.
1992 год
28. Визуализация сетевых моделей процессов управления в
параллельных программах / В. А. Соколов, Б. В. Тамаров // Архитектура и программное обеспечение вычислительных систем
/ Яросл. гос. ун-т. – Ярославль, 1992. – С. 32–34.
1993 год
29. Анализ внешнего поведения одного класса программ для
машин потоков данных / Н. А. Абрамова, Э. Е. Рубцова,
В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т – Ярославль, 1993. – Т. 2. – С. 106–120.
30. Метод формализации анализа программ для машин,
управляемых потоком данных / Э. И. Рубцова, В. А. Соколов //
Теоретические и прикладные проблемы моделирования предметных областей в системах баз данных и знаний: сб. тез. докл. 2-го
Межд. научно-техн. семинара. – Киев: Институт кибернетики,
1993. – Т. 2. – С. 190–194.
J 18 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1994 – 1997 годы
31. Некоторые проблемы анализа и редукции сетей Петри
/ О. В. Ноева, Н. С. Сидорова, В. А. Соколов // Методы и системы
технической диагностики: сб. тез. докл. 10-й Международной
конференции по проблемам теоретической кибернетики. – Саратов: СГУ, 1993. – Вып. 18. – С. 164–166.
32. Об операциях редукции сетей Петри / Н. С. Сидорова,
В. А. Соколов // Третья Международная конференция по алгебре
памяти М. И. Каргаполова: сб. тез. докл. – Красноярск: КрасГУ,
1993. – С. 305–306.
33. Применение сетей Петри для анализа программ, написанных на языке параллельного программирования / А. И. Легалов,
В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т. – Ярославль, 1993. – Т. 1. – С. 27–44.
34. Система автоматизированного проектирования и моделирования / О. В. Ноева, В. А. Соколов // Теоретические и прикладные
проблемы моделирования предметных областей в системах баз данных и знаний: сб. тез. докл. 2-го Межд. научно-техн. семинара. –
Киев: Институт кибернетики, 1993. – Т. 2. – С. 194–196.
35. Формальные языки и грамматики: задачи и упражнения:
учеб. пособие / В. А. Соколов, О. Б Кушнаренко, Н. М. Бадин;
Яросл. гос. ун-т. – Ярославль: ЯрГУ, 1993. – 52 с.
1994 год
36. Метод функционального проектирования робототехнологических измерительных комплексов / В. К. Мясников, В. А. Соколов, Б. В. Тамаров // Моделирование и анализ информационных
систем / Яросл. гос. ун-т. – Ярославль, 1994. – Т. 2. – С. 81–91.
37. Метод функционального проектирования робототехнологических измерительных комплексов и средства их анализа
/ В. А. Соколов, Б. В. Тамаров // Теоретические и прикладные
проблемы моделирования предметных областей в системах баз
данных и знаний: материалы 3-го Межд. научно-техн. семинара.
Рыбачье, 1994 г. – Рыбачье, 1994. – С. 95–98.
1994 – 1997 годы
38. Модели внешнего поведения ациклических программ для
машин потоков данных / Н. А. Абрамова, Э. Е. Рубцова, В. А. СоJ 19 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
колов // Моделирование и анализ информационных систем
/ Яросл. гос. ун-т. – Ярославль, 1994. – Т. 2. – С. 3–12.
39. Модели программ для машин потоков данных / Н. А. Абрамова, Э. Е. Рубцова, В. А. Соколов // Моделирование и анализ
информационных систем /Яросл. гос. ун-т. – Ярославль, 1994. –
Т. 2. – С. 13–22.
40. Рекурсивно-параллельное программирование и сети Петри: моделирование, анализ и верификация программ / О. Б. Кушнаренко, В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т. – Ярославль, 1994. – Т. 2. – С. 91–97.
1995 год
41. Анализ семантических свойств одного класса рекурсивнопараллельных программ / О. Б. Кушнаренко, В. А. Соколов // Четвертая Международная конференция по прикладной логике: сб.
тезисов докладов. – Иркутск: ИГУ, 1995. – С. 72–73.
42. Инструментальные средства разработки и анализа программ для машин потоков данных / С. А. Рубцов, Э. Е. Рубцова,
В. А. Соколов // Цели и содержание инженерного образования в
техническом университете: сб. трудов науч.-метод. конф. / Яросл.
гос. техн. ун-т. – Ярославль, 1995. – С. 75.
43. О научной работе на кафедре теоретической информатики
факультета ИВТ / В. А. Соколов // Актуальные проблемы естественных и гуманитарных наук. Математика. Информатика: тез.
докл. юбил. науч. конф. / Яросл. гос. ун-т. – Ярославль, 1995. –
С. 119–130.
44. Об одном подходе к семантическому анализу и доказательству правильности рекурсивно-параллельных программ
/ О. Б. Кушнаренко, В. А. Соколов // Актуальные проблемы естественных и гуманитарных наук. Математика. Информатика: тез.
докл. юбил. науч. конф. / Яросл. гос. ун-т. – Ярославль, 1995. –
С. 134–137.
45. Проблемы разработки формализованных семантических
моделей программ для машин потоков данных / Э. Е. Рубцова,
В. А. Соколов // Актуальные проблемы естественных и гуманиJ 20 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1994 – 1997 годы
тарных наук. Математика. Информатика: тез. докл. юбил. науч.
конф. / Яросл. гос. ун-т. – Ярославль, 1995. – С. 140–143.
1996 год
46. Conception of a regional centre of distance learning
/ А. И. Русаков, В. А. Соколов // Open and Distance Learning as a
Development Strategy: рroc. of II Intern. Conf. on Distance Education
in Russia. – Moscow, 1996. – Vol. 2. – Р. 571-572.
47. Модели и свойства класса структурированных программ в
языках потоков данных / Э. Е. Рубцова, В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т. –
Ярославль, 1996. – Т. 3. – С. 127–157.
48. О последовательных шаблонах в технологии рекурсивнопараллельного программирования / Н. М. Бадин, Г. М. Бродский,
В. А. Соколов // Проблемы теоретической кибернетики: сб. трудов
11-й Межд. конф. – Ульяновск, 1996. – С. 14–15.
1997 год
49. On a Technology of Design and Analysis of Dataflow Programs / V. A. Sokolov, E. E. Roubtsova, S. A Roubtsov // Lecture
Notes in Computer Sciences. – Berlin: Springer-Verlag, 1997. –
№ 1277. – Р. 115–120.
50. Методика разработки и анализа структурированных программ для машин потоков данных / Э. Е. Рубцова, С. А. Рубцов,
В. А. Соколов // Использование новых информационных технологий в учебном процессе кафедр физики и математики: сб. тез.
докл. 4-го Межд. семинара-совещания. – Ульяновск, 1997. – Ч. 2. –
С. 43–44.
51. Структурированные сети потоков данных / С. А. Рубцов,
Э. Е. Рубцова, В. А. Соколов // Математическое моделирование и
компьютерные технологии: сб. тезисов докладов Всероссийского
симпозиума. – Кисловодск, 1997. – Т. 3. Информационные системы. – С. 93–94.
J 21 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
52. Языковые средства рекурсивно-параллельного программирования / Н. М. Бадин, Г. М. Бродский Г. М., В. А. Соколов
// Актуальные проблемы современной математики: сб. науч. трудов. – Новосибирск, 1997. – Т. 3. – С. 19–28.
1998 – 2001 годы
1998 год
53. Behaviourial Equivalences on Communication Free Petri Nets
/ N. S. Sidorova, V. A. Sokolov, N. Yu. Yustinova // Третий Международный конгресс по индустриальной и прикладной математике
«INPRIM-98»: сб. докл. – Новосибирск: Институт математики СО
РАН, 1998.
54. Symbolic Reachability Analysis of Data Flow Programs with
Data Structures / E. E. Roubtsova, N. S. Sidorova, V. A. Sokolov
// Третий Международный конгресс по индустриальной и прикладной математике «INPRIM-98»: сб. докл. – Новосибирск: Институт математики СО РАН, 1998.
55. Формальные языки и грамматики: учеб. пособие
/ В. А. Соколов ; Яросл. гос. ун-т. – Ярославль: ЯрГУ, 1998. –
152 с.
1999 год
56. Model for Reachability Analysis of Data-Flow Graphs with
Queues and Stacks / E. E Roubtsova, V. A. Sokolov // Моделирование и анализ информационных систем / Яросл. гос. ун-т. – Ярославль, 1999. – Т. 6, № 1. – С. 50–57.
57. Recursive Parallel Programming Language and its Application
to Algebraic Computations / N. M. Badin, G. M. Brodskiy, V. A. Sokolov // Joint NCC & IIS Bulletin, Computer Science.– Новосибирск:
Институт систем информатики им. А. П. Ершова СО РАН, 1999. –
№ 11. – С. 1–14.
58. Ноден, П. Алгебраическая алгоритмика: с упражнениями и
решениями : для использования в учебном процессе для студентов
вузов по специальностям «Прикладная математика» и «Прикладная математика и информатика» / П. Ноден, К. Ките; научноJ 22 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
1998 – 2001 годы
метод. совет по прикладной математике УМО ун-тов; пер. с фр.
В. А. Соколова; под ред. Л. С. Казарина. – М.: Мир, 1999. –
720 с. – Перевод изд.: Algoritmique algebrique: аvec exercices
corriges / P. Nodin, C. Quitte. – Paris: MASSON, 1992.
59. Протокол TCP с адаптацией скорости / И. В. Алексеев,
В. А. Соколов // Моделирование и анализ информационных систем /Яросл. гос. ун-т. – Ярославль, 1999. – Т. 6, № 1. – С. 4–12.
2000 год
60. Compensation Mechanism for Adaptive Rate TCP
/ V. I. Alekseev, V. A. Sokolov // First IEEE Popov Workshop on Internet Technologies and Services: сб. трудов Межд. семинара. Москва, 2000 г. – М., 2000. – Т. 2. – С. 68–75.
61. Информационно-образовательная среда для поддержки
обучения по прикладной математике и информатике в Ярославском государственном университете. / В. А. Соколов, Н. Ю. Юстинова // Развитие новых технологий в системе образования РФ: тез.
докл. 2-й региональной науч.-практич. конф. – Ярославль, 2000. –
С. 53–54.
2001 год
62. ARTCP: Efficient Algorithm for Transport Protocol for Packet
Switched Networks / I. V. Alekseev, V. A. Sokolov // Lecture Notes in
Computer Science. – Berlin: Springer-Verlag, 2001. – № 2127. –
Р. 159–174.
63. Dynamical Priorities without Time Measurement and Modification of the TCP / V. A. Sokolov, E. A. Timofeev // Lecture Notes in
Computer Science. – Berlin: Springer-Verlag, 2001. – № 2244. –
Р. 240-245.
64. Dynamical Priorities without Time Measurement and Modification of the TCP / V. A. Sokolov, E. A. Timofeev // Andrei Ershov Fourth
International Conference «Perspectives of System Informatics PSI2001»: сб. трудов Межд. конф. – Новосибирск: Институт систем информатики СО РАН им. А. П. Ершова, 2001. – С. 141–146.
J 23 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
65. Интернет-образ магистратуры по прикладной математике
и информатике: анализ ресурсов сети / М. Г. Дмитриев, В. А. Соколов // ТЕЛЕМАТИКА-2001: тез. Межд. науч.-метод. конф. –
Санкт-Петербург: Санкт-Петербургский государственный институт точной механики и оптики, 2001. – С. 259–260.
66. Создание информационной системы по подготовке магистров по прикладной математике и информатике / М. Г. Дмитриев,
А. А. Зазовская, В. С. Сенашенко, Н. Р. Сенаторова, В. А. Соколов
// Университетское образование в России: проблемы и перспективы:
тез. Всерос. науч.-метод. конф. – СПб.: СПбГУ, 2001. – С. 33–34.
67. Справочно-информационная система поддержки магистратуры по прикладной математике и информатике / А. М. Дмитриев, М. Г. Дмитриев, А. А. Зазовская, И. А. Ломазова, А. П. Петров, В. А. Соколов // Тридцать седьмая Всероссийская научнометодическая конференция по проблемам математики, информатики, физики, химии и методики преподавания естественнонаучных дисциплин: сб. тез. секций «Методика и педагогика», «Проблемы высшего и среднего образования в XXI веке». – М.: РУДН,
2001. – С. 168-171.
68. Языки, автоматы, грамматики: сб. задач и упражнений
/ В. А. Соколов; Яросл. гос. ун-т. – Ярославль: ЯрГУ, 2001. – 24 с.
2002 – 2003 годы
2002 год
69. Modeling and Traffic Analysis of the Adaptive Rate Transport
Protocol / I. V. Alekseev, V. A. Sokolov // Future Generation Computer Systems. – North-Holland: ELSVIER, 2002. – V. 18, № 6. – Р. 813–
827.
70. Болгаро-Российская образовательная ассоциация как пилотный проект общеевропейской культурной интеграции
/ М. Г. Дмитриев, В. И. Лазарев, В. В. Ржевский, С. А. Розанова,
В. А. Соколов // Глобализация и устойчивое развитие: сб. докл.
Межд. науч. конф. Болгария. Варна, 1 – 3 июля 2002 г. – Варна:
Варненский свободный университет, 2002. – Кн. 2. – С. 265–269.
71. Глобализация: социально-экономические и культурные
противоречия / С. А. Кащенко, Г. С. Миронов, Л. Б. Парфенова,
J 24 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
2002 – 2003 годы
В. А. Соколов // Глобализация и устойчивое развитие: сб. докл.
Межд. науч. конф. Болгария. Варна, 1–3 июля 2002 г. – Варна:
Варненский свободный университет, 2002 . – Кн. 2. – С. 88–96.
72. Интернет и образовательные консорциумы / М. Г. Дмитриев, С. А. Розанова, В. А. Соколов // Технологии информационного общества – Интернет и современное общество (ISI / IMS –
2002): труды 5-й Всерос. объед. конф. – СПб.: СПбГУ, 2002. –
С. 174–176.
73. Международная кооперация университетов как фактор их
стабильного развития / М. Г. Дмитриев, С. А. Розанова,
В. А. Соколов // Глобализация и устойчивое развитие: сб. докл.
Межд. науч. конф. Болгария. Варна, 1 – 3 июля 2002 г. – Варна:
Варненский свободный университет, 2002. – Кн. 5. – С. 32–36.
2003 год
74. An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks / D. Yu. Chaly, V. A Sokolov
// Lecture Notes in Computer Science. – Berlin: Springer–Verlag,
2003. – № 2763. – Р. 66–75.
75. Communicating Colouring Automata / E. V. Kouzmin,
V. A. Sokolov // Program Understanding -2003: Satellite Workshop of
Fifth International Conference «Perspectives of System Informatics PSI2003»: сб. трудов Межд. семинара. – Новосибирск: Институт систем
информатики СО РАН им. А. П. Ершова, 2003 – С. 40–46.
76. Использование вложенных сетей Петри для моделирования бизнес-процессов / О. Е. Горбунов, В. А. Соколов // Актуальные проблемы развития экономики: сб. тез. Межд. науч.-практ.
конф. – Иваново: ИГХТУ, 2003. – С. 112–114.
77. Курс «Верификация программ» в подготовке магистров по
прикладной математике и информатике / В. А. Соколов // Функциональные пространства. Дифференциальные операторы. Проблемы математического образования: сб. трудов 2-й Межд. конф.,
посвященной 80-летию чл.-корр. РАН Л. Д. Кудрявцева. – М.:
ФИЗМАТЛИТ, 2003. – С. 338–340.
J 25 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
78. Моделирование причинно-следственных связей учебного
плана / В. А. Соколов // Проблемы теории и методики обучения. –
М.: РУДН, 2003. – № 7. – С. 71–74.
79. Моделирование, оптимизация и верификация транспортных протоколов / В. А. Соколов, Е. А. Тимофеев, Д. Ю. Чалый
// Методы и средства обработки информации : труды 1-й Всерос.
науч. конф. МСО, Москва, 2003 г. – М.: МГУ, 2003. – С. 254–259.
80. Некоторые вопросы информационной и аналитической поддержки магистерской подготовки/ В. А. Соколов. – М.: Изд-во
РУДН, 2003. – 194 с. – Содерж.: Гл. 1, 2, 3, 4, 5.
81. Новые информационные технологии управления бизнеспроцессами / О. Е. Горбунов, В. А. Соколов // Стратегия бизнеса и
социально-экономическое развитие региона: сб. ст. 6-й Всерос.
науч.-практ. конф. – Ярославль: МЭСИ, 2003. – С. 23–26.
82. Об использовании вложенных сетей Петри для моделирования бизнес-процессов / О. Е. Горбунов, В. А. Соколов // Проблемы экономики, финансов и управления производством: сб. науч. трудов вузов России. – Иваново: ИГХТУ, 2003. – Вып. 14. –
С. 253–263.
83. Оптимизация обработки запросов к большим базам данных методами ТМО / В. А. Соколов, П. П. Черменский // Материалы Всероссийской научной конференции, посвященной 200летию Ярославского государственного университета им. П. Г. Демидова. Информатика и вычислительная техника. Ярославль, 30–
31 окт. 2003 г. /Яросл. гос. ун-т. – Ярославль, 2003. – С. 13–16.
84. Особенности национального бакалавриата / В. А. Соколов
// Проблемы теории и методики обучения. – М.: РУДН. – 2003. –
№ 8. – С. 9–14.
85. Особенности организации информационной службы фирмы. / А. Б. Дроздов, В. А. Соколов // Актуальные проблемы развития экономики: сб. тез. Межд. науч.-практ. конф. – Иваново:
ИГХТУ, 2003. – С. 114–116.
86. Портал Центра современного образования / М. Г. Дмитриев, С. А. Розанова, В. А. Соколов // ТЕЛЕМАТИКА-2003: тез.
Межд. науч.-метод. конф. – СПб.: Санкт-Петербургский государJ 26 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
2004 – 2005 годы
ственный институт точной механики и оптики, 2003. – С. 220–
222.
87. Проверка свойств вполне структурированных моделей
/ Е. В. Кузьмин, В. А. Соколов // Материалы Всероссийской научной конференции, посвященной 200-летию Ярославского государственного университета им. П. Г. Демидова. Информатика и вычислительная техника. Ярославль, 30–31 окт. 2003 г. / Яросл. гос.
ун-т. – Ярославль, 2003. – С. 50–54.
88. Формальные языки и грамматики: учеб. пособие / В. А Соколов ; Яросл. гос. ун-т. – 2-е изд., испр. – Ярославль: ЯрГУ,
2003. – 152 с.
89. Языки, автоматы, грамматики: сб. задач и упражнений
/ В. А. Соколов; Яросл. гос. ун-т. – 2-е изд., испр. – Ярославль:
ЯрГУ, 2003. – 24 с.
2004 год
90. Model Checking µ-Calculus in Well-Structured Transition
Systems / Е. В. Кузьмин, В. А. Соколов, Н. В. Шилов // Temporal
Repressentation and Reasoning: труды II-го Межд. симп. – France,
Tatihou: IEEE Press, 2004. – Р. 152–155.
91. Model Checking μ-Calculus in Well-Structured Transition Systems / E. V. Kouzmin, N. V Shilov, V. A. Sokolov // Temporal Representation and Reasonin : сб. докл. XI-го Межд. симпозиума TIME2004 g. – Tatihou, France: IEEE Press, 2004. – Р. 152–155.
92. Model Checking for Well-Structured Transition Systems of
Automaton Type / E. V. Kouzmin, V. A Sokolov // Распределенные
информационно-вычислительные ресурсы и математическое моделирование: сб. трудов рабочего совещания Межд. конференции
по вычислительной математике «МКВМ-2004». – Новосибирск:
Институт вычислительной математики и математической геофизики СО РАН, 2004 – С. 73–85.
93. Model Checking μ-Calculus in Well-Structured Transition Systems / E. V. Kouzmin, N. V. Shilov, V. A. Sokolov // Joint NCC & IIC
Bulletin, Computer Science. – Новосибирск: Институт систем информатики им. А. П. Ершова СО РАН, 2004. – С. 49–59.
2004 – 2005 годы
J 27 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
94. Some Historical Aspects of Education by Correspondence in
Russia as a Prototype of Modern Conception of Open Education
/ Т. Ф. Бурухина, М. Г. Дмитриев, Г. С. Жукова, В. А. Соколов
// Образование, наука и экономика в вузах. Интеграция в международное образовательное пространство: труды Межд. науч.
конф. – Словакия, Высокие Татры; М., 2004. – С. 260–264.
95. Взаимодействующие
раскрашивающие
процессы
/ Е. В. Кузьмин, В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т. – Ярославль, 2004. – Т. 11,
№ 2. – С. 8–17.
96. Инновационные стратегии российских образовательных учреждений при интеграции в международное образовательное пространство / В. А. Лазарев, С. А. Розанова, А. С. Сигов, В. А. Соколов
// Образование, наука и экономика в вузах. Интеграция в международное образовательное пространство: труды Межд. науч. конф. –
Словакия, Высокие Татры; М., 2004. – С. 78–83.
97. Методы исследования поведения транспортных протоколов в условиях интенсивного сетевого трафика / В. А. Соколов,
Д. Ю. Чалый // Распределенные информационно-вычислительные ресурсы и математическое моделирование: сб. трудов
рабочего совещания Межд. конференции по вычислительной
математике «МКВМ-2004». – Новосибирск: Институт вычислительной математики и математической геофизики СО РАН,
2004 – С. 126–131.
98. Методы исследования поведения транспортных протоколов в условиях интенсивного сетевого трафика / В. А. Соколов,
Д. Ю. Чалый // Computational Mathematics ICCM-2004, Workshop
«Distributed Information Computing Resources and Mathematical
Modeling»: труды Межд. науч. конф. – Новосибирск: ИВМиМГ
СО РАН, 2004. – С. 126–131.
99. Моделирование и анализ транспортных протоколов в информационных сетях / И. А. Алексеев, В. А. Соколов, Д. Ю. Чалый; под ред. В. А. Соколова ; Яросл. гос. ун-т. – Ярославль:
ЯрГУ, 2004. – 262 с.
100. Проверка модели для вполне структурированных систем
переходов автоматного типа / Е. В. Кузьмин, В. А. Соколов
J 28 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
2006 – 2009 годы
// Computational Mathematics ICCM-2004, Workshop «Distributed
Information Computing Resources and Mathematical Modeling»: труды Межд. науч. конф. – Новосибирск: ИВМиМГ СО РАН, 2004. –
С. 73–85.
2005 год
101. An Approach to the Implementation of the Dynamical Priorities Method / V. A. Sokolov, E. A. Timofeev // Lecture Notes in Computer Sciences. – Berlin: Springer-Verlag, 2005. – № 3606. – Р. 74–78.
102. Вполне структурированные системы помеченных переходов / Е. В. Кузьмин, В. А. Соколов. – М.: Физматлит, 2005. –
176 с.
103. Исследование свойств класса вполне структурированных
систем переходов / Е. В. Кузьмин, В. А. Соколов // Методы и
средства обработки информации: труды 2-й Всерос. науч. конф.
МСО-2005. – М.: Изд-во МГУ, 2005. – С. 388–393.
104. Об информационной поддержке многоуровневого образования и мобильности студентов / М. Г. Дмитриев, И. А. Ломазова, В. А. Соколов // Современные проблемы преподавания
математики и информатики: матер. Межд. науч. конф., посвящ.
100-летию акад. С. М. Никольского, – М.: Изд-во МГУ, 2005. –
Ч. 1. – С. 112–113.
105. Обоснование выбора и анализ моделей управления передачей информации в сетях / В. А. Соколов // Вестник компьютерных и информационных технологий. – М.: Машиностроение,
2005. – № 7. – С. 30–36.
106. Разработка инструментальных средств моделирования
систем на основе одного класса сетей Петри высокого уровня
/ В. А. Соколов, А. Г. Солопов // Вестник компьютерных и информационных технологий. – М.: Машиностроение, 2005. – № 6. –
С. 48–53.
2006 – 2009 годы
J 29 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
2006 год
107. Верификация автоматных программ средствами CPN/Tools
/ Р. А. Виноградов, Е. В. Кузьмин, В. А. Соколов // Моделирование
и анализ информационных систем / Яросл. гос. ун-т. – Ярославль,
2006. – Т. 13, № 2. – С. 1–4.
108. Модификация транспортного протокола TCP с использованием метода динамических приоритетов / В. А. Соколов // Вестник компьютерных и информационных технологий. – М.: Машиностроение, 2006. – № 4. – С. 47–50.
109. О верификации «автоматных» программ / Е. В. Кузьмин,
В. А. Соколов // Актуальные проблемы математики и информатики: сб. ст. / Яросл. гос. ун-т. – Ярославль, 2006. – С. 27–32.
110. Построение и анализ формальных моделей семейства протоколов ТСР / В. А. Соколов, Д. Ю. Чалый // Параллельные вычисления и задачи управления: труды 3-й Межд. конф. – М., 2006.
111. Структурированные системы переходов: учеб. пособ. для
студентов высших учебных заведений, обучающихся по направлению 510200 «Прикладная математика и информатика» и специальности 010200 «Прикладная математика и информатика»
/ Е. В. Кузьмин, В. А. Соколов; УМО по прикладной математике и
информатике. – М.: Физматлит, 2006. – 178 с.
2007 год
112. Моделирование и анализ распределенных систем: некоторые проблемы и итоги / В. А. Соколов // Вестник Ярославского
регионального отделения РАЕН. – Ярославль, 2007. – Том 1,
№ 1. – С. 3–7.
113. О верификации «автоматных» программ / Е. В. Кузьмин,
В. А. Соколов // Актуальные проблемы математики и информатики: сб. ст. к 20-летию ф-та ИВТ / Яросл. гос. ун-т. – Ярославль,
2007. – С. 31–35.
114. О дисциплине специализации «Верификация программ»
/ Е. В. Кузьмин, В. А. Соколов // Преподавание математики и компьютерных наук в классическом университете: матер. 2-й науч.J 30 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
2006 – 2009 годы
метод. конф. преподавателей матем. ф-та и ф-та ИВТ Ярославского гос. ун-та им. П. Г. Демидова / Яросл. гос. ун-т. – Ярославль,
2007. – С. 91–101.
115. О некоторых подходах к верификации автоматных программ / Е. В. Кузьмин, В. А. Соколов // Сборник докладов семинара «Go4IT – шаг к новым технологиям Интернета». – М.: Институт
системного программирования РАН, 2007. – С. 43–48.
116. Построение и анализ формальных моделей транспортных
протоколов сети Интернет / В. А. Соколов, Д. Ю. Чалый // Сборник докладов семинара «Go4IT – шаг к новым технологиям Интернета». – М.: Институт системного программирования РАН,
2007. – С. 49–52.
117. Синхронная модель автоматной программы / С. В. Кубасов,
В. А. Соколов // Моделирование и анализ информационных систем
/ Яросл. гос. ун-т. – Ярославль, 2007. – T. 14, № 1. – С. 11–18.
118. Система моделирования и анализа автоматных программ
(Программа для ЭВМ): свидетельство об официальной регистрации
программы для ЭВМ № 2007611856 / Р. А. Виноградов,
Е. В. Кузьмин, В. А. Соколов; Федеральная служба по интеллектуальной собственности, патентам, и товарным знакам РФ; 7.05.2007.
119. Система Moodle / В. А. Соколов, Д. Ю. Чалый // Актуальные проблемы совершенствования подготовки специалистов в
вузе: сб. матер. IX областной науч.-метод. конф. / Яросл. гос.
ун-т. – Ярославль: ЯрГУ, 2007. – Ч. 2. – С. 36–39.
2008 год
120. Моделирование, спецификация и верификация «автоматных программ» / Е. В. Кузьмин, В. А. Соколов // Программирование. – 2008. – Т. 34, № 1. – С. 38–60.
121. Научно-образовательный центр инновационного программирования как научно-методическая база для подготовки высококлассных специалистов в области информатики / В. А. Соколов // Функциональные пространства. Дифференциальные операторы. Общая топология. Проблемы математического образования: тез. докл. 3-й Межд. конф., посвящ. 85-летию члена-корр.
J 31 K
Copyright ОАО «ЦКБ «БИБКОМ» & ООО «Aгентство Kнига-Cервис»
В. А. Соколов
РАН, профессора Л. Д. Кудрявцева: тез. докл. – М.: МФТИ,
2008. – С. 802–804.
122. Об одном классе алгоритмических проблем для машин
Минского / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Образование, наука и экономика в вузах. Интеграция в международное образовательное пространство: труды Межд. науч. конф. – Польша,
Плоцк; Краков: Математический институт, 2008. – С. 536–537.
123. Об одном классе высокоуровневых конечных автоматов
/ Р. А. Виноградов, В. А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т. – Ярославль, 2008. –
Т. 15, № 3. – С. 38–46.
124. Проблемы ограниченности счетчиковых машин Минского / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Доклады Академии наук. – 2008. – Т. 421, № 6. – С. 1–3
125. Технологии трансляции: учеб. пособие / В. А. Соколов,
Д. Ю. Чалый ; Яросл. гос. ун-т. – Ярославль: ЯрГУ, 2008. – 124 с.
2009 год
126. Применение метода формальных утверждений о трассах
для спецификации, построения и верификации автоматных программ / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. – 2009. – Т. 35, № 1.
127. Automation Counter Machines / E. V. Kuzmin, D. Ju. Chalyy, V. A. Sokolov // Perspectives of system informatics: Andrei Ershov Seventh International Conference. 19–23 June, Altai Mountains. –
Russia, 2009. – P. 1–4.
128. Формальное построение автоматных программ / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Методы и средства обработки
информации: труды 3-й Всерос. науч. конф. – М., 2009. – С. 130–
135.
129. Об одном формальном подходе к построению автоматных программ / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый
// Компьютерные науки и информационные технологии: материалы Межд. конф. – Саратов: Изд-во Сарат. ун-та, 2009. – С. 239–
240.
J 32 K
Документ
Категория
Без категории
Просмотров
9
Размер файла
763 Кб
Теги
соколова, библиографический, валерий, анатольевна, 4413, указатель
1/--страниц
Пожаловаться на содержимое документа