KIAM Main page Web Library  •  Publication Searh  Русский 
Publications
Valiev M. K.
Email: valiev@keldysh.ru

2009 year
1.  Article, Moscow, 2009 Publisher: Труды V Международной научно-практической конференции.'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1. М., Физматлит, 2009, 198-206
Authors: Valiev M.K., Dekhtyar M.I.
Title: Complexity of verification of multi-agent systems with probabilistic states and programs

2009 year
2.  Article, Moscow, 2009 Publisher: Программирование, 2009, № 5, 37-56
Authors: Valiev M.K., Dekhtyar M.I., Dikovsky A.Ya.
Title: Systems of Agents Controlled by Logical Programs: Complexity of Verification

2008 year
3.  Article, Moscow, 2008 Publisher: Труды XI Национальной конференции по искусственному интеллекту с международным участием, 28 сент.-3 окт. 2008, Дубна, Издат. 'ЛЕНАНД',стр. 235-239
Authors: Valiev M.K.
Title: INTERPOLATION THEOREM FOR V.PRATT`S PROCESS LOGIC

2008 year
4.  Article, Moscow, 2008 Publisher: журнал 'Вестник Тверского гос. Университета. Серия: Прикладная математика', № 35(95), 2008,выпуск 4(11), 9-22
Authors: Valiev M.K., Dekhtyar M.I.
Title: Probabilistic multi-agent systems: semantics and verification

2007 year
5.  Article, Moscow, 2007 Publisher: Труды IV Международной научно-практической конференции 'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: On properties of multi-agent systems with probabilistic communication channels

2007 year
6.  Article, Moscow, 2007 Publisher: Труды Международных научно-технических конференций 'Интеллектуальные системы (IEEE AIS'07)' и 'Интеллектуальные САПР (CAD-2007)', т. I.,
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: On verifying properties of probabilistic multi-agent systems

2007 year
7.  Article, Berlin, Germany, 2007 Publisher: Springer Verlag, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.Lecture Notes in Computer Science
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: Temporal Verification of Probabilistic Multi-Agent Systems

2006 year
8.  Article, Moscow, 2006 Publisher: Труды X национальной конференции по искусственному интеллекту с международным участием, Обнинск,Физматлит
Authors: Бурмистров М.Ю., Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: On verification of dynamic properties of systems of interacting agents

2006 year
9.  Article, Amsterdam, Netherlands, 2006 Publisher: Elsevier Science, Annals of Pure and Applied Logic, №141
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: On complexity of verification of interacting agents' behavior

2003 year
10.  Article, Amsterdam, Netherlands, 2003 Publisher: Elsevier Science , Theoretical Computer Science, v.303, No. 1
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
Title: On Feasible Cases of Checking Multi-Agent Systems Behavior

2000 year
11.  KIAM Preprint № 29, Moscow, 2000
Authors: Valiev M.K., Kitaev E. L., Slepenkov M. I.
Title: Using LDAP Directory Service for Representation of Metainformation in Global Computing Systems.

2000 year
12.  KIAM Preprint № 23, Moscow, 2000
Authors: Valiev M.K., Kitaev E. L., Slepenkov M. I.
Title: LDAP Directory Service as a Tool For Implementation of Distributed Information Systems