Селиванов Виктор Львович. Результативность работы. Персональная страница сотрудника КФУ. Казанский (Приволжский) федеральный университет.
Институт геологии и нефтегазовых технологий
Институт фундаментальной медицины и биологии
Институт экологии и природопользования
Химический институт им. А.М. Бутлерова
Междисциплинарный центр "Аналитическая микроскопия"
Научно-образовательный центр фармацевтики
Юридический факультет
Институт международных отношений
Институт филологии и межкультурной коммуникации им. Льва Толстого
Институт психологии и образования
Институт социально-философских наук и массовых коммуникаций
Высшая школа журналистики и медиакоммуникаций
Институт управления, экономики и финансов
Высшая школа государственного и муниципального управления
Высшая школа бизнеса
Общеуниверситетская кафедра физического воспитания и спорта
Институт физики
Институт информационных технологий и интеллектуальных систем
Институт вычислительной математики и информационных технологий
Институт математики и механики им. Н.И. Лобачевского
Инженерный институт
Факультет повышения квалификации
Подготовительный факультет для иностранных учащихся
Институт непрерывного образования
IT-лицей-интернат КФУ
Лицей имени Н.И.Лобачевского
Набережночелнинский институт КФУ
Елабужский институт КФУ
Вход
Сайт ректора
Студенту
Абитуриенту
Сотруднику
Выпускнику
Карьера
Музеи
Библиотека
UNIVER TV
...
English
Español
中文
Институты и факультеты
Об Университете
Миссия университета
Структура КФУ
Документы
Безопасность университета
История Университета
Стратегия развития
Цифры и факты (отчеты КФУ)
Интернет-приемная
Закупки
Достижения КФУ
Карта всех объектов
Телефонный справочник КФУ
Сотрудники КФУ
Обучающиеся КФУ
Корпоративный центр компетенций
Раскрытие информации
Информация от Минюста России о рассмотрении обращений граждан и организаций
Национальные проекты
Образование
Основные подразделения и филиалы КФУ
Нормативно-правовое обеспечение образовательной деятельности
Учебные и методические материалы
Дистанционное обучение
Электронное обучение
Контингент обучающихся
Стипендии
Расписание
Журнал успеваемости
Практика для студентов
Вакансии для студентов
Работодателям
Обучение и стажировки за рубежом
Дополнительное образование
Довузовское образование
Физика для всех
Геология для всех
Международная олимпиада Ассоциации "Глобальные университеты" для абитуриентов магистратуры
Наука
Управление научно-исследовательской деятельности
Инновационная деятельность
Новости
Научная лаборатория
Аспирантура и докторантура
Отдел аттестации научно-педагогических кадров
Патентно-лицензионный отдел
Научные издания КФУ
Научные проекты КФУ
Конференции
Научно-исследовательская работа студентов (НИРС)
Научный центр мирового уровня
Научный центр "Регуляторная геномика"
Полигон "Карбон Поволжье"
Конкурсы и гранты
ЦКП и УНУ
Крупные проекты
Здравоохранение
О мерах по предупреждению коронавируса
Научные исследования
Университетская клиника
Высшая школа медицины
Высшая школа биологии
Ординатура
Дополнительное образование
Аспирантура
Научно-клинический центр прецизионной и регенеративной медицины
Научно-клинический центр профилактической медицины
Симуляционный центр
Аккредитационный центр
Центр экспериментальной медицины
Стоматологический фантомный класс
Инжиниринговый центр медицинских симуляторов "Центр медицинской науки"
Документы
Международная деятельность
Департамент внешних связей
Развитие сотрудничества
Обучение и стажировки за рубежом
Приглашение иностранного учёного
Миграционное сопровождение иностранных граждан
Признание иностранного образования
Обучение иностранных граждан
Адаптация иностранных граждан
Летний университет 2024
Нормативные документы и шаблоны
Университет и общество
Дистанционное обучение в КФУ
Музеи
Научная библиотека им.Н.И.Лобачевского
Общественные организации
Выпускникам
Представителям СМИ
Социальная инфраструктура
Здравоохранение
Вакансии
КФУ в проекте "Культурное наследие России"
Дирекция социально-спортивных объектов КФУ
Программа оздоровления работников
Полезные ссылки
Локальный этический комитет
Национальный проект "Наука и университеты"
Десятилетие науки и технологий
Приоритет 2030
Селиванов Виктор Львович (архив)
Селиванов Виктор Львович
2018
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.
Калимуллин И.Ш., Селиванов В.Л., Фролов А.Н. Спектры степеней структур // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз. - 2018. - Том 158. - С. 23–39.
F_firstpage_into411.pdf
9. Алаев П.Е. Полиномиальная вычислимость полей алгебраических чисел / П.Е. Алаев, В.Л. Селиванов // ДАН Математика. – 2018. – 98, № 1. – С. 341-343. – DOI: 10.1134/S1064
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.
2017
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
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
Селиванова С.В. О конструктивных числовых полях и вычислимости решений дифференциальных уравнений в частных производных [Текст] / С.В. Селиванова, В.Л. Селиванов // ДАН Математика. – 2017. – Т. 477, № 3. – С. 278-281.
F_0278_0281__04_Selivanova_ID12201.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
2016
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.
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.
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.
Коновалов А.С. Булевы алгебры регулярных языков / А.С. Коновалов, В.Л. Селиванов // Алгебра и логика. - 2013. - Т. 52, № 6. - С. 676-711.
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
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
Общие сведения
Направления научной работы
Показатели продуктивности
Награды, почетные звания
Мероприятия
Результативность работы
Статьи
Тезисы и материалы конференций
Руководство НИР
Вход в личный кабинет
Ваш логин
Ваш пароль
запомнить меня
Забыли пароль?
Регистрация