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

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

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

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

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

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

Автор

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

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

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

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

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

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

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

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

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

    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

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

  • 2014

    Linear grammars with one-sided contexts and their automaton representation

    Barash, M. & Okhotin, A., 1 янв 2014, LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings. Springer Nature, стр. 190-201 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8392 LNCS).

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

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

  • On the determinization blowup for finite automata recognizing equal-length languages

    Karhumäki, J. & Okhotin, A., 1 янв 2014, Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday. стр. 71-82 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8808).

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

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

    Preface

    Shallit, J. & Okhotin, A., 1 апр 2018, В : Information and Computation. 259, стр. 161-161 1 стр.

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

  • 2012

    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)

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

    Equations over sets of integers with addition only

    Jez, A. & Okhotin, A., 2016, В : Journal of Computer and System Sciences. 82, 6, стр. 1007-1019

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

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

    Descriptional Complexity of Formal Systems

    Jürgensen, H., Karhumäki, J. & Okhotin, A., 11 янв 2016, В : Theoretical Computer Science. 610, 1 стр.

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

  • 2011

    One-Nonterminal Conjunctive Grammars over a Unary Alphabet

    Jez, A. & Okhotin, A., 1 авг 2011, В : Theory of Computing Systems. 49, 2, стр. 319-342 24 стр.

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

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

  • Expressive power of LL(k) boolean grammars

    Okhotin, A., 9 сен 2011, В : Theoretical Computer Science. 412, 39, стр. 5132-5155 24 стр.

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

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

    On the number of nonterminal symbols in unambiguous conjunctive grammars

    Jez, A. & Okhotin, A., 1 янв 2018, В : Fundamenta Informaticae. 162, 1, стр. 43-72 30 стр.

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

  • 2013

    On language equations with one-sided concatenation

    Baader, F. & Okhotin, A., 25 ноя 2013, В : Fundamenta Informaticae. 126, 1, стр. 1-35 35 стр.

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

    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)

  • 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 unambiguous operations on finite automata

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

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

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

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

  • 2015

    Two-sided context specifications in formal grammars

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

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

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

    Extensions of unification modulo ACUI

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

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

  • 2017

    Unambiguous conjunctive grammars over a one-symbol alphabet

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

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

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

    Edit distance neighbourhoods of input-driven pushdown automata

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

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

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

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