Дехтярь Михаил Иосифович

Russian (Win) English

Доцент кафедры информатики Тверского государственного университета , г.Тверь, Россия.

Домашний адрес: 170032, Тверь-32, пос. Химинститута, 41, кв. 30

Адрес электронной почты: Michael.Dekhtyar@tversu.ru

• Рабочий телефон:- +7-(082-2) -360-522
• Домашний телефон:- +7-(082-2)-492-360

Научные интересы:

теоретическая информатика, в т.ч.

• сложность вычислений,
• вычислительная лингвистика,
• биоинформатика,
• Колмогоровская сложность,
• эффективные алгоритмы для конкретных задач,
• искусственный интеллект,
• логическое программирование,
• дедуктивные и активные базы данных,
• временные и вероятностные базы данных.

Читаемые курсыs:

• Теоретические основания информатики (1994-1996)
• Проектирование эффективных алгоритмов (1990-2005/06)
• Технология программирования (1990-1997)
• Сложность алгоритмов и случайность (1995-2000)
• Офисное программирование (1997-1999)
• Дедуктивные и активные базы данных (1997-1999)
• Дискретная математика (2002 – 2005/06)
• Основы дискретной математики (2002 – 2005/06)

---

Публикации последних лет:

• Архангельский Д.А.,Дехтяpь М.И., Кpyглов Е.И.,Мyсикаев И.Х., Тайцлин М.А.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.
• Дехтяpь М.И., Диковский А.Я. Динамические дедуктивные базы данных. Известия РАН. Техническая кибернетика, N 5, 1994, 55 - 67.(.pdf - 276 kb)
• Дехтяpь М.И., Диковский А.Я. On stable behaviour of dynamic deductive databases. Intern. Logic Programming Symp., Net York, Ithaca,1994.
• Дехтяpь М.И., Диковский А.Я. Dynamic deductive data bases with steady behavior. Proc. of the 12-th International Conf. on Logic Programming, Japan, The MIT Press,1995, 183 - 197. (.pdf - 228Kb)
• Дехтяpь М.И., Диковский А.Я. 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.
• Аpхангельский Д.А., Дехтяpь М.И., Тайцлин М.А. Linear logic for nets with bounded resources. Annals of Pure and Applied Logic, 78, Elsevier Sci. B.V., Amsterdam, 1996,3-28.
• Дехтяpь М.И., Диковский А.Я. Анализ поведения дискpетных динамических систем сpедствами логичекого пpогpаммиpования. Пpогpаммиpование, N 3, 1996, 3-16. (.pdf - 295 Kb)
• Дехтяpь М.И., Диковский А.Я. 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
• Дехтяpь М.И., Диковский А.Я. 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.
• Дехтяpь М.И., Диковский А.Я. ЕЕ-стабильность и перспективность поведения динамических дедуктивных баз данных. ИПМ им. М.В.Келдыша РАН, Препринт N 116, 1995, 1-34. (.pdf - 430 Kb)
• Дехтяpь М.И., Диковский А.Я. 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. (.pdf - 218 Kb)
• Дехтяpь М.И., Диковский А.Я. 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.
• Дехтяpь М.И., Диковский А.Я., 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.
• Аpхангельский Д.А., Дехтяpь М.И., Тайцлин М.А. Polynomial algorithms for BR-nets and for fragments of Girard's linear logic. Труды Второй Международной конференции "Математические алгоритмы", (Нижний-Новгород, 26 июня-1 июля 1995г.), Изд-во Нижегородского университета, Нижний Новгород, 1997, 14-22.(.pdf - 130 Kb)
• Биллиг В.А., Дехтярь М.И. "Офисное программирование. Microsoft Office 97 & VBA", ComputerWeek, 38, 1997, 28-31. (NN 39, 40, 41) 1998 N 1-10.
• М.И.Дехтярь, А.Я.Диковский, Н.Спиратос. Восстановление ограничений целостности за счет наименьших достаточных изменений. Программирование, 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.
• Биллиг В.А., Дехтярь М.И. VBA и Office 97. Офисное программирование. Microsoft Press. Русская редакция. М., 1998, 710 стр.
• M.I. Dekhtyar, A. Ja. Dikovsky, N. Spyratos. Incremental Expansion of Database Updates through Integrity Constraints. Proc of JFPLC'99, Lyon, France, 1999, 189-204.
• M.I. Dekhtyar, A. Ja. Dikovsky, M.K. Valiev. Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. In Proc. of 3rd Int. A.P.Ershov Memorial Conference "Perspective of Systems Informatics", PSI'99, Novosibirsk, July, 1999. (LNCS, N 1755, 2000, 228-234.
• M.I. Dekhtyar, A. Ja. Dikovsky, S.M. Dudakov, N. Spyratos. Monotone Expansions of Updates in Logical Databases. Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99,El Paso, USA, Lecture Notes in Artificial Intelligence, v. 1370, 1999, 132-146.
• Dekhtyar, M., Dikovsky, A., Dudakov, S. On Complexity of Updates Through Integrity Constraints. In : Proc. of the First Int. Conf. on Computational Logic (CL 2000), Lecture Notes in Artificial Intelligence, v. 1861, 2000, 867—881.
• Michael Dekhtyar, Alexander Dikovsky, Sergey Dudakov, Nicolas Spyratos. Maximal State Independent Approximations to Minimal Real Change. Annals of Mathematics and Artificial Intelligence. v.33, 2001, Kluwer Academic Publishers, pp. 157-204.
• Дехтярь М.И. Обновления баз данных при динамических ограничениях целостности. в сб. "Системная информатика", N 8, Сб. научных трудов под ред. И.В.Поттосина и Ф.Г.Марчука, Новосибирск, Наука, 2002, 72-142. ( формат .pdf, 635 Кб)
• Michael I. Dekhtyar,Alexander Ja. Dikovsky, Mars K. Valiev.Complexity of Multi-Agent Systems Behavior. Proc. of 8th European Conf. JELIA 2002.S. Flesca, S. Greco, N. Leone, G. Ianni (Eds.)Cosenza, Italy, LNAI N 2424 , 2002, pp 125-136..
• Michael Dekhtyar, Alexander Dikovsky, Mars Valiev On Feasible Cases of Checking Multi-Agent Systems Behavior. Theoretical Computer Science, v. 303/1, 2003, pp. 63 – 81.(формат .pdf – 250 кб)
• М.К.Валиев, М.И.Дехтярь, А.Я.Диковский. О сложности верификации динамических свойств многоагентнтных систем. Труды Первой Всероссийской научной конференции "Методы и средства обработки информации",1-3 октября 2003, Московский госуниверситет, 329-335.
• M. Dekhtyar and A. Dikovsky. Categorial Dependency Grammars. In: Proc. of the Internat. Conference "Categorial Grammars" (CG'2004), M. Moortgat and V. Prince (Eds.),Montpellier, France, 2004, 76—91.(формат .pdf, 225 Кб)
• A. Dekhtyar, M.I. Dekhtyar. Possible words semantics for probabilistic logic programs. In Proc. of 20th Internat. Conf. on Logic Programming ( ICLP 2004), Lecture Notes in Computer Science, v. 3132, 2004, pp. 137-148. (формат .pdf, 160 Кб)
• A. Dekhtyar, M.I. Dekhtyar. Revisiting the Semantics of Interval Probabilistic Logic Programs, Proc. Eighth International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'05, September 2005, Diamante, Italy, LNAI, V. 3662, pp. 330-342.(формат .pdf, 175 Кб)