Библиотеки, издания  •  Поиск публикаций	English
	Публикации

Валиев Марс Котдусович
Email:

2009 год

1.

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

2009 год

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

2008 год

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

2008 год

4.	Статья, Москва, 2008 Издание: журнал 'Вестник Тверского гос. Университета. Серия: Прикладная математика', № 35(95), 2008,выпуск 4(11), 9-22 Авторы: Валиев М.К., Дехтярь М.И. Название: Вероятностные мультиагентные системы: семантика и верификация

2007 год

5.	Статья, Москва, Физматлит, 2007 Издание: Труды IV Международной научно-практической конференции 'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1 Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я. Название: О свойствах мультиагентных систем с вероятностными каналами связи

2007 год

6.	Статья, Москва.,Физматлит, 2007 Издание: Труды Международных научно-технических конференций 'Интеллектуальные системы (IEEE AIS'07)' и 'Интеллектуальные САПР (CAD-2007)', т. I., Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я. Название: О верификации свойств вероятностных мультиагентных систем

2007 год

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 национальной конференции по искусственному интеллекту с международным участием, Обнинск,Физматлит Авторы: Бурмистров М.Ю., Валиев М.К., Дехтярь М.И., Диковский А.Я. Название: О верификации динамических свойств систем взаимодействующих агентов

2006 год

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 для представления метаинформации в глобальных вычислительных системах.

2000 год

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