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

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

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

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

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

Автор

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

  • 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 operations on input-driven pushdown automata

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

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

    13 Цитирования (Scopus)
  • State complexity of operations on input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2011, Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Proceedings. стр. 485-496 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6907 LNCS).

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

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

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

  • State complexity of unambiguous operations on finite automata

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

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

    3 Цитирования (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)
  • The Quotient Operation on Input-Driven Pushdown Automata

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

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

    3 Цитирования (Scopus)
  • Transforming two-way alternating finite automata to one-way nondeterministic automata

    Geffert, V. & Okhotin, A., 1 янв 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 1 ред. Springer Nature, стр. 291-302 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8634 LNCS, № PART 1).

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

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

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

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

    7 Цитирования (Scopus)
  • 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)
  • Unambiguous conjunctive grammars over a one-symbol alphabet

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

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

    3 Цитирования (Scopus)
  • Unambiguous finite automata over a unary alphabet

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

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

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