ИВ РАН

Востоковед

Канович
Макс Иосифович

доктор физико-математических наук

Институт востоковедения РАН » Отдел языков народов Азии и Африки


 

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

Формальные системы в логике, вычислительных науках и лингвистике

Биография

В 1968 г. окончил механико-математический факультет МГУ, в 1971 г. защитил кандидатскую диссертацию, в 1989 г. – докторскую.

Преподавание

Выполнял научные разработки и преподавал различные аспекты математики в ЭНИМС, Тульском политехническом институте, Калининском государственном университете, Российском государственном гуманитарном университете. Вел учебные курсы по различным аспектам математики и информатики в Университете Пенсильвании (США) и в Лондонском университете (Великобритания).


С апреля 1994 г. работает в Отделе языков народов Азии и Африки ИВ РАН.
М.И. Канович – высококвалифицированный специалист по математической логике, программированию и искусственному интеллекту, автор более 150 научных работ. Его основной задачей является создание математического и программного обеспечения модуля русского синтеза для экспериментальной системы японско-русского автоматического перевода ЯРАП, а также для комплекса РАМЕЯ/и (рабочего места языковеда – специалиста по иероглифическим языкам).
За время работы в Отделе М.И. Кановичем разработаны и полностью отлажены субмодули русского синтеза, входящие в первую очередь системы ЯРАП. В настоящее время он ведет работу по включению в систему ЯРАП субмодулей синтеза лексико- и семантико-синтаксического уровней, а также по адаптации субмодулей морфологического синтеза для работы в рамках системы русско-японского словарного поиска в составе комплексе РАМЕЯ/и.
М.И. Канович занимается также вопросами эффективности логических систем и формализмов, информационной безопасности, взаимодействия логики и комбинаторики и другими проблемами общей и вычислительной математики. Является членом редколлегии журнала «Педагогические и информационные технологии в образовании».

Основные научные работы

Публикации

  1. Kanovich, Max I. (совм. с.: Kirigin, T. Ban, Nigam, V., Scedrov, A., Talcott, C.L.). Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols // POST.  2015. P. 259-279.
  2.  Kanovich, M.I. (совм. с.: Kirigin, T. Ban, Scedrov, А., Nigam, V.). Bounded Memory Protocols // Computer Languages, Systems and Structures. 2014. Vol. 40. P. 137-154.
  3.  Kanovich, M.I., Kirigin, T. Ban, Nigam, V., Scedrov, А. Bounded memory Dolev-Yao adversaries in collaborative systems // Information and Computation. 2014. № 238. P. 233‑261.
  4.  Kanovich, M.I. (совм. с: Brotherston J.). Undecidability of Propositional Separation Logic and Its Neighbours // Journal of the ACM 61(2): 14 (2014). 43 p.
  5.  Kanovich, M.I. Multiset rewriting over Fibonacci and Tribonacci  numbers. Journal of Computer and System Sciences. 2014. Vol. 80, № 6. P. 1138-1151.
  6.  Kanovich, M.I. (совм. с: Antonopoulos, T., Gorogiannis, N., Haase, C., Ouaknine, J.). Foundations for Decision Problems in Separation Logic with General Inductive Predicates // 17th International Conference on Foundations of  Software Science and Computation Structures (FoSSaCS), 5‑13 April 2014, Grenoble, France. P. 411-425.
  7.  Канович М.И., Шаляпина З.М. Система русского синтеза RussLan при словарном поиске по японско-русским словарям в русско-японском режиме // Русский язык: исторические судьбы и современность: V Международный конгресс исследователей русского языка (Москва, МГУ им. М.В. Ломоносова, филол. фак-т, 18-21 марта 2014 г.): Труды и материалы / Сост. М.Л. Ремнёва, А.А. Поликарпов, О.В. Кукушкина. М.: Изд‑во Моск. ун-та, 2014. С. 582-583.
  8.  Kanovich, M. (совм. с: Kirigin T. Ban, Nigam, V., Scedrov, A.). Bounded Memory Protocols and Progressing Collaborative Systems // J. Crampton, S. Jajodia, and K. Mayes (Eds.). The 18th European Symposium on Research in Computer Security (ESORICS 2013) / Springer LNCS Volume 8134. Egham (UK): Springer Verlag, 2013. P. 309-326.
  9.  Канович М.И. Шаляпина З.М. Система русского синтеза RussLan в двух разных коммуникативных задачах. // Понимание в коммуникации: человек в информационном пространстве. Сборник научных трудов / Российское общество преподавателей русского языка и лит-ры; Московский городской педагогический ун-т  Ярославский гос. педагогический ун-т им. К.Д. Ушинского. Т. 1.  Ярославль: Изд-во ЯГПУ, 2012. С. 244-261.
  10. Kanovich, M.I. (совм. с: Nigam V., Kirigin T. Ban, Scedrov A., Talcott C., Perovic R.). Towards an Automated Assistant for Clinical Investigations // C.C. Yang, ed.. 2nd ACM SIGHIT International Health Informatics Symposium (IHI 2012). Miami, Florida, USA, January 2012. ACM Digital Library Journal. P. 773-778.
  11. Kanovich, M.I. (совм. с:  Kirigin, T. Ban, Nigam, V., Scedrov, A., Talcott, C.L., Perovic, R.) A Rewriting Framework for Activities Subject to Regulations // 23rd International Conference on Rewriting Techniques and Applications (RTA 2012). May 28 – June 2, 2012, Nagoya, Japan / Ed.: A. Tiwari. Nagoya: Leibniz International Proceedings in Informatics. ISBN 978-3-939897-38-5, LIPICS, Vol. 15. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2012. P. 305-322.
  12. Канович М.И. Light Linear Logics with Controlled Weakening: Expressibility, Confluent Strong Normalization // Annals of Pure and Applied Logic. 2012. Vol. 163, № 7. P. 854-874.
  13. Kanovich, M.I. (совм. с:  Gorogiannis, N., O’Hearn, P.). The Complexity of Abduction for Separated Heap Abstractions // Proceedings of the 18th International Static Analysis Symposium (SAS 2011), Sept. 14-16, 2011, Venice, Italy. P. 25-42.
  14. Kanovich, M.I. (совм. с: P.Rowe and A.Scedrov) Collaborative Planning with Confidentiality // Journal of Automated Reasoning. 2011. Vol. 46, № 3-4. P. 389-421.
  15. Kanovich, M.I. (совм. с: T.Ban Kirigin, V.Nigam and A.Scedrov) Bounded Memory Dolev-Yao Adversaries in Collaborative Systems // P. Degano et al., eds. The 7th International Workshop on Formal Aspects of Security & Trust (FAST2010) / Springer LNCS Volume 6561. Springer-Verlag, 2011. P.18-33.
  16. Kanovich, M.I. (совм. с: Jacqueline Vauzeilles) Linear logic as a tool for planning under temporal uncertainty // Theoretical Computer Science. 2011. № 412. P.2072-2092.
  17. Канович М.И. , Шаляпина З.М. Средства семантико-синтаксической обработки в системе русского синтеза RussLan // Русский язык: исторические судьбы и современность. IV Международный конгресс исследователей русского языка. Москва, МГУ им. М.В. Ломоносова, филологический факультет. 20-23 марта 2010 года. Труды и материалы (Сост. М.Л. Ремнева, А.А. Поликарпов). М.: Изд-во Московского университета, 2010. С. 518-519.
  18. Костыркин А.В., Канович М.И., Модина Л.С., Панина А.С., Тарасова Е.С., Шаляпина З.М. Экспериментальный комплекс ЯРАП для исследований по японско-русскому автоматическому переводу: 2008 г. // Бюллетень общества востоковедов РАН. Вып. 17: Труды межинститутской научной конференции «Востоковедные чтения 2008»: Москва, 8-10 октября 2008 г. М.: ИВ РАН, 2010. С. 359-398.
  19. Kanovich, M. (совм. с: Kirigin, T. Ban, Scedrov, A., Nigam, V.). Undecidability of Bounded Security Protocols: Bounded Memory Dolev-Yao Adversaries in Collaborative Systems // P. Degano et al., eds. The 7th International Workshop on Formal Aspects of Security & Trust (FAST 2010). 54 p. 
  20. Kanovich, M. (совм. с: T. Ban Kirigin, A. Scedrov, V. Nigam). Progressing Collaborative Systems  // V. Cortier et al., eds. FCS-PrivMod 2010 Workshop on Foundations of Security and Privacy, 2010. 17 P.
  21. Kanovich, M. (совм. с: Paul Rowe and Andre Scedrov) On Decidability and Complexity of Policy Compliance in Collaborative Systems // Special Issue of the Journal of Automated Reasoning on Security Rewriting. 2010. 32p.
  22.  Kanovich, M., (совм. с: P. Rowe and A. Scedrov). Collaborative Planning with Confidentiality // Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning. 2010. 35 p.
  23.  Kanovich, M. (совм. с:  Brotherston, J.). Undecidability of Propositional Separation Logic and its Neighbours // ImperialCollege technical report DTR10-1. 2010. 10 p.; Proc. 25-th Annual IEEE Symposium on Logic in Computer Science, Edinburgh, Scotland, U.K, July 2010. P. 130-139.
  24. Kanovich, M. (совм. с: Rowe, P., Scedrov, A.). Policy Compliance in Collaborative Systems // J. Mitchell, ed. 22-nd IEEE Computer Security Foundations Symposium (CSF).  July 2009. Port Jefferson – New York (USA): IEEE Computer Society Press, 2009. P. 218‑233.
  25. Kanovich, M.I.  Light Linear Logic with Controlled Weakening: The missing link // Proc. Symposium on Logical Foundations of Computer Science, LFCS’09, Deerfield Beach, Florida, U.S.A., January 3-6, 2009 / Lecture Notes in Computer Science. Vol. 5407 LNCS.  S.Artemov and A.Nerode (Eds.). Berlin / Heidelberg: Springer, 2009. P. 246-264.
  26. Костыркин А.В., Шаляпина З.М., Канович М.И., Модина Л.С., Панина А.С., Тарасова  Е.С. Экспериментальный комплекс ЯРАП для исследований по японско-русскому автоматическому переводу: 2008 г. // Востоковедные чтения 2008. Тезисы докладов научной конференции 8-10 октября 2008 г. М.: ИВ РАН, 2008. C. 15.
  27. Kostyrkin, A., Shalyapina, Z., Kanovich, M., Modina, L., Panina, A., Tarasova, E. (Костыркин А.В., Шаляпина З.М., Канович М.И., Модина Л.С., Панина А.С., Тарасова Е.С.). Нихонго-росиаго кикай хонъяку пуродзекуто JARAP {Японско-русский проект машинного перевода ЯРАП} // Гэнго сёри гаккай дай 14 кай нэндзи тайкай. Хаппё ромбунсю. Proceedings of the Fourteenth Annual Meeting of the Association for Natural Language Processing NLP. 2008 нэн 3 гацу 18 нити – 20 нити. Кайдзё. Токё дайгаку. The University of Tokyo. Токио: гэнго сёри гаккай. The Association for Natural Language Processing, 2008. P. 317-320. На яп. языке
  28. Kostyrkin, A.V., Shalyapina, Z.M., M.I. Kanovich, M.I., Modina, L.S., Panina A.S., Tarasova Ye.S. (Костыркин А.В., Шаляпина З.М., Канович М.И., Модина Л.С., Панина А.С., Тарасова Е.С.). The JARAP Experimental Environment for Japanese-Russian Automatic Translation // 38. ICANAS. 10-15/09/2007 Ankara/Türkiye. Bildiri özetleri kitabi. Abstracts. Ankara/Türkiyie: Atatürk kültür, dil ve tarih yüksek kurumu, 2007. С. 85.
  29. Kanovich, M.I. A note on Rewriting Proofs and Fibonacci Numbers // Proc. Symposium on Logical Foundations of Computer Science, LFCS’07, New York, U.S.A., June 4-7, 2007 / Lecture Notes in Computer Science. № 4514. S. Artemov and A. Nerode, Eds. 2007. P. 284‑292.
  30. Kanovich, M.I. (совм. с: Paul Rowe and Andre Scedrov). Collaborative Planning with Privacy // A. Sabelfeld, ed., 20th IEEE Computer Security Foundations Symposium (CSF 20), Venice, Italy, July 2007. P. 265-278.
  31. Kanovich, Max I. The two-way rewriting in action: Removing the mystery of Euler-Glaisher's map // Discrete Mathematics. 2007. № 307(15. P. 1909-1935.
  32. Kanovich, Max I. (совм. с: Vauzeilles, J.). Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) // Theoretical Computer Science. 2007. № 379, № 1-2. P. 84-119.
  33. Kanovich, Max I. A Note on Rewriting Proofs and Fibonacci Numbers // LFCS 2007. P.284‑292.
  34. Канович М.И. , Шаляпина З.М. Аппарат R-отсылок как универсальное средство синтаксического синтеза (на опыте разработки системы русского синтеза RussLan) // Компьютерная лингвистика и интеллектуальные технологии. Труды Международной конференции Диалог’2006 (Бекасово, 31 мая – 4 июня 2006 г.). Computational Linguistics and Intellectual Technologies. International Conference Dialogue’2006 Proceedings (Bekasovo, 31 May – 4 June, 2006). М.: Изд-во РГГУ, 2006. С. 207-213.
  35. Kanovich, Max I. (совм. с: Mitsuhiro Okada and Kazushige Terui). Intuitionistic phase semantics is almost classical // Journal of Mathematical Structures in Computer Science. 2006. Vol.16, № 1. P. 67-86.
  36. Kanovich, Max I. Finding Direct Partition Bijections by Two-Directional Rewriting Techniques // Discrete Mathematics. 2004. Vol. 285, № 1-3. P. 151-166.
  37. Канович М.И. (совм. с: Шаляпина З.М., Костыркин А.В., Любченко В.И., Модина Л.С., Панина А.С., Сенина Н.И., Сивцева В.И., Тарасова Е.С., Штернова О.А. Система японско-русского автоматического перевода ЯРАП в 2004 г. // Международный конгресс востоковедов. Тезисы. International Congress of Asian and North African Studies. Abstracts. Москва: ICANAS XXXVII, 2004. С. 178-179.
  38. Kanovich, Max I. (совм. с: Vauzeilles, J.). Coping Polynomially with Numerous but Identical Elements within Planning Problems // Proc. 12th Annual Conference of the European Association for Computer Science Logic, CSL 2003, Vienna, Austria, August 25‑30, 2003 / Lecture Notes in Computer Science. Vol. 2803. Matthias Baaz, Johann A.Makowsky, eds.  2003. P. 285-298.
  39. Kanovich, Max I. (совм. с: Mitsuhiro Okada and Andre Scedrov). Phase semantics for light linear logic // Theoretical Computer Science. 2003. Vol. 294, № 3. P. 525-549.
  40. Kanovich, Max I. (совм. с: Shalyapina, Z.M., Borisova, E.G., Panina, A.S., Tarasova, Y.S., Shternova, O.A.). RUSSLAN: A System of Russian Language Generation // Investigations into Formal Slavic Linguistics. Contributions of the Fourth European Conference on Formal Description of Slavic Languages FDSL IV held at PotsdamUniversity, November 28-30, 2001. Part I // Linguistik International. Band 10 / Peter Kosta, Joanna Blaszczak, Jens Frasek, Ljudmila Geist, Marzena Zygis (eds.). Frankfurt am Main, Berlin, Bern, Bruxelles, New York, Oxford, Wien: Peter Lang Verlag (Europaeishcher Verlag der Wissenschaften), 2003. P. 385-403.
  41. Kanovich, Max I. Bijections between Partitions by Two-Directional Rewriting Techniques // Proc. Annual Conference of the European Association for Computer Science Logic, CSL’02, September 22-25, 2002. Edinburgh, Scotland / Lecture Notes in Computer Science. № 2471. J. Bradfield, ed. 2002. P. 44–58.
  42. Shalyapina, Z.М., Kanovich, M.I., Shternova, O.A., Borisova, E.G., Panina, A.S. , Tarasova, Ye.S.  RUSSLAN:an experimental computational model of Russian generation (the pilot version released in June, 2002) Рабочая версия системы представлена в виде Интернет-публикации по адресу: http://isir.ras.ru/win/db/show_ref.asp?P=.id-31897.ln-ru.
  43. Kanovich, Max I. (совм. с: Rohit Chadha and Andre Scedrov). Inductive methods and contract-signing protocols // P. Samarati, ed. Proc. Eighth ACM Conference on Computer and Communications Security. Philadelphia, PA, November 5-8, 2001. ACM Press, 2001. P. 176-185.
  44. Kanovich, Max I. The Expressive Power of Horn Monadic Linear Logic // Proc. 2001 Annual Conference of the European Association for Computer Science Logic, Paris, France, September 10-13, 2001. CSL / Lecture Notes in Computer Science. 2001. Vol. 2142. P. 39‑53.
  45. Kanovich, Max I. (совм. с: Jacqueline Vauzeilles). The Classical AI Planning Problems in the Mirror of Horn Linear Logic: Semantics, Expressibility, Complexity // Journal of Mathematical Structures in Computer Science. 2001. Vol. 11. № 6. P. 689-716.
  46. Канович М.И. (совм. с: Шаляпина З.М., Борисова Е.Г., Панина А.С., Тарасова Е.С., Штернова О.А.). RUSSLAN: система русского лексико-синтаксического синтеза // Fourth European Conference on Formal Description of Slavic Languages FDSL-4. 28‑30 November, 2001. Hosted by University of Potsdam. Department of Slavic Languages sponsored by German Research Foundation (DFG). ABSTRACTS. Potsdam, 2001. P. 144‑145.
  47. Канович М.И. (совм. с: Шаляпина З.М., Борисова Е.Г., Панина А.С., Тарасова Е.С., Штернова О.А.). Проблемы русского лексико-синтаксического синтеза при сущностном подходе к языку // Русский язык: исторические судьбы и современность. Международный конгресс исследователей русского языка. Москва, филологический факультет МГУ им. М.В. Ломоносова. 13-16 марта 2001 года. Труды и материалы. (Под общей ред. М.Л. Ремневой и А.А. Поликарпова). М.: Изд-во Московского университета, 2001. С. 427-428.
  48. Канович М.И. (совм. с: Шаляпина З.М., Модина Л.С. Любченко В.И., Панина А.С., Сенина Н.И., Сивцева В.И., Тарасова Е.С., Хайлова И.М., Штернова О.А. Экспериментальный комплекс ЯРАП для лингвистических исследований в области японско-русского автоматического перевода: первая очередь // Институт востоковедения РАН. Москва, 2001. 404 с., библиогр. 77 наз. Рукопись деп. в ИНИОН РАН 5.11.01 № 56804.
  49. Kanovich, Max I. (совм. с: Iliano Cervesato, Nancy Durgin, and Andre Scedrov). Interpreting Strands in Linear Logic // 2000 Workshop on Formal Methods and Computer Security, 12th Int’l Conference on Computer Aided Verification (CAV 2000). Satellite Workshop, July, 2000, Chicago, USA.
  50. Канович М.И. (совм. с: Костыркин А.В., Модина Л.С., Шаляпина З.М.). Лексико-синтаксическая информация в словаре для автоматического перевода (В рамках сущностного подхода к лингвистическому описанию) // Словарь в современном мире. Материалы Третьей международной школы-семинара. Иваново 14-16 сентября 1999 г. / Отв. ред. О.М. Карпова. Иваново, 2000. С. 117-121.
  51. Канович М.И. (совм. с: Модина Л.С., Шаляпина З.М.). Экспериментальный комплекс ЯРАП как инструмент сопоставительных лингвистических исследований // Общее и восточное языкознание. М.: Современный писатель, 1999. С. 64-79.
  52. Канович М.И. (совм. с: Шаляпина З.М., Штернова О.А.). Организация лексико-синтаксических знаний в модели русского синтеза RUMORS // Труды Международного семинара Диалог’99 по компьютерной лингвистике и её приложениям. Т. 2. Таруса, 1999. С. 326-333.
  53. Kanovich, Max I. (совм. с: Mitsuhiro Okada and Andre Scedrov). Specifying Real-Time Finite-State Systems in Linear Logic // 2-nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC). Nice, France. September, 1998 // Electronic Notes in Theoretical Computer Science. 1998. Vol. 16, № 1. P. 42-59.
  54. Канович М.И. (совм. с: Шаляпина З.М., Модина Л.С., Любченко В.И.). Проблемы и перспективы автоматического перевода с японского языка на русский // Языки Азии и Африки: традиции, современное состояние и перспективы исследований. Материалы научной конференции 5-8 октября 1998 г. М.: ИВ РАН, 1998. С. 137-143.
  55. Kanovich, Max I. (совм. с: Takayasu Ito). Temporal linear logic specifications for concurrent processes // Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science, June 29‑July 2, 1997, Warsaw, Poland. P. 48-57.
  56. Kanovich, Max I. (совм. с: Mitsuhiro Okada and Andre Scedrov) Phase semantics for light linear logic // 13-th Annual Conference on the Mathematical Foundations of Programming Semantics. Pittsburgh, Pennsylvania. March 1997 / Electronic Notes in Theoretical Computer Science. 1997. Vol. 6. P. 221-234.
  57. Канович М.И., Шаляпина З.М. Русский морфологический и морфолого-синтаксический синтез по неполной и/или неточной входной информации // Русский язык как иностранный: лингвистические проблемы (к 20-летию кафедры современного русского языка). М.: ИКАР, 1997. С. 137-147.
  58. Модина Л.С., Канович М.И., Любченко В.И., Панина А.С., Сенина Н.И., Сивцева В.И., Тарасова Е.С., Хайлова М.И., Шаляпина З.М., Штернова О.А. Словари различных лингвистических уровней в модели японско-русского автоматического перевода ЯРАП // Актуальные проблемы теоретической и прикладной лексикографии. Иваново: Юнона, 1997. С. 238-249.
  59. Kanovich, M.I. (совм. с: Shalyapina, Z.M., Modina, L.S., Lubchenko, V.B.). An Integrated Experimental Environment for Lexico-Morphological Research in Japanese-Russian Automatic Translation // Oriental Studies in the 20th Century: Achievments and Prospects. Abstract of the papers of CIS scholars for the 35th ICANAS (Budapest, Jul.7‑12, 1997). Vol. 2. Moscow, 1997. P. 329-332.
  60. Kanovich, Max I. Effective Calculi as a Technique for Search Reduction // American Mathematical Society Translations. 1996. Vol. 178 (2). P. 133-148
  61. Kanovich, Max I. Linear Logic Automata // Annals of Pure and Applied Logic. 1996. Vol. 78. № 1-3. P. 147-188.
  62. Kanovich, Max I. Simulating Computations in Second Order Non-Commutative Linear Logic // J.-Y. Girard, M. Okada, and A. Scedrov, eds. Electronic Notes in Theoretical Computer Science (ENTCS). 1996. Vol. 3: A Special Issue on Linear Logic 96, Tokyo Meeting. Elsevier, 1996. P. 106.
  63. Канович М.И., Шаляпина З.М. Словоизменение и простейшие виды словообразования в модели русской морфологии, ориентированной на задачи синтеза // Труды международного семинара ДИАЛОГ’96 по компьютерной лингвистике и её приложениям. М., 1996. С. 97-102.
  64. Шаляпина З.М., Модина Л.С., Канович М.И., Любченко В.И., Панина А.С., Сенина Н.И., Сивцева В.И., Тарасова Е.С., Хайлова М.И., Штернова О.А. Компьютерная среда ЯРАП для изучения и исследования особенностей японского и русского языков в процессе перевода. Материалы к Международной выставке-ярмарке при II Международном конгрессе ЮНЕСКО «Образование и информатика» (1-5 июля 1996 г.). 20 с.
  65. Канович М.И. (совм. с: Шаляпина З.М., Любченко В.И., Модина Л.С., Панина А.С., Сенина Н.И., Сивцева В.И., Тарасова Е.С., Хайлова И.М., Штернова О.А.). Разработка и экспериментальная верификация моделей лингвистических знаний и механизмов лексико-морфологического уровня для японского и русского языков в связи с задачами японско-русского автоматического перевода / Отчет о НИР № 95-01-01136. Российский фонд фундаментальных исследований // Информационный бюллетень РФФИ. 1995. Т. 3. № 1. С. 366.
  66. Канович М.И., Шаляпина З.М. Лингвистическая избыточность как фактор организации лексико-морфологической базы в модели русского словоизменительного синтеза // DIALOG’95. Труды Международного семинара по компьютерной лингвистике и её приложениям. Казань, 1995. С. 133-139.
  67. Kanovich, Max I. Horn Linear Logic // Gaisi Takeuti. Senkei Ronri Nyuumon (Introduction to Linear Logic). 1995. P. 83-207 (in Japanese).
  68. Kanovich, Max I. Undecidability of Non-Commutative 2nd Order Multiplicative Linear Logic // AMAST Links. June 1995. Vol. 2, Issue 05.
  69. Kanovich, Max I. The Complexity of Neutrals in Linear Logic // Proc. 10-th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, June 1995. P. 486-495.
  70. Kanovich, Max I. The Direct Simulation of Minsky machines in Linear logic // J.-Y. Girard, Y. Lafont, and L. Regnier, eds. Advances in Linear Logic / London Mathematical Society Lecture Notes. Vol. 222. London: CambridgeUniversity Press, 1995. P. 123-145.
  71. Kanovich, Max I. Simulating Guarded Programs in Linear Logic // Proceedings of the International Workshop on Theory and Practice of Parallel Programming, TPPP’94. Sendai, Japan, November 1994 / Lecture Notes in Computer Science. № 907 (ed. T. Ito and A. Yonezawa). 1995. P. 45-69.
  72. Kanovich, Max I. Petri Nets, Horn Programs, Linear Logic, and Vector Games // Annals of Pure and Applied Logic. 1995. Vol. 75. № 1-2. P. 107-135.
  73. Kanovich, Max I. Petri Nets, Horn Programs, Linear Logic, and Vector Games // Proceedings of the International Symposium Theoretical Aspects of Computer Software, TACS’94, Sendai, Japan, April 1994 / Lecture Notes in Computer Science. 1994. Vol. 789 (ed. M.Hagiya and J.Mitchell). P. 642-666.
  74. Kanovich, Max I. Horn Fragments of Non-Commutative Logics with Additives are PSPACE-complete // Proc. 1994 Annual Conference of the European Association for Computer Science Logic. Kazimierz, Poland, September 1994.
  75. Kanovich, Max I. Computational and Concurrency Aspects of Linear Logic // Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August – 2 September, 1994 / Technology and Foundations. Information Processing ’94. Vol. 1 (eds. B. Pehrson and I. Simon). 1994. P. 336-341.
  76. Kanovich, Max I. Computational and Concurrency Models of Linear Logic // LFCS 1994. P. 184-190.
  77. Канович М.И. (совм. с: Шаляпина З.М.). The RUMORS system of Russian synthesis // COLING 94. The 15th International Conference on Computational Linguistics. Proceedings. Vol. I. Kyoto, 1994. P. 177-179.
  78. Kanovich, Max I. Simulating Linear Logic in 1-Only Linear Logic / CNRS. Laboratoire de Mathématiques Discrètes. Prétiragen ◦ 94-02, January 1994. 81 p.
  79. Kanovich, Max I. The complexity of Horn Fragments of Linear Logic // Annals Pure Appl. Logic. 1994. № 69. № 2-3. Special issue of selected papers of LICS’92. P. 195-241.
  80. Kanovich, Max I. Linear logic as a logic of computations // Annals of Pure and Applied Logic. 1994. № 67. № 1-3. P.183–212.
  81. Kanovich, Max I. The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic. University of Amsterdam, Institute for Logic, Language and Computation, ILLC Prepublication Series ML-93-21, December 1993.
  82. Kanovich, Max I. Horn Programming in Linear Logic is NP-complete // Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, June 22-25, 1992. Santa Cruz, California, 1992. P. 200-210.
  83. Kanovich, Max I. (совм. с: Mati Pentus). Strong Normalization for the Equivalencies in Lambek Calculus and Linear Logic / Акад. наук СССР, Мат. институт им. В.А. Стеклова.  Предварительные публикации. Серия: Logic and Computer Science, LCS-92-04, May 1992.
  84. Kanovich, Max I. Efficient Program Synthesis: Semantics, Logic, Complexity // Proceedings of the International Conference Theoretical Aspects of Computer Software, TACS’91, Sendai, Japan, September 1991 / Lecture Notes in Computer Science. № 526 (eds. A.Meyer and T.Ito). 1991. P. 615-632.
  85. Kanovich, Max I. Efficient program synthesis in computational models // Journal of Logic Programming. 1990. Vol. 9, № 2-3. P. 159-177.
  86. Kanovich, Max I. What is the Logic of Computational Tasks? // Logic at Botik, 1989. P. 181‑185.
  87. Kanovich, Max I. The monadic Horn knowledge bases in expert systems // Изв. АН СССР. Техн. Кибернетика. 1989, № 5. P. 14-19.
  88. Kanovich, Max I. Semantics and logic of computational problems // Доклады Академии наук СССР. 1989. Т. 305, № 4. Англ. перевод: Soviet Mathematics. Doklady  / American Mathematical Society. 1989. Т. 39, № 2.
  89. Kanovich, Max I. Constructibility of the logic of computational problems // Доклады Академии наук СССР. 1988. Т. 302, № 3. Англ. перевод: Soviet Mathematics. Doklady  / American Mathematical Society. 1989. Т. 38, № 2.
  90. Kanovich, Max I. Logical foundations of the program synthesis for solving computational tasks // Изв. АН СССР. Техн. Кибернетика. 1988, № 2. P. 81-93.
  91. Kanovich, Max I. Complexity of hierarchical networks of finite automata // Fourteen papers translated from the Russian / American Mathematical Society Translations. Series 2. 1987. Vol. 137. P. 112-118.
  92. Канович М.И. Концептуальные модели предметной области: семантика, логика, алгоритмы // Семиотические аспекты формализации интеллектуальной деятельности. М., 1988. С. 15.
  93. Канович М.И. A general method for constructing concrete strongly in dependent propositions // Доклады Академии наук СССР. 1987. Т. 296, №  5. Англ. перевод: Soviet Mathematics. Doklady  / American Mathematical Society. 1988. Т. 36, № 2.
  94. Канович М.И. Quasi-polynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas // Доклады Академии наук СССР. 1986. Т. 290, №  2. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  95. Канович М.И. Логические методы синтеза программ. Учебное пособие. Калинин, 1986. 44 с.
  96. Канович М.И. Efficient logical algorithms for the analysis and synthesis of programs  // Доклады Академии наук СССР. 1985. Т. 285, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  97. Канович М.И. Исчисление функциональных и неявных зависимостей // Сложностные проблемы математической логики. Калинин, 1985.
  98. Канович М.И. Эффективные логические алгоритмы анализа и синтеза зависимостей. Доклады Академии наук СССР. 1985. С. 1301-1305.
  99. Канович М.И. Исчисления без потерь в системах анализа и синтеза зависимостей // Семиотические аспекты формализации интеллектуальной деятельности. М., 1985.  С. 78.
  100. Диковский А.Я., Канович М.И. Вычислительные модели с разделяемыми подзадачами // Изв. АН СССР. Техн. Кибернетика. 1985. № 5. С. 36-60.
  101. Канович М.И. Solving the problem of H. Rogers of relation between strong and weak recursion theorems // Доклады Академии наук СССР. 1984. Т. 279, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  102. Канович М.И. A uniform independence of invariant sentences // Lect. Notes in Computer Sci. 1984. № 176. International Conference on Mathematical Foundations of Computer Science MFCS’84.
  103. Канович М.И. On independence of invariant sentences // Доклады Академии наук СССР. 1984. Т. 276, № 1. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  104. Канович М.И. On the reducibility by general recursive operators // Доклады Академии наук СССР. 1983. Т. 273, № 4. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  105. Канович М.И. On the complexity and reducibility for algorithmic mass problems // Доклады Академии наук СССР. 1983. Т. 272, № 2. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  106. Канович М.И. On implicativeness for the lattice of truth-table degrees of algorithmic problems // Доклады Академии наук СССР. 1983. Т. 270, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  107. Канович М.И. On the register complexity of random access machines // Доклады Академии наук СССР. 1983. Т. 268, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  108. Канович М.И., Диковский А.Я. Математические методы анализа программ: Учебное пособие. Калинин: КГУ, 1983. 49 с.
  109. Канович М.И. Сложность кратной импликации // Семиотические аспекты формализации интеллектуальной деятельности. М., 1983. С. 65.
  110. Канович М.И. On the complexity of the separation problem for recursively enumerable sets // Доклады Академии наук СССР. 1982. Т. 267, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  111. Канович М.И. О табличных сводимостях проблем продолжения частично-рекурсивных функций // Доклады Академии наук СССР. 1982.  Т. 264.  № 2.  С. 294‑298. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  112. Канович М.И. Машины Тьюринга: Учебное пособие. Калинин, 1981. 41 с.
  113. Канович М.И. A complexity version of Godel’s incompleteness theorem // Fundamentals of Computation Theory: Proceedings of the Conference on Algebraic, Arithmetic, and Categorical Methods in Computation Theory (FCT79), Berlin. September 1979 (ed. L.Budach). P. 542.
  114. Канович М.И. The estimate of the complexity of incompleteness of arithmetic // Доклады Академии наук СССР. 1978. Т. 238, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  115. Kanovich, Max. I. On the complexity of equivalent transformations in programming languages // Lect. Notes in Computer Sci. 1977. № 53. International Conference on Mathematical Foundations of Computer Science MFCS’77.
  116. Kanovich, Max. I. On computability of Kolmogorov complexity // Lect. Notes in Computer Sci. 1977. № 56. International Conference on Fundamentals of Computing Theory FCT’77.
  117. Канович М.И. Complex properties of context-sensitive languages // Доклады Академии наук СССР. 1977. Т. 233, № 3. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  118. Канович М.И. On precision of the complexity criterion for non-recursiveness and universality // Доклады Академии наук СССР. 1977. Т. 232, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  119. Канович М.И. The complexity of complete systems of equivalent transformations in programming languages // Доклады Академии наук СССР. 1977. Т. 232, № 2. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  120. Канович М.И. Логика высказываний и логика предикатов: Пособие для семинарских и практических занятий со студентами 1 курса математического факультета.  Калинин, 1976.
  121. Канович М.И. (совм. с: Кушнер Б.) The complexity of algorithms and Specker sequences // Investigations on mathematical logic and the theory of algorithms. Т. 2 / Ред. A.A. Markov.  М.: ВЦ АН СССР, 1976. С. 73–83.
  122. Канович М.И. On a relation between upper and lower bounds of the decision complexity of recursively enumerable sets // Investigations on mathematical logic and the theory of algorithms. Т. 2 / Ред. A.A.Markov.  М.: ВЦ АН СССР, 1976. С. 62-72.
  123. Канович М.И. The Dekker construction and effective non-recursiveness // Доклады Академии наук СССР. 1975. Т. 222, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  124. Канович М.И. A hierarchical semantic system with set variables // Доклады Академии наук СССР. 1975. Т. 221, № 6. С. 1256-1259. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society. 1975. Vol. 16, № 2. P. 504-508.
  125. Канович М.И. On sets of complex-programmed numbers // Lect.Notes in Computer Sci. 1975. № 32. International Conference on Mathematical Foundations of Computer Science MFCS’75.
  126. Канович М.И. ”Complex” and ”simple” integers // Доклады Академии наук СССР. 1974. Т. 218, № 2. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  127. Канович М.И. Теорема об ускорении в формальных системах // Сложность вычислений и алгоритмов. Сборник переводов /  Под. ред. Козмидиади В.А., Маслов А.Н., Петри Н.В. Библиотека «Кибернетического Сборника». М.: Мир. 1974. С. 186‑189.
  128. Канович М.И. The complexity of limits of Specker sequences // Доклады Академии наук СССР. 1974. Т. 214, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  129. Канович М.И. On an extension of Markov’s step-by-step semantic system // Теория алгоритмов и математическая логика / Ред. А.А. Марков. М.: ВЦ АН СССР, 1974. С. 32-47.
  130. Канович М.И. Об одной задаче А.А. Маркова // Третья конференция по математической логике. Новосибирск, 1974.
  131. Канович М.И. Non-reducibility of languages of the step-by-step semantic system // Доклады Академии наук СССР. 1973. Т. 212, № 4. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  132. Канович М.И. On the approximation complexity of arithmetical sets // Доклады Академии наук СССР. 1973. Т. 211, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  133. Канович М.И. The bounded decision complexity of algorithms // Investigations on mathematical logic and the theory of algorithms. Т. 1 / Ред. А.А. Марков. М.: ВЦ АН СССР, 1973. С. 3–47.
  134. Канович М.И. On universality of strongly non-recursive sets // Доклады Академии наук СССР. 1972. Т. 204, № 3. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  135. Канович М.И. The bounded decision complexity of semi-recursively enumerable sets // Доклады Академии наук СССР. 1972. Т. 203, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  136. Канович М.И. On domains of optimal algorithms // Доклады Академии наук СССР. 1971. Т. 198, № 1. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  137. Канович М.И. On the complexity of minimization of boolean functions // Доклады Академии наук СССР. 1971. Т. 198, № 1. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  138. Канович М.И. The decision complexity of a recursively enumerable set as a criterion of its universality // Доклады Академии наук СССР. 1971. Т. 194, № 3. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  139. Канович М.И. On the decision complexity of recursively enumerable sets // Доклады Академии наук СССР. 1970. Т. 192, № 4. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  140. Канович М.И. On the decision and enumeration complexity of predicates // Доклады Академии наук СССР. 1970. Т. 190, № 1. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  141. Канович М.И. On the decision complexity of algorithms // Доклады Академии наук СССР. 1969. Т. 186, № 5. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  142. Канович М.И. (совм. с: Н. Петри). Some theorems on the complexity of normal algorithms and computations // Доклады Академии наук СССР. 1969. Т. 184, № 6. Англ. перевод: Soviet Mathematics. Doklady / American Mathematical Society.
  143. Канович М.И. Об оценках сложности разрешения алгорифмов // Записки научных семинаров / Акад. наук СССР, Мат. институт им. В.А. Стеклова, Ленингр. отделение.  Л.:  Наука, 1967 (1995).   Т. 16. Исследования по конструктивной математике и математической логике: Т. 3 : Сб. работ / под ред. А.О. Слисенко. М.: Наука, 1969. С. 77-80.
  144. Канович М.И., Кушнер Б.А.  Об оценке сложности некоторых массовых проблем анализа // Записки научных семинаров / Акад. наук СССР, Мат. ин-т им. В.А. Стеклова, Ленингр. отделение. Л.: Наука, 1967 (1995). Т. 16. Исследования по конструктивной математике и математической логике: 3 : сб. работ / под ред. А.О. Слисенко. М.: Наука, 1969. С. 81-90.

Переводы

  1. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость / Пер. Душский В.А., Канович М.И., Ногина Е.Ю.  М.: Мир, 1972. 312 с.
  2. М. Блюм. Об эффективных процедурах для ускоряющих алгоритмов / Пер. М.И. Кановича // Сложность вычислений и алгоритмов. Сборник переводов.  Под. ред. Козмидиади В.А., Маслов А.Н., Петри Н.В. Библиотека «Кибернетического Сборника». М.: Мир. 1974. С. 127-149.
  3. Дж. Хелм, П. Янг. Сопоставление сложности и эффективности программ, допускающих ускорение / Пер. М.И. Кановича  // Сложность вычислений и алгоритмов. Сборник переводов.  Под. ред. Козмидиади В.А., Маслов А.Н., Петри Н.В. Библиотека «Кибернетического Сборника».  М.: Мир. 1974. С. 150-159.