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

  • 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

  • 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
  • State Complexity of the Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 1 Sep 2019, In: International Journal of Foundations of Computer Science. 30, 6-7, p. 1217-1235

    Research output: Contribution to journalArticlepeer-review

  • 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
  • 2020

    Cyclic shift on multi-component grammars

    Okhotin, A. & Sorokin, A., 1 Jan 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer Nature, p. 287-299 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12038 LNCS).

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

  • Extensions of unification modulo ACUI

    Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 1 Jun 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626

    Research output: Contribution to journalArticlepeer-review

  • 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. (eds.). Springer Nature, p. 104-116 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12442 LNCS).

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

  • 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

  • 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

  • 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. (eds.). Springer Nature, p. 142-154 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12442 LNCS).

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