Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Валиев Марс Котдусович
Email:

2009 год
1.  Статья, Москва, 2009
Издание: Труды V Международной научно-практической конференции.'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1. М., Физматлит, 2009, 198-206
Авторы: Валиев М.К., Дехтярь М.И.
Название: Сложность верификации мультиагентных систем с вероятностными состояниями и программами
2.  Статья, Москва, 2009
Издание: Программирование, 2009, № 5, 37-56
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: Системы агентов, управляемых логическими программами: сложность верификации.

2008 год
3.  Статья, Москва, 2008
Издание: Труды XI Национальной конференции по искусственному интеллекту с международным участием, 28 сент.-3 окт. 2008, Дубна, Издат. 'ЛЕНАНД',стр. 235-239
Авторы: Валиев М.К.
Название: ИНТЕРПОЛЯЦИОННАЯ ТЕОРЕМА ДЛЯ ЛОГИКИ ПРОЦЕССОВ ПРАТТА
4.  Статья, Москва, 2008
Издание: журнал 'Вестник Тверского гос. Университета. Серия: Прикладная математика', № 35(95), 2008,выпуск 4(11), 9-22
Авторы: Валиев М.К., Дехтярь М.И.
Название: Вероятностные мультиагентные системы: семантика и верификация

2007 год
5.  Статья, Москва, Физматлит, 2007
Издание: Труды IV Международной научно-практической конференции 'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: О свойствах мультиагентных систем с вероятностными каналами связи
6.  Статья, Москва.,Физматлит, 2007
Издание: Труды Международных научно-технических конференций 'Интеллектуальные системы (IEEE AIS'07)' и 'Интеллектуальные САПР (CAD-2007)', т. I.,
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: О верификации свойств вероятностных мультиагентных систем
7.  Статья, Берлин, Германия, 2007
Издание: Springer Verlag, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.Lecture Notes in Computer Science
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: Верификация временных свойств вероятностных мультиагентных систем

2006 год
8.  Статья, Москва, 2006
Издание: Труды X национальной конференции по искусственному интеллекту с международным участием, Обнинск,Физматлит
Авторы: Бурмистров М.Ю., Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: О верификации динамических свойств систем взаимодействующих агентов
9.  Статья, Амстердам,Нидерланды, 2006
Издание: Elsevier Science, Annals of Pure and Applied Logic, №141
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: О сложности верификации поведения взаимодействующих агентов

2003 год
10.  Статья, Амстердам, Нидерланды, 2003
Издание: Elsevier Science , Theoretical Computer Science, v.303, No. 1
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Название: О полиномиально вычислимых случаях верификации поведения мультиагентных систем

2000 год
11.  Препринт ИПМ № 29, Москва, 2000
Авторы: Валиев М.К., Китаев Е. Л., Слепенков М. И.
Название: Использование службы директорий LDAP для представления метаинформации в глобальных вычислительных системах.
12.  Препринт ИПМ № 23, Москва, 2000
Авторы: Валиев М.К., Китаев Е. Л., Слепенков М. И.
Название: Cлужба директорий LDAP как инструментальное средство для создания распределенных информационных систем.