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

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

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

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

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

  • 2020
  • 2019
  • 2016
  • 2015
  • 2014
  • 2012
  • 2011

Автор

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

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

  • 2014

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

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

  • 2019

    State complexity of unambiguous operations on finite automata

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

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

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

    Language equations with complementation: Expressive power

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

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

    Открытый доступ
    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)
  • 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)
  • 2020

    Reversibility of computations in graph-walking automata

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

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

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

    Computational completeness of equations over sets of natural numbers

    Jez, A. & Okhotin, A., 1 янв 2014, В: Information and Computation. 237, стр. 56-94 39 стр.

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

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

    Least and greatest solutions of equations over sets of integers

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

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