Michael I. Dekhtyar

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