The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael I. Dekhtyar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael I. Dekhtyar
    On the Relativization of Deterministic and Nondeterministic Complexity Classes. [Citation Graph (1, 0)][DBLP]
    MFCS, 1976, pp:255-259 [Conf]
  2. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov
    On Complexity of Updates through Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:867-881 [Conf]
  3. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    On Homeostatic Behavior of Dynamic Deductive Data Bases. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:420-432 [Conf]
  4. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:228-234 [Conf]
  5. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos
    Maximal Expansions of Database Updates. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2000, pp:72-87 [Conf]
  6. Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar
    On Potential Validity of Document-Centric XML Documents. [Citation Graph (0, 0)][DBLP]
    ICDE Workshops, 2006, pp:87- [Conf]
  7. Alex Dekhtyar, Michael I. Dekhtyar
    Possible Worlds Semantics for Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:137-148 [Conf]
  8. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Dynamic Deductive Data Bases With Steady Behaviour. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:183-197 [Conf]
  9. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Total Homeostaticity and Integrity Constraints Restorability Recognition. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:241-255 [Conf]
  10. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
    On Logically Justified Updates. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:250-264 [Conf]
  11. Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
    Temporal Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:109-123 [Conf]
  12. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    Complexity of Multi-agent Systems Behavior. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:125-136 [Conf]
  13. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
    Incremental Expansion of Database Updates Through Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:189-204 [Conf]
  14. Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin
    Concurrency Problem for Horn Fragment of Girard's Linear Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:18-22 [Conf]
  15. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    Recognition of Deductive Data Base Stability. [Citation Graph (0, 0)][DBLP]
    LFCS, 1997, pp:67-77 [Conf]
  16. Alex Dekhtyar, Michael I. Dekhtyar
    Revisiting the Semantics of Interval Probabilistic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:330-342 [Conf]
  17. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos
    Monotone Expansion of Updates in Logical Databases. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:132-146 [Conf]
  18. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos
    On Conservative Enforced Updates. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:244-257 [Conf]
  19. Michael I. Dekhtyar
    Bounds on Computational Complexity and Approximability of Initial Segments of Recursive Sets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1979, pp:277-283 [Conf]
  20. Michael I. Dekhtyar, Alexander Ja. Dikovsky
    On Stable Behaviour of Dynamic Deductive Data Bases. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:677- [Conf]
  21. Michael I. Dekhtyar, Alex Dekhtyar, V. S. Subrahmanian
    Hybrid Probabilistic Programs: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP]
    UAI, 1999, pp:160-169 [Conf]
  22. Ionut Emil Iacob, Alex Dekhtyar, Michael I. Dekhtyar
    Checking Potential Validity of XML Documents. [Citation Graph (0, 0)][DBLP]
    WebDB, 2004, pp:91-96 [Conf]
  23. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos
    Maximal state independent approximations to minimal real change. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2001, v:33, n:2-4, pp:157-204 [Journal]
  24. Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin
    Linear Logic for Nets with Bounded Resources. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:3-28 [Journal]
  25. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    On complexity of verification of interacting agents' behavior. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:3, pp:336-362 [Journal]
  26. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
    On feasible cases of checking multi-agent systems behavior. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:63-81 [Journal]

  27. Generalized Categorial Dependency Grammars. [Citation Graph (, )][DBLP]


  28. Temporal Verification of Probabilistic Multi-Agent Systems. [Citation Graph (, )][DBLP]


  29. The theory of interval probabilistic logic programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002