Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Когтенков Александр Валентинович
В базах данных Math-Net.Ru
Публикаций: 3
Научных статей: 3
Лекций и докладов: 1

Статистика просмотров:
Эта страница:111
Страницы публикаций:461
Полные тексты:543
Списки литературы:104
доктор наук

https://www.mathnet.ru/rus/person124527
Список публикаций на Google Scholar
https://orcid.org/0000-0003-4873-8306

Публикации в базе данных Math-Net.Ru Цитирования
2017
1. A. V. Kogtenkov, “Towards null safety benchmarks for object initialization”, Модел. и анализ информ. систем, 24:6 (2017),  718–729  mathnet  elib
2. A. V. Kogtenkov, “Null safety benchmarks for object initialization”, Труды ИСП РАН, 29:6 (2017),  135–150  mathnet  elib
2016
3. A. V. Kogtenkov, “Mechanically proved practical local null safety”, Труды ИСП РАН, 28:5 (2016),  27–54  mathnet  elib 2

Доклады и лекции в базе данных Math-Net.Ru
1. Объектно-ориентированное программирование без встроенных типов
А. В. Когтенков
Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
3 апреля 2024 г. 16:00   

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