| 2010 | FG | Iterated Dependencies and Kleene Iteration. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov |
| 2006 | ICDE | On Potential Validity of Document-Centric XML Documents. | Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar |
| 2005 | LPNMR | Revisiting the Semantics of Interval Probabilistic Logic Programs. | Alex Dekhtyar, Michael I. Dekhtyar |
| 2004 | ICLP | Possible Worlds Semantics for Probabilistic Logic Programs. | Alex Dekhtyar, Michael I. Dekhtyar |
| 2002 | JELIA | Complexity of Multi-agent Systems Behavior. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
| 1999 | ICLP | Temporal Probabilistic Logic Programs. | Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian |
| 1999 | LPNMR | Monotone Expansion of Updates in Logical Databases. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos |
| 1999 | UAI | Hybrid Probabilistic Programs: Algorithms and Complexity. | Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian |
| 1998 | ICLP | On Logically Justified Updates. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
| 1997 | ICLP | Total Homeostaticity and Integrity Constraints Restorability Recognition. | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1997 | LFCS | Recognition of Deductive Data Base Stability. | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1997 | LPNMR | On Conservative Enforced Updates. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
| 1995 | ICLP | Dynamic Deductive Data Bases With Steady Behaviour. | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1994 | LFCS | Concurrency Problem for Horn Fragment of Girard's Linear Logic. | Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin |
| 1979 | MFCS | Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. | Michael I. Dekhtyar |
| 1976 | MFCS | On the Relativization of Deterministic and Nondeterministic Complexity Classes. | Michael I. Dekhtyar |