On the Relativization of Deterministic and Nondeterministic Complexity Classes. - Michael I. Dekhtyar (MFCS, 1976)

Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. - Michael I. Dekhtyar (MFCS, 1979)

Concurrency Problem for Horn Fragment of Girard's Linear Logic. - Dmitry A. Archangelsky; Michael I. Dekhtyar; Evgeny Kruglov; Ilmir Kh. Musikaev; Mikhail A. Taitslin (LFCS, 1994)

On Stable Behaviour of Dynamic Deductive Data Bases. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (ILPS, 1994)

Dynamic Deductive Data Bases With Steady Behaviour. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (ICLP, 1995)

On Homeostatic Behavior of Dynamic Deductive Data Bases. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (Ershov Memorial Conference, 1996)

Linear Logic for Nets with Bounded Resources. - Dmitry A. Archangelsky; Michael I. Dekhtyar; Mikhail A. Taitslin (Ann. Pure Appl. Log., 1996)

Total Homeostaticity and Integrity Constraints Restorability Recognition. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (ICLP, 1997)

Recognition of Deductive Data Base Stability. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (LFCS, 1997)

On Conservative Enforced Updates. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Nicolas Spyratos (LPNMR, 1997)

On Logically Justified Updates. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Nicolas Spyratos (IJCSLP, 1998)

Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev (Ershov Memorial Conference, 1999)

Temporal Probabilistic Logic Programs. - Alex Dekhtyar; Michael I. Dekhtyar; V. S. Subrahmanian (ICLP, 1999)

Incremental Expansion of Database Updates Through Integrity Constraints. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Nicolas Spyratos (JFPLC, 1999)

Monotone Expansion of Updates in Logical Databases. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Sergey M. Dudakov; Nicolas Spyratos (LPNMR, 1999)

Hybrid Probabilistic Programs: Algorithms and Complexity. - Michael I. Dekhtyar; Alex Dekhtyar; V. S. Subrahmanian (UAI, 1999)

Book review: Computational geometry in C Second Edition by Joseph O'Rourke (Cambridge University Press 1988). - Michael I. Dekhtyar (SIGACT News, 1999)

On Complexity of Updates through Integrity Constraints. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Sergey M. Dudakov (Computational Logic, 2000)

Maximal Expansions of Database Updates. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Sergey M. Dudakov; Nicolas Spyratos (FoIKS, 2000)

Maximal state independent approximations to minimal real change. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Sergey M. Dudakov; Nicolas Spyratos (Ann. Math. Artif. Intell., 2001)

Complexity of Multi-agent Systems Behavior. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev (JELIA, 2002)

On feasible cases of checking multi-agent systems behavior. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev (Theor. Comput. Sci., 2003)

Possible Worlds Semantics for Probabilistic Logic Programs. - Alex Dekhtyar; Michael I. Dekhtyar (ICLP, 2004)

Checking Potential Validity of XML Documents. - Ionut Emil Iacob; Alex Dekhtyar; Michael I. Dekhtyar (WebDB, 2004)

Revisiting the Semantics of Interval Probabilistic Logic Programs. - Alex Dekhtyar; Michael I. Dekhtyar (LPNMR, 2005)

On Potential Validity of Document-Centric XML Documents. - Ionut Emil Iacob; Alex Dekhtyar; Michael I. Dekhtyar (ICDE Workshops, 2006)

On complexity of verification of interacting agents' behavior. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev (Ann. Pure Appl. Log., 2006)

Generalized Categorial Dependency Grammars. - Michael I. Dekhtyar; Alexander Ja. Dikovsky (Pillars of Computer Science, 2008)

Temporal Verification of Probabilistic Multi-Agent Systems. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Mars K. Valiev (Pillars of Computer Science, 2008)

Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes. - Michael I. Dekhtyar; Amelie Morin; Vehary Sakanyan (BMC Bioinform., 2008)

The theory of interval probabilistic logic programs. - Alex Dekhtyar; Michael I. Dekhtyar (Ann. Math. Artif. Intell., 2009)

Systems of agents controlled by logical programs: Complexity of verification. - Mars K. Valiev; Michael I. Dekhtyar; Alexander Ja. Dikovsky (Program. Comput. Softw., 2009)

Iterated Dependencies and Kleene Iteration. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Boris Karlov (FG, 2010)

Complexity of verification of nondeterministic probabilistic multiagent systems. - Mars K. Valiev; Michael I. Dekhtyar (Autom. Control. Comput. Sci., 2011)

Complexity of Verification of Fuzzy Multi-Agent Systems. - Michael I. Dekhtyar; Mars K. Valiev (MICAI (1), 2013)

Categorial dependency grammars. - Michael I. Dekhtyar; Alexander Ja. Dikovsky; Boris Karlov (Theor. Comput. Sci., 2015)

Biography of Alexandre Dikovsky. - Denis Béchet; Michael I. Dekhtyar (J. Log. Lang. Inf., 2017)