Селиванов Виктор Львович. Результативность работы. Персональная страница сотрудника КФУ. Казанский (Приволжский) федеральный университет.
Институт геологии и нефтегазовых технологий
Институт фундаментальной медицины и биологии
Институт экологии и природопользования
Химический институт им. А.М. Бутлерова
Междисциплинарный центр "Аналитическая микроскопия"
Научно-образовательный центр фармацевтики
Юридический факультет
Институт международных отношений
Институт филологии и межкультурной коммуникации им. Льва Толстого
Институт психологии и образования
Институт социально-философских наук и массовых коммуникаций
Высшая школа журналистики и медиакоммуникаций
Институт управления, экономики и финансов
Высшая школа государственного и муниципального управления
Высшая школа бизнеса
Общеуниверситетская кафедра физического воспитания и спорта
Институт физики
Институт информационных технологий и интеллектуальных систем
Институт вычислительной математики и информационных технологий
Институт математики и механики им. Н.И. Лобачевского
Инженерный институт
Факультет повышения квалификации
Подготовительный факультет для иностранных учащихся
Институт непрерывного образования
IT-лицей-интернат КФУ
Лицей имени Н.И.Лобачевского
Набережночелнинский институт КФУ
Елабужский институт КФУ
Вход
Сайт ректора
Студенту
Абитуриенту
Сотруднику
Выпускнику
Карьера
Музеи
Библиотека
Газета "Казанский университет"
UNIVER TV
Газета "Darelfonyn"
...
English
Español
中文
Институты и факультеты
Об Университете
Миссия университета
Структура КФУ
Документы
Безопасность университета
История Университета
Стратегия развития
Цифры и факты (отчеты КФУ)
Интернет-приемная
Закупки
Достижения КФУ
Карта всех объектов
Телефонный справочник КФУ
Сотрудники КФУ
Обучающиеся КФУ
Корпоративный центр компетенций
Раскрытие информации
Информация от Минюста России о рассмотрении обращений граждан и организаций
Национальные проекты
Образование
Основные подразделения и филиалы КФУ
Нормативно-правовое обеспечение образовательной деятельности
Учебные и методические материалы
Дистанционное обучение
Электронное обучение
Контингент обучающихся
Стипендии
Расписание
Журнал успеваемости
Практика для студентов
Вакансии для студентов
Работодателям
Обучение и стажировки за рубежом
Дополнительное образование
Довузовское образование
Физика для всех
Геология для всех
Международная олимпиада Ассоциации "Глобальные университеты" для абитуриентов магистратуры
Наука
Управление научно-исследовательской деятельности
Инновационная деятельность
Новости
Научная лаборатория
Аспирантура и докторантура
Отдел аттестации научно-педагогических кадров
Патентно-лицензионный отдел
Научные издания КФУ
Научные проекты КФУ
Конференции
Научно-исследовательская работа студентов (НИРС)
Научный центр мирового уровня
Научный центр "Регуляторная геномика"
Полигон "Карбон Поволжье"
Конкурсы и гранты
ЦКП и УНУ
Крупные проекты
Здравоохранение
О мерах по предупреждению коронавируса
Научные исследования
Университетская клиника
Высшая школа медицины
Высшая школа биологии
Ординатура
Дополнительное образование
Аспирантура
Научно-клинический центр прецизионной и регенеративной медицины
Научно-клинический центр профилактической медицины
Симуляционный центр
Аккредитационный центр
Центр экспериментальной медицины
Стоматологический фантомный класс
Инжиниринговый центр медицинских симуляторов "Центр медицинской науки"
Документы
Международная деятельность
Департамент внешних связей
Летний университет 2023
Развитие сотрудничества
Приглашение иностранного учёного
Обучение и стажировки за рубежом
Миграционное сопровождение иностранных граждан
Обучение иностранных граждан
Признание иностранного образования
Адаптация иностранных граждан
Нормативные документы и шаблоны
Студенческий научный кружок "Полимирие"
Университет и общество
Дистанционное обучение в КФУ
Музеи
Научная библиотека им.Н.И.Лобачевского
Общественные организации
Выпускникам
Представителям СМИ
Социальная инфраструктура
Здравоохранение
Вакансии
КФУ в проекте "Культурное наследие России"
Дирекция социально-спортивных объектов КФУ
Программа оздоровления работников
Полезные ссылки
Локальный этический комитет
Национальный проект "Наука и университеты"
Десятилетие науки и технологий
Приоритет 2030
Селиванов Виктор Львович (архив)
2018
9. Алаев П.Е. Полиномиальная вычислимость полей алгебраических чисел / П.Е. Алаев, В.Л. Селиванов // ДАН Математика. – 2018. – 98, № 1. – С. 341-343. – DOI: 10.1134/S1064
Калимуллин И.Ш., Селиванов В.Л., Фролов А.Н. Спектры степеней структур // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 158. - С. 23–39.
F_firstpage_into411.pdf
21. Selivanova S.V. Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract). CiE / S.V. Selivanova, V.L. Selivanov // Int Conf. Computability in Europe in Kiel (D. Novotka et al, eds), Lecture Notes in Computer Science V. 10936, Berlin, Springer, 2018. – Р. 376 - 385.
Alaev P.Е. Polynomial-Time Presentations of Algebraic Number Fields. CiE / P. Е. Alaev, V.L. Selivanov // CiE / S.V. Selivanova, V.L. Selivanov // Int Conf. Computability in Europe in Kiel (D. Novotka et al, eds), Lecture Notes in Computer Science V. 10936, Berlin, Springer, 2018. – Р. 20-29.
2017
Селиванова С.В. О конструктивных числовых полях и вычислимости решений дифференциальных уравнений в частных производных [Текст] / С.В. Селиванова, В.Л. Селиванов // ДАН Математика. – 2017. – Т. 477, № 3. – С. 278-281.
F_0278_0281__04_Selivanova_ID12201.pdf
Selivanova, S.V. Computing solution operators of boundary-value problems for symmetric hyperbolic systems of PDEs [Text] / S.V. Selivanova, V.L. Selivanov // Logical Methods in Computer Science. – 2017 - V. 13, № 4:13. - P. 1–31, https://lmcs.episciences.org/.
swePDE_lmcs.pdf
Статьи в материалах рецензируемых конференций: 5. Selivanov, V.L. Extending Wadge theory to k-partitions [Text] V.L. Selivanov // Lecture Notes in Computer Science. – 2017, V. 10307. – P. 387-399, : Proc. of “Computability in Europe-2017, J. Kari, F. Manea and Ion Petre (eds.), Berlin, Springer
Selivanov, V. Towards a descriptive theory of cb0-spaces [Text] / V. Selivanov // Mathematical structures in computer science. – 2017 - V. 27, №. 8. P. - 1553-1580, https://doi.org/10.1017/S0960129516000177
Kudinov, O. First order theories of some lattices of open sets [Text] / O. Kudinov, V. Selivanov// Logical Methods in Computer Science. – 2017. – V. 13, №. 3:16. - P. 1-18. https://lmcs.episciences.org/
KudinovLatOpen.pdf
2016
Селиванов, В. Л. О тьюринговых степенях в утончениях арифметической иерархии / В.Л. Селиванов, М.М. Ямалеев // Международная конференция “Мальцевские чтения 2016”: тезисы докладов. – 2016. – С. 57.
Yamaleev_malmeet16.pdf
Konovalov A. The Boolean algebra of piecewise testable languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - Berlin, Springer, 2016. - V. 9709, 292-301.
Kudinov O.V. On the lattices of effectively open sets / O.V. Kudinov, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2016 (Eds. Arnold Beckmann et al.). - 2016. - V. 9709. - DOI: 10.1007/978-3-319-40189-8 31.
Glasser C. Efficient algorithms for membership in boolean hierarchies of regular languages / C. Glasser, H. Schmitz, V. Selivanov // Theoretical Computer Science. - 2016. - V. 646, Is. C. - P. 86-108. - doi: 10.1016/j.tcs.2016.07.017.
2015
de Brecht M. Base-Complexity Classifications of QCB_0 -Spaces / M. de Brecht, M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 56-66.
Selivanov V.L. Towards the Effective Descriptive Set Theory / V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 324-333.
Schroeder M. Some Hierarchies of qcb_0-Spaces / M. Schroeder, V. Selivanov // Mathematical Structures in Computer Science. - 2015. - V. 25, Is. 8. - P. 1799-1823.- doi: 10.1017/S0960129513000376.
Schroeder M. Hyperprojective hierarchy of qcb_0-spaces / M. Schroeder, V.L. Selivanov // Computability.- 2015. - V.4, No. 1. - P. 1-17.
Motto Ros L. Wadge-like reducibilities on arbitrary quasi-Polish spaces / L. Motto Ros, P. Schlicht, V. Selivanov // Mathematical structures in computer science. - 2015. - V. 25, Is 8. - P. 1705-1754. - doi:10.1017/S0960129513000339.
2014
Hertling P. Complexity issues for preorders on finite labeled forests / P. Hertling, V. Selivanov // Logic, Computation, Hierarchies, edited by Vasco Brattka, Hannes Diener, and Dieter Spreen. - Ontos Publishing, de Gruiter, Boston-Berlin, 2014. - P. 165-190.
Schroeder M. Hyperprojective Hierarchy of qcb0-Spaces / M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2014 (Eds. Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer). - Springer, 2014. - V. 8493. - P. 352-361.
Коновалов А.С. Булевы алгебры регулярных языков / А.С. Коновалов, В.Л. Селиванов // Алгебра и логика. - 2013. - Т. 52, № 6. - С. 676-711.
2013
Selivanov V.L. Total representations / V.L. Selivanov // Logical Methods in Computer Science. - 2013. - V. 9, No. 2. - P. 1 - 30. - DOI: 10.2168/LMCS-9(2:5)2013.
Konovalov A. Boolean Algebras of Regular omega-Languages / A. Konovalov, V. Selivanov // Lecture Notes in Computer Science. (Dediu, Adrian-Horia; Martín-Vide, Carlos; Truthe, Bianca (Eds.)). - 2013. - V. 7810. - P. 504-515.
Рабочий адрес:
Казань, ул. Кремлевская, д. 25, Административное здание
Номер кабинета:
3
Телефон:
88432337039
E-mail:
VLSelivanov@kpfu.ru
Google scholar:
https://scholar.google.ru/citations?view_op=list_works&hl=ru&user=ga1YR2AAAAAJ
Общие сведения
Направления научной работы
Показатели продуктивности
Награды, почетные звания
Мероприятия
Результативность работы
Статьи
Тезисы и материалы конференций
Руководство НИР
Вход в личный кабинет
Ваш логин
Ваш пароль
запомнить меня
Забыли пароль?
Регистрация