1. 2019
  2. On the expressive power of GF(2)-grammars

    Makarov, V. & Okhotin, A., 1 Jan 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. (eds.). Springer Nature, p. 310-323 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11376 LNCS).

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

  3. On the length of shortest strings accepted by two-way finite automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 Jan 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (eds.). Springer Nature, p. 88-99 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11647 LNCS).

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

  4. 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/postscript

  5. 2018
  6. A Tale of Conjunctive Grammars

    Okhotin, A., 1 Sep 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Nature, p. 36-59 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11088 LNCS).

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

  7. Preface

    Kari, J. & Okhotin, A., 1 Jun 2018, In: International Journal of Foundations of Computer Science. 29, 4, p. 457-459 3 p.

    Research output: Contribution to journalEditorial

  8. Linear-space recognition for grammars with contexts

    Barash, M. & Okhotin, A., 6 Apr 2018, In: Theoretical Computer Science. 719, p. 73-85 13 p.

    Research output: Contribution to journalArticlepeer-review

  9. Preface

    Shallit, J. & Okhotin, A., 1 Apr 2018, In: Information and Computation. 259, p. 161-161 1 p.

    Research output: Contribution to journalEditorial

  10. Formal Languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 Jan 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, p. 68-79 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10792 LNCS).

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

  11. Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 1 Jan 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, p. 224-236 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10952 LNCS).

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

  12. On the number of nonterminal symbols in unambiguous conjunctive grammars

    Jez, A. & Okhotin, A., 1 Jan 2018, In: Fundamenta Informaticae. 162, 1, p. 43-72 30 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1...3 4 5 6 7 8 9 10 ...20 Next

ID: 195867