1. 2018
  2. Preface

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

    Research output: Contribution to journalEditorial

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

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

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

  6. State complexity of unambiguous operations on deterministic finite automata

    Jirásková, G. & Okhotin, A., 1 Jan 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, p. 188-199 12 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

  7. Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata

    Jirásková, G. & Okhotin, A., 1 Jan 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (eds.). Springer Nature, p. 441-452 12 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

  8. Underlying Principles and Recurring Ideas of Formal Grammars

    Okhotin, A., 1 Jan 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. 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. 10792 LNCS).

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

  9. 2017
  10. Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

    Barash, M. & Okhotin, A., 1 Aug 2017, In: Theory of Computing Systems. 61, 2, p. 581-605 25 p.

    Research output: Contribution to journalArticlepeer-review

  11. On the state complexity of operations on two-way finite automata

    Jirásková, G. & Okhotin, A., 1 Apr 2017, In: Information and Computation. 253, 1, p. 36-63 28 p.

    Research output: Contribution to journalArticlepeer-review

  12. Conjunctive categorial grammars

    Kuznetsov, S. & Okhotin, A., 2017, Proceedings of the 15th Meeting on the Mathematics of Language: MOL 2017, London, UK, July 13-14, 2017. Kanazawa, M., de Groote, P. & Sadrzadeh, M. (eds.). Association for Computational Linguistics

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

Previous 12 3 4 5 6 7 8 9 ...19 Next

ID: 195867