Mars K. Valiev

Publication Activity (10 Years)

Years Active: 1975-2013
Publications (10 Years): 0

Top Topics

Normative Systems

Complexity Analysis

Top Venues

Publications

Michael I. Dekhtyar, Mars K. Valiev
Complexity of Verification of Fuzzy Multi-Agent Systems. MICAI (1) (2013)
Mars K. Valiev, Michael I. Dekhtyar
Complexity of verification of nondeterministic probabilistic multiagent systems. Autom. Control. Comput. Sci. 45 (7) (2011)
Mars K. Valiev, Michael I. Dekhtyar, Alexander Ja. Dikovsky
Systems of agents controlled by logical programs: Complexity of verification. Program. Comput. Softw. 35 (5) (2009)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Temporal Verification of Probabilistic Multi-Agent Systems. Pillars of Computer Science (2008)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
On complexity of verification of interacting agents' behavior. Ann. Pure Appl. Log. 141 (3) (2006)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
On feasible cases of checking multi-agent systems behavior. Theor. Comput. Sci. 303 (1) (2003)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Complexity of Multi-agent Systems Behavior. JELIA (2002)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Ershov Memorial Conference (1999)
Mars K. Valiev
Product 1 over 1-Universality of Some Propositional Logics of Concurrent Programs. Theor. Comput. Sci. 119 (1) (1993)
Mars K. Valiev
On axiomatization of process logic. Logic of Programs (1980)
Mars K. Valiev
Decision Complexity of Variants of Propositional Dynamic Logic. MFCS (1980)
Mars K. Valiev
On Axiomatization of Deterministic Propositional Dynamic Logic. MFCS (1979)
Mars K. Valiev
Real Time Computations with Restrictions on Tape Alphabet. MFCS (1977)
Mars K. Valiev
Universal group with twenty-one defining relations. Discret. Math. 17 (2) (1977)
Mars K. Valiev
On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups. MFCS (1975)