Michael I. Dekhtyar

Publication Activity (10 Years)

Years Active: 1976-2017
Publications (10 Years): 2

Top Topics

Complexity Analysis

Visual Languages

Top Venues

J. Log. Lang. Inf.

Theor. Comput. Sci.

Publications

Denis Béchet, Michael I. Dekhtyar
Biography of Alexandre Dikovsky. J. Log. Lang. Inf. 26 (4) (2017)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov
Categorial dependency grammars. Theor. Comput. Sci. 579 (2015)
Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian
Hybrid Probabilistic Programs: Algorithms and Complexity CoRR (2013)
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)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Boris Karlov
Iterated Dependencies and Kleene Iteration. FG (2010)
Alex Dekhtyar, Michael I. Dekhtyar
The theory of interval probabilistic logic programs. Ann. Math. Artif. Intell. 55 (3-4) (2009)
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, Amelie Morin, Vehary Sakanyan
Triad pattern algorithm for predicting strong promoter candidates in bacterial genomes. BMC Bioinform. 9 (2008)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Generalized Categorial Dependency Grammars. Pillars of Computer Science (2008)
Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar
On Potential Validity of Document-Centric XML Documents. ICDE Workshops (2006)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
On complexity of verification of interacting agents' behavior. Ann. Pure Appl. Log. 141 (3) (2006)
Alex Dekhtyar, Michael I. Dekhtyar
Revisiting the Semantics of Interval Probabilistic Logic Programs. LPNMR (2005)
Alex Dekhtyar, Michael I. Dekhtyar
Possible Worlds Semantics for Probabilistic Logic Programs. ICLP (2004)
Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar
Checking Potential Validity of XML Documents. WebDB (2004)
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, Sergey M. Dudakov, Nicolas Spyratos
Maximal state independent approximations to minimal real change. Ann. Math. Artif. Intell. 33 (2-4) (2001)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Maximal Expansions of Database Updates. FoIKS (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov
On Complexity of Updates through Integrity Constraints. Computational Logic (2000)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. Ershov Memorial Conference (1999)
Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian
Hybrid Probabilistic Programs: Algorithms and Complexity. UAI (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
Incremental Expansion of Database Updates Through Integrity Constraints. JFPLC (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey M. Dudakov, Nicolas Spyratos
Monotone Expansion of Updates in Logical Databases. LPNMR (1999)
Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
Temporal Probabilistic Logic Programs. ICLP (1999)
Michael I. Dekhtyar
Book review: Computational geometry in C Second Edition by Joseph O'Rourke (Cambridge University Press 1988). SIGACT News 30 (3) (1999)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
On Logically Justified Updates. IJCSLP (1998)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
On Conservative Enforced Updates. LPNMR (1997)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Total Homeostaticity and Integrity Constraints Restorability Recognition. ICLP (1997)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Recognition of Deductive Data Base Stability. LFCS (1997)
Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin
Linear Logic for Nets with Bounded Resources. Ann. Pure Appl. Log. 78 (1-3) (1996)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
On Homeostatic Behavior of Dynamic Deductive Data Bases. Ershov Memorial Conference (1996)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Dynamic Deductive Data Bases With Steady Behaviour. ICLP (1995)
Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin
Concurrency Problem for Horn Fragment of Girard's Linear Logic. LFCS (1994)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
On Stable Behaviour of Dynamic Deductive Data Bases. ILPS (1994)
Michael I. Dekhtyar
Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. MFCS (1979)
Michael I. Dekhtyar
On the Relativization of Deterministic and Nondeterministic Complexity Classes. MFCS (1976)