Персоналии: Дудаков Сергей Михайлович

Персоналии

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Дудаков Сергей Михайлович

В базах данных
в MathSciNet:	20 (20)
в zbMATH:	18 (18)
в Web of Science:	18 (18)
в Scopus:	23 (23)

профессор

доктор физико-математических наук (2007)

Специальность ВАК:

01.01.06 (математическая логика, алгебра и теория чисел)

E-mail:

Сайт:

https://pmk.tversu.ru/general/employees/1/?

Ключевые слова:

сложность вычислений, свойства коллапса для языков, универсальный случайный граф, логика первого порядка, автоматный язык.

Коды УДК:

510.5, 510.6, 510.62, 510.652

Коды MSC:

68P15, 03B70

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

Теория сложности вычислений, теория языков первого порядка, теория баз данных

Научная биография:

Окончил Тверской госуниверситет в 1997 году. В 2000 году защитил кандидатскую диссертацию (мехмат МГУ), в 2004 году присвоено звание доцента. В 2007 защитил докторскую диссертацию (мехмат МГУ), в 2008 присуждена ученая степень доктора физико-математических наук.

Основные публикации:

S. M. Dudakov, B. N. Karlov, “On Decidability of Theories of Regular Languages”, Theory of Computing Systems, 65 (2021), 462–478
S. M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii Journal of Mathematics, 36:4 (2015), 328–331
С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011), 47–64 ; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932
С. М. Дудаков, М. А. Тайцлин, “Трансляционные результаты для языков запросов в теории баз данных”, УМН, 61:2(368) (2006), 3–66 ; S. M. Dudakov, M. A. Taitslin, “Collapse results for query languages in database theory”, Russian Math. Surveys, 61:2 (2006), 195–253
M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos, “Maximal state independent approximations to minimal real change”, AMAI, 33 (2001), 157–204

https://www.mathnet.ru/rus/person15222

https://scholar.google.com/citations?user=ZCRpNcEAAAAJ&hl=ru

https://zbmath.org/authors/ai:dudakov.sergey-m

https://mathscinet.ams.org/mathscinet/MRAuthorID/631519

https://elibrary.ru/author_items.asp?spin=2474-9802

ИСТИНА

https://istina.msu.ru/workers/715769445

https://orcid.org/0000-0003-2659-265X

https://www.webofscience.com/wos/author/record/B-2740-2014

https://publons.com/researcher/2565663

https://www.scopus.com/authid/detail.url?authorId=6507617497

https://www.researchgate.net/profile/Sergey_Dudakov

Список публикаций:

по числу цит.

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)

1.	С. М. Дудаков, М. А. Тайцлин, “Трансляционные результаты для языков запросов в теории баз данных”, УМН, 61:2(368) (2006), 3–66 ; S. M. Dudakov, M. A. Taitslin, “Collapse results for query languages in database theory”, Russian Math. Surveys, 61:2 (2006), 195–253	12 ^[x]
2.	S. M. Dudakov, “On Undecidability of Concatenation Theory for One-Symbol Languages”, Lobachevskii Journal of Mathematics, 41:2 (2020), 168–175	9 ^[x]
3.	С. М. Дудаков, “Об алгоритмических свойствах алгебры конечных подмножеств некоторых уноидов”, Вестник ТвГУ. Серия: Прикладная математика, 2019, № 4, 108–116	8 ^[x]
4.	S. M. Dudakov, B. N. Karlov, “On Decidability of Theories of Regular Languages”, Theory of Computing Systems, 65 (2021), 462–478	7 ^[x]
5.	С. М. Дудаков, “Трансляционная теорема для теорий $I$-сводимых алгебраических систем”, Изв. РАН. Сер. матем., 68:5 (2004), 67–90 ; S. M. Dudakov, “The collapse theorem for theories of $I$-reducible algebraic systems”, Izv. Math., 68:5 (2004), 911–933	6 ^[x]
6.	M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos, “Maximal Expansions of Database Updates”, Foundations of Information and Knowledge Systems (Burg, Germany, February 14–17, 2000), LNCS, 1762, 2001, 72–87	6 ^[x]
7.	С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011), 47–64 ; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932	5 ^[x]
8.	С. М. Дудаков, “Трансляционный результат для расширений арифметики Пресбургера одноместной функцией, согласованной со сложением”, Матем. заметки, 76:3 (2004), 362–371 ; S. M. Dudakov, “Collapse Result for Extensions of the Presburger Arithmetic by a Unary Function Compatible with Addition”, Math. Notes, 76:3 (2004), 339–347	5 ^[x]
9.	S. M. Dudakov, “On undecidability of subset theory for some monoids”, International Conference “Applied Mathematics, Computational Science and Mechanics: Current Problems”, AMCSM 2020 (Voronezh, december, 07-09, 2020), Journal of Physics: Conference Series, 1902, 2021, 012060 , 12 pp.	4 ^[x]
10.	S. M. Dudakov, “On Safety of Unary and Nonunary IFP Operators”, Automatic Control and Computer Sciences, 53:7 (2019), 683–688	4 ^[x]
11.	С. М. Дудаков, “О безопасности рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2012, № 4, 71–80	4 ^[x]
12.	S. M. Dudakov, “On Undecidability of Finite Subsets Theory for Torsion Abelian Groups”, Mathematics, 10:3 (2022), 533 , 14 pp.	3 ^[x]
13.	S. M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii Journal of Mathematics, 36:4 (2015), 328–331	3 ^[x]
14.	С. М. Дудаков, “О безопасности IFP-операторов и рекурсивных запросов”, Вестник ТвГУ. Серия: Прикладная математика, 2013, № 2, 5–13	3 ^[x]
15.	M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos, “Monotone expansion of updates in logical databases”, Logic Programming and Nonmonotonic Reasoning (El Paso, Texas, USA, December 2–4, 1999), LNCS, 1730, 1999, 132–147	3 ^[x]
16.	M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos, “Maximal state independent approximations to minimal real change”, AMAI, 33 (2001), 157–204	2 ^[x]
17.	С. М. Дудаков, “Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций”, Изв. РАН. Сер. матем., 89:2 (2025), 3–24 ; S. M. Dudakov, “Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations”, Izv. Math., 89:2 (2025), 221–241	1 ^[x]
18.	С. М. Дудаков, “О степени неразрешимости теории фигур в линейных пространствах”, Математика и теоретические компьютерные науки, 2:4 (2025), 51–65	1 ^[x]
19.	С. М. Дудаков, “О теории моноида конечных подмножеств для одной абелевой группы кручения”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 2, 39–55	1 ^[x]
20.	С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова, “Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках”, Алгебра и логика, 60:5 (2021), 471–496 ; S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova, “Complexity of Lambek calculi with modalities and of total derivability in grammars”, Algebra and Logic, 60:5 (2021), 308–326	1 ^[x]
21.	С. М. Дудаков, “Об определимости в алгебре конечных языков с конкатенацией множества односимвольных языков”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 4, 5–13	1 ^[x]
22.	S. M. Dudakov, B. N. Karlov, “On Decidability of Regular Languages Theories”, 14th International Computer Science Symposium in Russia, CSR 2019 (Novosibirsk, Russia, July 1–5, 2019), LNCS, 11532, 2019, 119–130 (to appear)	1 ^[x]
23.	С. М. Дудаков, “О безопасности одно- и многоместных IFP-операторов”, Модел. и анализ информ. систем, 25:5 (2018), 525–533	1 ^[x]
24.	С. М. Дудаков, “О границах трансфинитного построения инфляционной неподвижной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 72–80	1 ^[x]
25.	С. М. Дудаков, “Псевдоконечная однородность, изолированность и сводимость”, Матем. заметки, 81:4 (2007), 515–527 ; S. M. Dudakov, “Pseudofinite Homogeneity, Isolation, and Reducibility”, Math. Notes, 81:4 (2007), 456–466	1 ^[x]
26.	M. Dekhtyar, A. Dikovsky, S. Dudakov, “On Complexity of Updates through Integrity Constraints”, Computational Logic — CL 2000 (London, UK, July 24–28, 2000), LNCS, 1861, 2000, 867–881	1 ^[x]
27.	S. M. Dudakov, “On the complexity of perfect models of logic programs”, Fundamenta Informaticae, 39:3 (1999), 249–258	1 ^[x]
28.	С. М. Дудаков, “О моноиде с разрешимой теорией конечных подмножеств”, Вестник ТвГУ. Серия: Прикладная математика, 2024, № 2, 27–38
29.	Н. В. Авхимович, С. М. Дудаков, “Разрешимость теории конечных подмножеств безатомных булевых алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 24–35
30.	С. М. Дудаков, “О йонсоновских многообразиях и квазимногообразиях”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 4, 5–10
31.	S. M. Dudakov, “On computational complexity of successor theory with unary transitive closure”, Journal of Physics: Conference Series, 1202 (2019), 012018 (to appear) , 6 pp.
32.	С. М. Дудаков, “О выразительной силе логики одноместного транзитивного замыкания для дискретного порядка”, Вестник ТвГУ. Серия: Прикладная математика, 2017, № 4, 25–33
33.	С. М. Дудаков, “Достаточные условия эффективной трансляции локально генерических запросов”, Фундамент. и прикл. матем., 15:5 (2009), 49–61 ; S. M. Dudakov, “Sufficient conditions for effective translation of locally generic queries”, J. Math. Sci., 172:5 (2011), 654–662
34.	С. М. Дудаков, “Алгоритмическая сложность NP-трудных множеств”, Вестник ТвГУ. Серия: Прикладная математика, 2009, № 13, 97–101
35.	С. М. Дудаков, “Эффективная трансляция расширенных $<$-инвариантных формул в $<$-ограниченные”, Вестник ТвГУ. Серия: Прикладная математика, 2008, № 10, 5–24
36.	С. М. Дудаков, “Эффективная трансляция расширенных $<$-инвариантных формул в $<$-ограниченные в арифметике Cеменова”, Вестник ТвГУ. Серия: Прикладная математика, 2008, № 8, 65–75
37.	S. M. Dudakov, “Isolation and Reducibility Properties and the Collapse Result”, First International Computer Science Symposium in Russia, CSR 2006 (t. Petersburg, Russia, June 8–12. 2006), LNCS, 3967, 2006, 171–177
38.	С. М. Дудаков, “Сложность обновлений дедуктивных баз данных с фиксированным ограничением целостности”, Вестник ТвГУ. Серия: Прикладная математика, 2003, № 1, 16–27
39.	S. M. Dudakov, “The Concurrency Complexity for the Horn Fragment of Linear Logic”, LFCS97 (Ярославль, 1997), LNCS, 1234, 1997, 78–87
40.	С. М. Дудаков, “О теории решёток подалгебр для произвольных группоидов”, Матем. заметки, 119:2 (2026) (в печати)
41.	С. М. Дудаков, “О теориях алгебр подмножеств и решёток подпространств в конечных линейных пространствах”, Вестник ТвГУ. Серия: Прикладная математика, 2025, № 1, 5–13
42.	С. М. Дудаков, Б. Н. Карлов, “О сложности проблемы тотальной выводимости в неукорачивающих и контекстно-свободных грамматиках”, Докл. РАН. Матем., информ., проц. упр., 524 (2025), 11–18
43.	Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65

Доклады и лекции в базе данных Math-Net.Ru

1.	On properties of subset algebras С. М. Дудаков Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика» 7 ноября 2022 г. 17:30
2.	Алгоритмические свойства алгебр подмножеств С. М. Дудаков Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 18 апреля 2022 г. 18:30

Организации