Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Бабичев Андрей Владимирович
Публикаций: 18 (18)
в MathSciNet: 3 (3)
в zbMATH: 12 (12)
в Scopus: 1 (1)
Цитированных статей: 2
Цитирований: 4

Статистика просмотров:
Эта страница:242
Страницы публикаций:232
Полные тексты:79
Списки литературы:40
кандидат технических наук
   
Основные публикации:
  1. А. В. Бабичев, “О согласовании поведения взаимодействующих объектов”, УБС, 46 (2013), 6–67  mathnet  elib
  2. А. В. Бабичев, “Ориентирование в лабиринте”, Автомат. и телемех., 2008, 2, 135–145  mathnet  zmath  elib
  3. А. В. Бабичев, “Рациональные термы и рациональные числа”, Автомат. и телемех., 1998, № 3, 156–172  mathnet  zmath
  4. А. В. Бабичев, “Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных”, Автомат. и телемех., 1997, № 2, 194–208  mathnet  zmath
  5. А. В. Бабичев, “Типизация и организация контроля типов в программах над сложными структурами данных”, Автомат. и телемех., 1989, № 3, 167–175  mathnet  zmath
  6. А. В. Бабичев, “Порождение и распознавание языков над термами”, Автомат. и телемех., 1988, № 9, 144–153  mathnet  zmath
  7. А. В. Бабичев, “Исчисления, допускающие проверку выводимости с помощью конечных интерпретаций”, Автомат. и телемех., 1988, № 5, 132–142  mathnet  zmath

https://www.mathnet.ru/rus/person88710
https://scholar.google.com/citations?user=512946&hl=ru
https://zbmath.org/authors/ai:babichev.a-v
https://elibrary.ru/author_items.asp?spin=5631-9279

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)
1. А. В. Бабичев, “Ориентирование в лабиринте”, Автомат. и телемех., 2008, 2, 135–145  mathnet  zmath  elib 3
2. А. В. Бабичев, “Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных”, Автомат. и телемех., 1997, № 2, 194–208  mathnet  zmath 1
3. А. В. Бабичев, “О согласовании поведения взаимодействующих объектов”, УБС, 46 (2013), 6–67  mathnet  elib
4. А. В. Бабичев, “Распараллеливание рекурсивных программ”, PACO Труды 5 международной конференции “Параллельные вычисления и задачи управления” (Москва, 26–28 октября 2010), Институт проблем управления, Москва, 2010, 583–606 https://www.yumpu.com/xx/document/view/47865029/-
5. A. В. Бабичев, Распознавание и спецификация структур данных, ЛЕНАНД, Москва, 2008 , 192 с.
6. А. В. Бабичев, В. Г. Лебедев, “Язык спецификации взаимодействующих процессов MODEL-100”, Программирование, 2007, № 1, 1–18; A. V. Babichev, V. G. Lebedev, “Model-100: Specification language for interacting processes”, Programming and Computer Software, 33:1 (2007), 2–13  crossref  zmath  scopus
7. А. В. Бабичев, “Рациональные термы и рациональные числа”, Автомат. и телемех., 1998, № 3, 156–172  mathnet  zmath
8. А. В. Бабичев, “Типизация и организация контроля типов в программах над сложными структурами данных”, Автомат. и телемех., 1989, № 3, 167–175  mathnet  zmath
9. А. В. Бабичев, “Порождение и распознавание языков над термами”, Автомат. и телемех., 1988, № 9, 144–153  mathnet  zmath
10. А. В. Бабичев, “Исчисления, допускающие проверку выводимости с помощью конечных интерпретаций”, Автомат. и телемех., 1988, № 5, 132–142  mathnet  zmath
11. А. В. Бабичев, В. А. Вальковский, В. Г. Лебедев, Э. А. Трахтенгерц, Ю. М. Шурайц и другие, Параллельная обработка информации, т. 1, Распараллеливание алгоритмов обработки информации, Наукова Думка, Киев, 1985 , 280 с.
12. А. В. Бабичев, В. Г. Лебедев, В. В. Паршенцев, В. А. Пронина, Э. А. Трахтенгерц, “Построение транслятора для многопроцессорных вычислительных систем, ч.2.”, Кибернетика, 1985, № 1, 38–44; A. V. Babichev, V. G. Lebedev, V. V. Parshentsev, V. A. Pronina, E. A. Trakhtengerts, “Construction of a translator for a multiprocessor computer system. II”, Cybernetics and Systems Analysis, 21:1 (1985), 45-54 http://link.springer.com/article/10.1007/BF01075119
13. А. В. Бабичев, В. Г. Лебедев, В. В. Паршенцев, В. А. Пронина, Э. А. Трахтенгерц, “Построение транслятора для многопроцессорных вычислительных систем. ч. 1.”, Кибернетика, 1984, № 6, 18–22; A. V. Babichev, V. G. Lebedev, V. V. Parshentsev, V. A. Pronina, E. A. Trakhtengerts, “Construction of a translator for multiprocessor computer systems”, Cybernetics and Systems Analysis, 20:6 (1984), 790–796 http://link.springer.com/article/10.1007/BF01072164
14. А. В. Бабичев, В. Г. Лебедев, “Распараллеливание программных циклов”, Программирование, 1983, № 5, 52–63  zmath; A. V. Babichev, V. G. Lebedev, “Parallel execution of program loops”, Program. Comput. Software, 1983, no. 9, 261–271  zmath
15. А. В. Бабичев, “О беспереборном синтаксическом анализе.”, Программирование, 1982, № 4, 3–13  zmath; A. V. Babichev, “Nonenumerative parsing of CF-languages”, Programming and computer software, 8:4 (1983), 165–175  mathscinet  zmath
16. А. В. Бабичев, “Модификация LR(k) -анализатора, позволяющая осуществить параллельный синтаксический анализ КС-языков”, Программирование, 1981, № 4, 26–33  zmath; A. V. Babichev, “Modification of the LR(k) parser for parallel syntactic analysis”, Program. Comput. Software, 1981, no. 7, 199–205  mathscinet  zmath
17. А.В. Бабичев, “Автоматы, распознающие языки порождаемые грамматиками предшествования”, Программирование, 1978, № 6, 20–25  zmath; A. V. Babichev, “Automata that accept languages generated by precedence grammars”, Program. Comput. Software, 1978, no. 4, 388–392  mathscinet  zmath
18. А. В. Бабичев , В. А. Пронина, Э. А. Трахтенгерц, “Приведение порождающих грамматик к виду, обладающему функциями предшествования”, Программирование, 1977, № 3, 43–53  zmath; A. V. Babichev, V. A. Pronina, Eh. A. Trahtengerts, “The conversion of engendering grammars into a form observing precedence functions”, Program. Comput. Software, 1977, no. 3, 197–205  zmath
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024