My email address at TverSU: Michael.Dekhtyar@tversu.ru

• Office Phone - +7-(082-2) -360-522
• Home Phone - +7-(082-22)-92-360

  ---

Scientific interests:

• computational complexity,
• Kolmogorov complexity,
• effective algorithms for logical problems,
• artificial intelligence,
• logic programming,
• deductive and active data bases,
• temporal and probabilistic data bases.

Courses:

• Theoretical Foundations of Computer Science
• The Design of Effective Algorithms
• Office Programming
• Programming Technology
• Complexity of Algorithms and Randomness

  ---

Recent publications:

• Archangelsky D.A., Dekhtyar M.I., Kruglov E.I., Musikaev I.Kh., Taitslin M.A. Concurrency problem for Horn fragment of Girard Linear Logic. Logic. Foundation of Computer Science - St. Petersburg'94, Lect.Notes in CS, N 813, 1994, 18-22.
• Dekhtyar M.I., Dikovsky A.Ja. Динамические дедуктивные базы данных. Известия РАН. Техническая кибернетика, N 5, 1994, 55 - 67.
• Dekhtyar M.I., Dikovsky A.Ja. On stable behaviour of dynamic deductive databases. Intern. Logic Programming Symp., Net York, Ithaca,1994.
• Dekhtyar M.I., Dikovsky A.Ja. Dynamic deductive data bases with steady behavior. Proc. of the 12-th International Conf. on Logic Programming, Japan, The MIT Press,1995, 183 - 197.
• Dekhtyar M.I., Dikovsky A.Ja. Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. EE-stability and Promise. Preprint 95-07, Univ. Paris XII-Val de Marne, Sept., 1995, pp.26 37.
• Archangelsky D.A., Dekhtyar M.I., Taitslin M.A. Linear logic for nets with bounded resources. Annals of Pure and Applied Logic, 78, Elsevier Sci. B.V., Amsterdam, 1996,3-28.
• Dekhtyar M.I., Dikovsky A.Ja. Анализ поведения дискpетных динамических систем сpедствами логичекого пpогpаммиpования. Пpогpаммиpование, N 3, 1996, 3-16.
• Dekhtyar M.I., Dikovsky A.Ja. Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II. Homeostaticity. Preprint 96-09, Univ. Paris XII-Val de Marne, Juin, 1996, pp.26
• Dekhtyar M.I., Dikovsky A.Ja. On homeostatic behavior of dynamic deductive data bases. In: D.Bjorner,M.Broy, I.pottosin (eds.) Proc. 2nd Int. A.P.Ershov Memorial Conference "Perspective of Systems Informatics", Lect. Notes in CS, N 1181, 1996, 420-432.
• Dekhtyar M.I., Dikovsky A.Ja. ЕЕ-стабильность и перспективность поведения динамических дедуктивных баз данных. ИПМ им. М.В.Келдыша РАН, Препринт N 116, 1995, 1-34.
• Dekhtyar M.I., Dikovsky A.Ja. Total homeostaticity and integrity constraints restorability. Proc. of the 14th International Conference on Logic Programming, ed. by Lee Naish, The MIT Press, Cambridge, Massachucetts, London, England, 1997, 241-255.
• Dekhtyar M.I., Dikovsky A.Ja. Recognition of deductive data base stability. Logic. Foundation of Computer Science - 4th International Symposium LFCS'97,Eds. S.Adian and A. Nerode, Yaroslavl, July 6-12, 1997,Lect.Notes in CS, N 1234, 1997, 67-77.
• Dekhtyar M.I., Dikovsky A.Ja., Spiratos N. On conservative enforced updates. In Proc. 4th International Conference, LPNMR'97, Eds. J.Dix, U.Furbach, A.Nerode, Dagstuhl Castle, Germany, July 28-31,1997, Lect. Notes in AI (CS), N 1265, 1997, 244-257.
• M.I.Dekhtyar, A.Ja.Dikovsky, M.K.Valiev. On Stable Behavior of Cooperating Logic Programs. In: Proc. of the World Multiconference on Systemics, Cybernetics and Informatics (SCI'97/ISAS'97). (Ed. N.Callaos). 1997.
• Archangelsky D.A., Dekhtyar M.I., Taitslin M.A. Polynomial algorithms for BR-nets and for fragments of Girard's linear logic. Труды Второй Международной конференции "Математические алгоритмы", (Нижний-Новгород, 26 июня-1 июля 1995г.), Изд-во Нижегородского университета, Нижний Новгород, 1997, 14-22.
• Billig V.A., Dekhtyar M.I. "Офисное программирование. Microsoft Office 97 & VBA", ComputerWeek, 38, 1997, 28-31. (NN 39, 40, 41) 1998 N 1-10.
• Dekhtyar M.I., Dikovsky A.Ja., Spiratos N.. Восстановление ограничений целостности за счет наименьших достаточных изменений. Программирование, n. 2, 1998.
• Dekhtyar M.I., Dikovsky A.Ja., Spiratos N. On Logically Justified Updates. Logic Programming. Proc. of the 1998 Joint International Conf. and Symp. on Logic Programming. Manchester-1998. ( J.Jaffar ed.), The MIT Press,1998, 250-264.
• Billig V.A., Dekhtyar M.I. VBA и Office 97. Офисное программирование. Microsoft Press. Русская редакция. М., 1998, 710 стр.