НАУЧНЫЕ ТРУДЫ

1. Карлов, Б. Н. Нормальные формы и автоматы для категориальных грамматик зависимостей // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2008. – № 11. – С. 23−43. - http://eprints.tversu.ru/570/Ссылки на внешний сайт.
2. Карлов, Б.Н. О свойствах обобщённых категориальных грамматик зависимостей // Двенадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2010. Труды конференции. Т. 1. – М.: Физматлит, 2010. – С. 283−290.
3. Карлов, Б. Н. О свойствах языков, задаваемых мультимодальными категориальными грамматиками зависимостей // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2011. – № 22. – С. 91−110. – http://eprints.tversu.ru/1593/Ссылки на внешний сайт.
4. Dekhtyar, M. Iterated dependencies and Kleene iteration / M. Dekhtyar, B. Karlov, A. Dikovsky // 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Ссылки на внешний сайт.
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/volumes/F12-3/Ссылки на внешний сайт.
6. Karlov, B. Abstract automata and a normal form for categorial dependency grammars // 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Ссылки на внешний сайт.
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Ссылки на внешний сайт.
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Ссылки на внешний сайт.
9. Карлов, Б. Н. (m,n)-жесткие категориальные грамматики // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2017. – № 4. – С. 7−23. – https://doi.org/10.26456/vtpmk185Ссылки на внешний сайт.
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.
11. Карлов, Б. Н. Равномерная поуровневая укладка графов / Б. Н. Карлов, А. В. Наймушин // Вестник Тверского государственного университета. Серия: Прикладная математика. – 2018. – № 2. – С. 85−98. – https://doi.org/10.26456/vtpmk496Ссылки на внешний сайт.
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Ссылки на внешний сайт.
13. Карлов, Б. Н. О теории регулярных языков с оператором итерации // Материалы международной конференции "Алгебра и математическая логика: теория и приложения". – Казань : КФУ, 2019. – С. 118−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Ссылки на внешний сайт.
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Ссылки на внешний сайт.
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Ссылки на внешний сайт.
18. Карлов, Б. Н. Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств // Вестник ТвГУ. Серия: Прикладная математика. – 2021. – №3. – С. 18−32. – https://doi.org/10.26456/vtpmk620Ссылки на внешний сайт.
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Ссылки на внешний сайт.
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Ссылки на внешний сайт.
21. Карлов, Б. Н. Алгоритмические свойства некоторых фрагментов теории слов с операцией конкатенации / Б. Н. Карлов // Актуальные проблемы прикладной математики, информатики и механики : сборник трудов Международной научной конференции, Воронеж, 7–9 декабря 2020 года. – Воронеж: Научно-исследовательские публикации, 2021. – С. 1621−1627. – http://www.amm.vsu.ru/conf/index.php?page=DokladsСсылки на внешний сайт.
22. Дудаков, С. М. О научной школе по математическим основам информатики в Тверском государственном университете / С. М. Дудаков, Б. Н. Карлов, Д. О. Дадеркин // Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем" : сборник трудов. Всероссийская научная конференция, Тверь, 3–8 декабря 2021 года. – Тверь: Тверской государственный университет, 2021. – С. 12−19. – https://doi.org/10.26456/mfcsics-21-1Ссылки на внешний сайт.
    
23. Карлов, Б. Н. О некоторых свойствах уноидов подмножеств / Б. Н. Карлов // Актуальные проблемы прикладной математики, информатики и механики : Сборник трудов Международной научной конференции, Воронеж, 13–15 декабря 2021 года. – Воронеж: Общество с ограниченной ответственностью "Вэлборн", 2022. – С. 1594−1600. – http://www.amm.vsu.ru/conf/index.php?page=DokladsСсылки на внешний сайт.

УЧЕБНЫЕ ИЗДАНИЯ

1. Дудаков, С. М. Математическое введение в информатику : учебник по дисциплине «Теоретические основы информатики» / С. М. Дудаков, Б. Н. Карлов. – 2-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2017. – 320 с.
2. Дехтярь, М. И. Лекции по дискретной математике : Учебник / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 2-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2019. – 512 с.
3. Дехтярь, М. И. Сборник задач по множествам, булевым функциям и математической логике : учебное пособие / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – Тверь : Тверской государственный университет, 2020. – 128 с.
4. Дудаков, С. М. Математическое введение в информатику : учебник по дисциплине «Теоретические основы информатики» / С. М. Дудаков, Б. Н. Карлов. – Издание третье, исправленное и дополненное. – Тверь : Тверской государственный университет, 2020. – 320 с.
5. Дехтярь, М. И. Задачник по дискретной математике / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 2-е издание, переработанное и дополненное. – Тверь : Тверской государственный университет, 2021. – 368 с.
6. Дехтярь, М. И. Лекции по дискретной математике : Учебник / М. И. Дехтярь, С. М. Дудаков, Б. Н. Карлов. – 3-е издание, исправленное и дополненное. – Тверь : Тверской государственный университет, 2021. – 528 с.
7. Карлов, Б. Н. Теория автоматов и формальных языков : учебник / Б. Н. Карлов. – Тверь : Тверской государственный университет, 2021. – 404 с.