Find Research outputs

Search in all content

Filters for Research output

Search concepts
Selected Filters

Publication Year

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

Author

  • Александр Сергеевич Охотин
  • 50 - 60 out of 60 results
  • Export search results

Search results

  • 2014

    Input-driven pushdown automata with limited nondeterminism (Invited Paper)

    Okhotin, A. & Salomaa, K., 1 Jan 2014, Developments in Language Theory - 18th International Conference, DLT 2014, Proceedings. Springer Nature, p. 84-102 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8633 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    2 Scopus citations
  • 2012

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

    Okhotin, A. & Rondogiannis, P., 1 Mar 2012, In: Information and Computation. 212, p. 1-14 14 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    11 Scopus citations
  • 2019

    Preface

    Martín-Vide, C., Shapira, D. & Okhotin, A., 1 Jan 2019, 13th International Conference on Language and Automata Theory and Applications. Vol. 11417 LNCS. p. V (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearch

  • 2014

    Linear grammars with one-sided contexts and their automaton representation

    Barash, M. & Okhotin, A., 1 Jan 2014, LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Proceedings. Springer Nature, p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8392 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    3 Scopus citations
  • 2015

    Generalized LR parsing for grammars with contexts

    Barash, M. & Okhotin, A., 1 Jan 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. (eds.). Springer Nature, p. 67-79 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9139).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    2 Scopus citations
  • 2020

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

    Okhotin, A. & Olkhovsky, I., 1 Jun 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer Nature, p. 328-340 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  • 2019

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

    Okhotin, A. & Sazhneva, E., 1 Jul 2019, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Konstantinidis, S., Hospodár, M. & Jirásková, G. (eds.). Springer Nature, p. 248-259 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11612 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    3 Scopus citations
  • 2020

    Reversibility of computations in graph-walking automata

    Kunc, M. & Okhotin, A., Dec 2020, In: Information and Computation. 275, 104631.

    Research output: Contribution to journalArticlepeer-review

  • 2019

    State complexity of unambiguous operations on finite automata

    Jirásková, G. & Okhotin, A., 17 Dec 2019, In: Theoretical Computer Science. 798, p. 52-64

    Research output: Contribution to journalArticlepeer-review

    3 Scopus citations
  • Graph-Walking Automata: From Whence They Come, and Whither They are Bound

    Okhotin, A., 1 Jul 2019, Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. Hospodár, M. & Jirásková, G. (eds.). Springer Nature, p. 10-29 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11601 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

    1 Scopus citations