Статьи

1. Карлов, Б. Н. Нормальные формы и автоматы для категориальных грамматик зависимостей / Б. Н. Карлов // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2008. – № 11. – С. 23-43.
   https://www.elibrary.ru/item.asp?id=11693454
   http://eprints.tversu.ru/570/
2. Карлов, Б.Н. О свойствах обобщённых категориальных грамматик зависимостей // Двенадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2010. Труды конференции. Т. 1. - М.: Физматлит, 2010. - С. 283-290.
   https://www.elibrary.ru/item.asp?id=22789296
   http://raai.org/resurs/papers/cai/2010/
3. Карлов, Б. Н. О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей / Б. Н. Карлов // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2011. – № 22. – С. 91-110.
   https://www.elibrary.ru/item.asp?id=17541033
   http://eprints.tversu.ru/1593/
4. Dekhtyar, M. Iterated dependencies and Kleene iteration / M. Dekhtyar, A. Dikovsky, B. Karlov // Proc. of the 15th Conference on Formal Grammar (FG 2010), Copenhagen, Denmark. Series: LNCS. 2012. Vol. 7395. – Berlin, Heidelberg : Springer, 2012. – P. 66−81. – https://doi.org/10.1007/978-3-642-32024-8_5
   https://www.elibrary.ru/item.asp?id=20471947
   https://www.angl.hu-berlin.de/research/conferences/archive/2010/formal-grammar
5. Karlov, B. Prémices d'une analyse syntaxique par transition pour des structures de dépendances non-projectives / B. Karlov, O. Lacroix // Actes de la conférence conjointe JEP-TALN-RECITAL 2012, Grenoble, France. Vol. 3: RECITAL. – Paris : ATALA/AFCP, 2012. – P. 81−94.
   https://aclanthology.org/F12-3.pdf
   https://aclanthology.org/volumes/F12-3/
6. Karlov, B. Abstract automata and a normal form for categorial dependency grammars / B. Karlov // Proc. of the 7th International Conference on Logical Aspects of Computational Linguistics (LACL 2012), Nantes, France. Series: LNCS. 2012. Vol. 7351. – Berlin, Heidelberg : Springer, 2012. – P. 86−102. - https://doi.org/10.1007/978-3-642-31262-5_6
   https://www.elibrary.ru/item.asp?id=20472562
7. Dekhtyar, M. PDA with Independent Counters / M. Dekhtyar, B. Karlov // Modeling and Analysis of Information Systems. – 2015. – Vol. 22, No 2. – P. 176-196. - https://doi.org/10.18255/1818-1015-2015-2-176-196
   https://www.elibrary.ru/item.asp?id=23405826
8. Dekhtyar, M. Categorial dependency grammars / M. Dekhtyar, B. Karlov, A. Dikovsky // Theoretical Computer Science. – 2015. – Vol. 579. – P. 33-63. – https://doi.org/10.1016/j.tcs.2015.01.043
   https://elibrary.ru/item.asp?id=26810385
9. Карлов, Б. Н. (m,n)-жесткие категориальные грамматики / Б. Н. Карлов // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2017. – № 4. – С. 7-23. – https://doi.org/10.26456/vtpmk185
   https://www.elibrary.ru/item.asp?id=30785126
10. Dudakov, S. M. Mikhail Iosifovich Dekhtyar (1946-2018) / S. M. Dudakov, B. N. Karlov // 9th Workshop PSSV : proceedings, Ярославль, 21–22 июня 2018 года. – Ярославль: Ярославский государственный университет им. П. Г. Демидова, 2018. – P. 12-14.
    https://elibrary.ru/item.asp?id=35083189
11. Карлов, Б. Н. Равномерная поуровневая укладка графов / Б. Н. Карлов, А. В. Наймушин // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2018. – № 2. – С. 85-98. – https://doi.org/10.26456/vtpmk496
    https://www.elibrary.ru/item.asp?id=35171197
12. Dudakov, S. On decidability of regular languages theories / S. Dudakov, B. Karlov // Proc. of 14th International Computer Science Symposium in Russia, CSR 2019. Series: LNCS. 2019. Vol 11532. – Cham : Springer, 2019. – P. 119−130. - https://doi.org/10.1007/978-3-030-19955-5_11
    https://www.elibrary.ru/item.asp?id=41638177
13. Карлов, Б. Н. О теории регулярных языков с оператором итерации // Материалы международной конференции "Алгебра и математическая логика: теория и приложения". - Казань : КФУ, 2019. - С. 117-119.
    https://kpfu.ru/portal/docs/F_304738713/__Main.pdf
14. Karlov, B. On Theory of Regular Languages with the Kleene Star Operation / B. Karlov // Lobachevskii Journal of Mathematics. – 2020. – Vol. 41, No 9. – P. 1660-1665. – https://doi.org/10.1134/S1995080220090164
    https://www.elibrary.ru/item.asp?id=43878130
15. Дудаков, С. М. Фрагмент исчисления Ламбека с релевантной модальностью / С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов // Мальцевские чтения : Тезисы докладов Международной конференции, Новосибирск, 16–20 ноября 2020 года. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2020. – С. 109.
    https://elibrary.ru/item.asp?id=44791101
16. Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках / С. М. Дудаков, Б. Н. Карлов, С. Л. Кузнецов, Е. М. Фофанова // Алгебра и логика. – 2021. – Т. 60, № 5. – С. 471-496. – https://doi.org/10.33048/alglog.2021.60.502
    https://elibrary.ru/item.asp?id=47280197
17. Dudakov, S. On Decidability of Theories of Regular Languages / S. Dudakov, B. Karlov // Theory of Computing Systems. – 2021. – Vol. 65, No 3. – P. 462-478. – https://doi.org/10.1007/s00224-020-09995-4
    https://www.elibrary.ru/item.asp?id=45374289
18. Карлов, Б. Н. Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств // Вестник ТвГУ. Серия: Прикладная математика. – 2021. – №3. – С. 18−32. - https://doi.org/10.26456/vtpmk620
    https://www.elibrary.ru/item.asp?id=46694242
19. Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars / S. M. Dudakov, B. N. Karlov, S. L. Kuznetsov, E. M. Fofanova // Algebra and Logic. – 2021. – Vol. 60, No 5. – P. 308-326. – https://doi.org/10.1007/s10469-021-09657-5
    https://elibrary.ru/item.asp?id=47536898
20. Karlov, B. Algorithmic properties of some fragments of concatenation theory // Journal of Physics: Conference Series. Current Problems. Сер. "International Conference "Applied Mathematics, Computational Science and Mechanics: Current Problems", AMCSM 2020". – 2021. – С. 012117. - https://doi.org/10.1088/1742-6596/1902/1/012117
    https://www.elibrary.ru/item.asp?id=46799712
21. Карлов, Б. Н. Алгоритмические свойства некоторых фрагментов теории слов с операцией конкатенации / Б. Н. Карлов // Актуальные проблемы прикладной математики, информатики и механики : сборник трудов Международной научной конференции, Воронеж, 7–9 декабря 2020 года. – Воронеж: Научно-исследовательские публикации, 2021. – С. 1621-1627.
    https://www.elibrary.ru/item.asp?id=47164300
    http://www.amm.vsu.ru/conf/index.php?page=Doklads
22. Дудаков, С. М. О научной школе по математическим основам информатики в Тверском государственном университете / С. М. Дудаков, Б. Н. Карлов, Д. О. Дадеркин // Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем" : сборник трудов. Всероссийская научная конференция, Тверь, 03–08 декабря 2021 года. – Тверь: Тверской государственный университет, 2021. – С. 12-19. – https://doi.org/10.26456/mfcsics-21-1
    https://elibrary.ru/item.asp?id=47365899
23. Карлов, Б. Н. О некоторых свойствах уноидов подмножеств / Б. Н. Карлов // Актуальные проблемы прикладной математики, информатики и механики : Сборник трудов Международной научной конференции, Воронеж, 13–15 декабря 2021 года. – Воронеж: Общество с ограниченной ответственностью "Вэлборн", 2022. – С. 1594-1600.
    https://elibrary.ru/item.asp?id=49273853
    http://www.amm.vsu.ru/conf/index.php?page=Doklads

Учебные пособия и учебники

1. Дудаков, С. М. Математическое введение в информатику : учебник по дисциплине «Теоретические основы информатики» / С. М. Дудаков, Б. Н. Карлов. – 2-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2017. – 320 с.
   https://elibrary.ru/item.asp?id=34847190
2. Дехтярь, М. И. Лекции по дискретной математике : Учебник / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 2-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2019. – 512 с.
   http://texts.lib.tversu.ru/texts/147783ucheb.pdf
3. Дехтярь, М. И. Сборник задач по множествам, булевым функциям и математической логике : учебное пособие / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – Тверь : Тверской государственный университет, 2020. – 128 с.
   https://elibrary.ru/item.asp?id=44103568
4. Дудаков, С. М. Математическое введение в информатику : учебник по дисциплине «Теоретические основы информатики» / С. М. Дудаков, Б. Н. Карлов. – Издание третье, исправленное и дополненное. – Тверь : Тверской государственный университет, 2020. – 320 с.
   https://elibrary.ru/item.asp?id=43823267
5. Дехтярь, М. И. Задачник по дискретной математике / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 2-е издание, переработанное и дополненное. – Тверь : Тверской государственный университет, 2021. – 368 с.
   https://elibrary.ru/item.asp?id=46541124
6. Дехтярь, М. И. Лекции по дискретной математике : Учебник / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 3-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2021. – 528 с.
   https://elibrary.ru/item.asp?id=46534693
7. Карлов, Б. Н. Теория автоматов и формальных языков : учебник / Б. Н. Карлов. – Тверь : Тверской государственный университет, 2021. – 404 с.
   https://elibrary.ru/item.asp?id=45831573

Редактор сборников трудов конференций

1. Сборник трудов студенческой конференции факультета ПМиК, Тверь, 15–30 апреля 2021 г. / под ред. Б. Н. Карлова. - Тверь: Твер. гос. ун-т, 2021. - 112 с.
2. Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных систем». Сборник трудов. Тверь, 3–8 декабря 2021 г. / Под ред. С. М. Дудакова и Б. Н. Карлова. - Тверь : ТвГУ, 2021. - 290 с.
   https://elibrary.ru/item.asp?id=47365867
3. Студенческая конференция факультета ПМиК. Сборник трудов. Тверь, 18-29 апреля 2022 г. / под ред. Б.Н. Карлова. - Тверь: ТвГУ, 2022. - 200 с.
   http://pmk.tversu.ru/research/conference/conference2022/