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

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

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

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

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

Автор

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

  • 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)
  • 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)
  • 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 number of nonterminal symbols in unambiguous conjunctive grammars

    Jez, A. & Okhotin, A., 2012, Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Proceedings. стр. 183-195 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7386 LNCS).

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

    3 Цитирования (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)
  • 2020

    State Complexity of GF(2)-inverse and GF(2)-star on Binary Languages

    Okhotin, A. & Sazhneva, E., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (ред.). Springer Nature, стр. 142-154 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442 LNCS).

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

  • Extensions of unification modulo ACUI

    Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 1 июн 2020, В: Mathematical Structures in Computer Science. 30, 6, стр. 597-626

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

  • 2019

    Hardest languages for conjunctive and Boolean grammars

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

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

    2 Цитирования (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)
  • 2019

    State complexity of unambiguous operations on finite automata

    Jirásková, G. & Okhotin, A., 17 дек 2019, В: Theoretical Computer Science. 798, стр. 52-64

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

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

    The Quotient Operation on Input-Driven Pushdown Automata

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

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

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

    Graph-Walking Automata: From Whence They Come, and Whither They are Bound

    Okhotin, A., 1 июл 2019, Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. Hospodár, M. & Jirásková, G. (ред.). Springer Nature, стр. 10-29 20 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11601 LNCS).

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

    1 Цитирования (Scopus)
  • 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

    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)
  • Language equations with complementation: Expressive power

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

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

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

    Reversibility of computations in graph-walking automata

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

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

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

    State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages

    Okhotin, A. & Sazhneva, E., 1 июл 2019, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Konstantinidis, S., Hospodár, M. & Jirásková, G. (ред.). Springer Nature, стр. 248-259 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11612 LNCS).

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

    3 Цитирования (Scopus)
  • State Complexity of the Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 1 сен 2019, В: International Journal of Foundations of Computer Science. 30, 6-7, стр. 1217-1235

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

  • Edit distance neighbourhoods of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 19 июл 2019, В: Theoretical Computer Science. 777, стр. 417-430 14 стр.

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

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

    Parsing Boolean grammars over a one-letter alphabet using online convolution

    Okhotin, A. & Reitwießner, C., 26 окт 2012, В: Theoretical Computer Science. 457, стр. 149-157 9 стр.

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

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

    Conjunctive categorial grammars

    Kuznetsov, S. & Okhotin, A., 2017, Proceedings of the 15th Meeting on the Mathematics of Language: MOL 2017, London, UK, July 13-14, 2017. Kanazawa, M., de Groote, P. & Sadrzadeh, M. (ред.). Association for Computational Linguistics

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

    Открытый доступ
  • Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

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

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

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

    Descriptional complexity of unambiguous input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 1 янв 2015, В: Theoretical Computer Science. 566, C, стр. 1-11 11 стр.

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

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

    Solving language equations and disequations with applications to disunification in description logics and monadic set constraints

    Baader, F. & Okhotin, A., 21 мар 2012, Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Proceedings. стр. 107-121 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7180 LNCS).

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

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

    On the expressive power of GF(2)-grammars

    Makarov, V. & Okhotin, A., 1 янв 2019, SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Královič, R., Pighizzini, G., Nawrocki, J. & Catania, B. (ред.). Springer Nature, стр. 310-323 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11376 LNCS).

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

    4 Цитирования (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)
  • Representing Hyper-arithmetical Sets by Equations over Sets of Integers

    Jez, A. & Okhotin, A., 1 авг 2012, В: Theory of Computing Systems. 51, 2, стр. 196-228 33 стр.

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

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

    Improved normal form for grammars with one-sided contexts

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

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

    4 Цитирования (Scopus)
  • Two-sided context specifications in formal grammars

    Barash, M. & Okhotin, A., 2 авг 2015, В: Theoretical Computer Science. 591, стр. 134-153 20 стр.

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

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

    On the state complexity of operations on two-way finite automata

    Jiraskova, G. & Okhotin, A., 2017, В: Information and Computation. 253, 1, стр. 36-63

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

    2 Цитирования (Scopus)
  • 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)
  • 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).

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

  • 2012

    Homomorphisms preserving deterministic context-free languages

    Lehtinen, T. & Okhotin, A., 2012, Developments in Language Theory - 16th International Conference, DLT 2012, Proceedings. стр. 154-165 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7410 LNCS).

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

    1 Цитирования (Scopus)
  • 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 стр.

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

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

    Further closure properties of input-driven pushdown automata

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

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

  • 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).

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

    1 Цитирования (Scopus)
  • 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 стр.

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

  • 2012

    Language equations with symmetric difference

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

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

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

    Unambiguous conjunctive grammars over a one-symbol alphabet

    Jez, A. & Okhotin, A., 2017, В: Theoretical Computer Science. 665, стр. 13-39

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

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

    On the transformation of ll(k)-linear grammars to ll(1)-linear

    Okhotin, A. & Olkhovsky, I., 1 июн 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ред.). Springer Nature, стр. 328-340 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12159 LNCS).

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

  • 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).

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

  • 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).

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

  • 2012

    Unambiguous finite automata over a unary alphabet

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

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

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