Найти результаты исследования

Поиск во всем контенте

Фильтры для Результаты

Поиск концепций
Выбранные фильтры
Очистить все

Год публикации

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2013
  • 2012
  • 2011

Автор

  • Александр Сергеевич Охотин

Поиск результатов

  • 2020

    Longer Shortest Strings in Two-Way Finite Automata

    Крымский, С. Т. & Okhotin, A., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 104-116 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

  • 2017

    The Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 2017, В : Lecture Notes in Computer Science. 10316, стр. 299-310

    Результат исследований: Научные публикации в периодических изданиях › статья

    3 Цитирования (Scopus)
  • 2012

    Descriptional complexity of input-driven pushdown automata

    Okhotin, A., Piao, X. & Salomaa, K., 8 окт 2012, Languages Alive: Essays Dedicated to Jurgen Dassow on the Occasion of His 65th Birthday. Bordihn, H., Kutrib, M. & Truthe, B. (ред.). стр. 186-206 21 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7300 LNAI).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › рецензирование

    7 Цитирования (Scopus)
  • 2020

    Cyclic shift on multi-component grammars

    Okhotin, A. & Sorokin, A., 1 янв 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 287-299 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12038 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

  • 2011

    Complexity of Equations over Sets of Natural Numbers

    Jez, A. & Okhotin, A., 1 янв 2011, В : Theory of Computing Systems. 48, 2, стр. 319-342 24 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    22 Цитирования (Scopus)
  • 2018

    A Tale of Conjunctive Grammars

    Okhotin, A., 1 сен 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer Nature, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    2 Цитирования (Scopus)

  • State complexity of unambiguous operations on deterministic finite automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 188-199 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    1 Цитирования (Scopus)
  • 2020

    Reversibility of computations in graph-walking automata

    Kunc, M. & Okhotin, A., дек 2020, В : Information and Computation. 275, 104631.

    Результат исследований: Научные публикации в периодических изданиях › статья

  • 2018

    Formal Languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 68-79 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    8 Цитирования (Scopus)
  • 2011

    State complexity of operations on two-way deterministic finite automata over a unary alphabet

    Kunc, M. & Okhotin, A., 11 авг 2011, Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Proceedings. стр. 222-234 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6808 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    3 Цитирования (Scopus)
  • 2018

    Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 224-236 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    1 Цитирования (Scopus)
  • 2011

    On the state complexity of star of union and star of intersection

    Jirásková, G. & Okhotin, A., 16 сен 2011, В : Fundamenta Informaticae. 109, 2, стр. 161-178 18 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    12 Цитирования (Scopus)

  • State complexity of union and intersection for two-way nondeterministic finite automata

    Kunc, M. & Okhotin, A., 20 сен 2011, В : Fundamenta Informaticae. 110, 1-4, стр. 231-239 9 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    6 Цитирования (Scopus)
  • 2018

    Preface

    Kari, J. & Okhotin, A., 1 июн 2018, В : International Journal of Foundations of Computer Science. 29, 4, стр. 457-459 3 стр.

    Результат исследований: Научные публикации в периодических изданиях › редакционная статья

  • 2012

    Defining contexts in context-free grammars

    Barash, M. & Okhotin, A., 12 мар 2012, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, Proceedings. стр. 106-118 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7183 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    5 Цитирования (Scopus)

  • On the expressive power of univariate equations over sets of natural numbers

    Okhotin, A. & Rondogiannis, P., 1 мар 2012, В : Information and Computation. 212, стр. 1-14 14 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    Открытый доступ
    11 Цитирования (Scopus)
  • 2018

    Linear-space recognition for grammars with contexts

    Barash, M. & Okhotin, A., 6 апр 2018, В : Theoretical Computer Science. 719, стр. 73-85 13 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    1 Цитирования (Scopus)
  • 2017

    State complexity of operations on input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2017, В : Journal of Computer and System Sciences. 86, стр. 207-228

    Результат исследований: Научные публикации в периодических изданиях › статья

    13 Цитирования (Scopus)

  • Conjunctive categorial grammars

    Kuznetsov, S. & Okhotin, A., 2017, Proceedings of the 15th Meeting on the Mathematics of Language.

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  • 2016

    Approximate unification in the description logic FL0

    Baader, F., Marantidis, P. & Okhotin, A., 2016, В : Lecture Notes in Computer Science. 10021, стр. 49-63

    Результат исследований: Научные публикации в периодических изданиях › статья

    3 Цитирования (Scopus)

  • The hardest language for conjunctive grammars

    Okhotin, A., 2016, В : Lecture Notes in Computer Science. 9691, стр. 340-351

    Результат исследований: Научные публикации в периодических изданиях › статья

    1 Цитирования (Scopus)
  • 2013

    Conjunctive and boolean grammars: The true general case of the context-free grammars

    Okhotin, A., 1 авг 2013, В : Computer Science Review. 9, стр. 27-59 33 стр.

    Результат исследований: Научные публикации в периодических изданиях › Обзорная статья

    40 Цитирования (Scopus)
  • 2012

    Non-erasing variants of the Chomsky-Schützenberger theorem

    Okhotin, A., 20 авг 2012, Developments in Language Theory - 16th International Conference, DLT 2012, Proceedings. стр. 121-129 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7410 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    20 Цитирования (Scopus)
  • 2019

    Hardest languages for conjunctive and Boolean grammars

    Okhotin, A., 1 июн 2019, В : Information and Computation. 266, стр. 1-18 18 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

  • Preface

    Martín-Vide, C., Shapira, D. & Okhotin, A., 1 янв 2019, 13th International Conference on Language and Automata Theory and Applications. Том 11417 LNCS. стр. V (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › предисловие, научный комментарий, послесловие

  • 2012

    Unambiguous finite automata over a unary alphabet

    Okhotin, A., 1 мар 2012, В : Information and Computation. 212, стр. 15-36 22 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    Открытый доступ
    22 Цитирования (Scopus)
  • 2019

    Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 17 дек 2019, В : Theoretical Computer Science. 798, стр. 65-77

    Результат исследований: Научные публикации в периодических изданиях › статья

  • 2015

    Linear grammars with one-sided contexts and their automaton representation

    Barash, M. & Okhotin, A., 1 апр 2015, В : RAIRO - Theoretical Informatics and Applications. 49, 2, стр. 153-158 6 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    4 Цитирования (Scopus)
  • 2011

    Comparing linear conjunctive languages to subfamilies of the context-free languages

    Okhotin, A., 26 янв 2011, SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. стр. 431-443 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6543 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    11 Цитирования (Scopus)
  • 2015

    Generalized LR parsing for grammars with contexts

    Barash, M. & Okhotin, A., 1 янв 2015, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Proceedings. Beklemishev, L. D., Musatov, D. V. & Musatov, D. V. (ред.). Springer Nature, стр. 67-79 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    2 Цитирования (Scopus)
  • 2013

    Unambiguous conjunctive grammars over a one-letter alphabet

    Jez, A. & Okhotin, A., 19 сен 2013, Developments in Language Theory - 17th International Conference, DLT 2013, Proceedings. стр. 277-288 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7907 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    2 Цитирования (Scopus)
  • 2015

    Descriptional Complexity of Formal Systems

    Shallit, J. & Okhotin, A., 1 янв 2015, Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Proceedings. Okhotin, A. & Shallit, J. (ред.). Springer Nature, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9118).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › предисловие, научный комментарий, послесловие

  • 2018

    Underlying Principles and Recurring Ideas of Formal Grammars

    Okhotin, A., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    4 Цитирования (Scopus)
  • 2011

    A simple P-complete problem and its language-theoretic representations

    Okhotin, A., 1 янв 2011, В : Theoretical Computer Science. 412, 1-2, стр. 68-82 15 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    Открытый доступ
    4 Цитирования (Scopus)
  • 2017

    Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

    Barash, M. & Okhotin, A., 2017, В : Theory of Computing Systems. 61, 2, стр. 581-605

    Результат исследований: Научные публикации в периодических изданиях › статья

    7 Цитирования (Scopus)
  • 2018

    Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer Nature, стр. 441-452 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование

    1 Цитирования (Scopus)
  • 2012

    Language equations with symmetric difference

    Okhotin, A., 28 мая 2012, В : Fundamenta Informaticae. 116, 1-4, стр. 205-222 18 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    4 Цитирования (Scopus)
  • 2017

    Edit distance neighbourhoods of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2017, Computer Science – Theory and Applications: International Computer Science Symposium in Russia. стр. 260-272 (Lecture Notes in Computer Science; том 10304).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

    6 Цитирования (Scopus)
  • 2019

    On the length of shortest strings accepted by two-way finite automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 янв 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (ред.). Springer Nature, стр. 88-99 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11647 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  • 2013

    Homomorphisms preserving deterministic context-free languages

    Lehtinen, T. & Okhotin, A., 1 ноя 2013, В : International Journal of Foundations of Computer Science. 24, 7, стр. 1049-1066 18 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

  • 2012

    Language equations with complementation: Expressive power

    Okhotin, A. & Yakimova, O., 27 янв 2012, В : Theoretical Computer Science. 416, стр. 71-86 16 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    Открытый доступ
    6 Цитирования (Scopus)
  • 2011

    Describing periodicity in two-way deterministic finite automata using transformation semigroups

    Kunc, M. & Okhotin, A., 29 июл 2011, Developments in Language Theory - 15th International Conference, DLT 2011, Proceedings. стр. 324-336 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6795 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    20 Цитирования (Scopus)
  • 2012

    State complexity of operations on two-way finite automata over a unary alphabet

    Kunc, M. & Okhotin, A., 31 авг 2012, В : Theoretical Computer Science. 449, стр. 106-118 13 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    Открытый доступ
    11 Цитирования (Scopus)
  • 2011

    Descriptional complexity of unambiguous nested word automata

    Okhotin, A. & Salomaa, K., 8 июн 2011, Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Proceedings. стр. 414-426 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6638 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    5 Цитирования (Scopus)
  • 2015

    Improved normal form for grammars with one-sided contexts

    Okhotin, A., 11 июл 2015, В : Theoretical Computer Science. 588, стр. 52-72 21 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

    4 Цитирования (Scopus)
  • 2016

    Computational and proof complexity of partial string avoidability

    Itsykson, D., Okhotin, A. & Oparin, V., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

  • 2015

    On language equations with concatenation and various sets of boolean operations

    Okhotin, A., 1 июл 2015, В : RAIRO - Theoretical Informatics and Applications. 49, 3, стр. 205-232 28 стр.

    Результат исследований: Научные публикации в периодических изданиях › статья

  • 2016

    Least and greatest solutions of equations over sets of integers

    Jez, A. & Okhotin, A., 2016, В : Theoretical Computer Science. 619, стр. 68-86

    Результат исследований: Научные публикации в периодических изданиях › статья

  • Input-driven languages are linear conjunctive

    Okhotin, A., 2016, В : Theoretical Computer Science. 618, стр. 52-71

    Результат исследований: Научные публикации в периодических изданиях › статья

    10 Цитирования (Scopus)
  • 2013

    Reversibility of computations in graph-walking automata

    Kunc, M. & Okhotin, A., 15 окт 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. стр. 595-606 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8087 LNCS).

    Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции

    10 Цитирования (Scopus)