RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Летичевский Александр Адольфович

В базах данных Math-Net.Ru
Публикаций: 13
Научных статей: 13
Лекций и докладов: 2

Статистика просмотров:
Эта страница:957
Страницы публикаций:1020
Полные тексты:381
Списки литературы:106
академик Национальной академии наук Украины
профессор
доктор физико-математических наук (1973)
Дата рождения: 3.05.1935
E-mail:

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

символьная верификация требований, доказательное моделирование, алгебраическое и инсерционное программирование


http://www.mathnet.ru/rus/person60082
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2014
1. П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, “Инкрементальный подход к технологии создания тестов для индустриальных проектов”, Модел. и анализ информ. систем, 21:6 (2014),  144–154  mathnet
2. П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, А. А. Летичевский, В. С. Песчаненко, “Подход к автоматизации отладки поведенческих сценариев”, Модел. и анализ информ. систем, 21:6 (2014),  44–56  mathnet
2013
3. П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 20:6 (2013),  64–77  mathnet
4. И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013),  349–383  mathnet
2012
5. А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012),  79–91  mathnet
1980
6. В. М. Глушков, Ю. В. Капитонова, А. А. Летичевский, “Эффективность параллельных вычислений при ограниченных ресурсах”, Докл. АН СССР, 254:3 (1980),  527–530  mathnet  mathscinet  zmath
1978
7. А. А. Летичевский, “О максимальной десеквенции циклических операторов”, Докл. АН СССР, 242:4 (1978),  761–764  mathnet  mathscinet  zmath
1976
8. А. А. Летичевский, Л. Б. Смикун, “Об одном классе групп с разрешимой проблемой эквивалентности автоматов”, Докл. АН СССР, 227:1 (1976),  36–38  mathnet  mathscinet  zmath
1969
9. А. А. Летичевский, “Функциональная эквивалентность автомата с заключительным состоянием”, Докл. АН СССР, 185:1 (1969),  58–60  mathnet  mathscinet  zmath
1968
10. А. А. Летичевский, “Эквивалентность автоматов с заключительным состоянием относительно свободной полугруппы с правым нулем”, Докл. АН СССР, 182:5 (1968),  1007–1009  mathnet  mathscinet  zmath
1965
11. В. П. Гладун, А. А. Летичевский, С. Д. Михновский, К. М. Подколзина, З. Л. Рабинович, “Расширение логических возможностей языка АЛГОЛ-60”, Ж. вычисл. матем. и матем. физ., 5:2 (1965),  369–372  mathnet  zmath; V. P. Gladun, A. A. Letichevskii, S. D. Mikhnovskii, K. M. Podkolzina, Z. L. Rabinovich, “An extension of the logical potentialities of ALGOL-60”, U.S.S.R. Comput. Math. Math. Phys., 5:2 (1965), 289–294
1962
12. А. А. Летичевский, “Автоматные разложения отображений свободных полугрупп”, Ж. вычисл. матем. и матем. физ., 2:3 (1962),  467–474  mathnet  mathscinet  zmath; A. A. Letichevskii, “Automatic expansion of representations of free semigroups”, U.S.S.R. Comput. Math. Math. Phys., 2:3 (1963), 489–496
1961
13. А. А. Летичевский, “Условия полноты для конечных автоматов”, Ж. вычисл. матем. и матем. физ., 1:4 (1961),  702–710  mathnet  zmath; A. A. Letichevskii, “Completeness conditions for finite automata”, U.S.S.R. Comput. Math. Math. Phys., 1:3 (1962), 829–840

Доклады и лекции в базе данных Math-Net.Ru
1. От схем программ Ляпунова до современных моделей программных систем
А. А. Летичевский
Конференция, посвященная 100-летию Алексея Андреевича Ляпунова
10 ноября 2011 г. 10:35   
2. Воспоминания об академике А. А. Дородницыне
А. А. Летичевский
Международная конференция по прикладной математике и информатике, посвященная 100-летию со дня рождения академика А. А. Дородницына
7 декабря 2010 г. 11:35   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019