91 - 100 out of 193Page size: 10
  1. 2014

  2. An extension of context-free grammars with one-sided context specifications

    Barash, M. & Okhotin, A., 1 Jan 2014, In: Information and Computation. 237, p. 268-293 26 p.

    Research output: Contribution to journal › Article › peer-review

  3. Computational completeness of equations over sets of natural numbers

    Jez, A. & Okhotin, A., 1 Jan 2014, In: Information and Computation. 237, p. 56-94 39 p.

    Research output: Contribution to journal › Article › peer-review

  4. 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 proceeding › Conference contribution › Research › peer-review

  5. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Okhotin, A., Jürgensen, H. & Karhumäki, J., 1 Jan 2014, 16th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2014. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8614 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Research

  6. 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 proceeding › Conference contribution › Research › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  8. Transforming two-way alternating finite automata to one-way nondeterministic automata

    Geffert, V. & Okhotin, A., 1 Jan 2014, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Proceedings. PART 1 ed. Springer Nature, p. 291-302 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8634 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. 2013

  10. On language equations with one-sided concatenation

    Baader, F. & Okhotin, A., 25 Nov 2013, In: Fundamenta Informaticae. 126, 1, p. 1-35 35 p.

    Research output: Contribution to journal › Article › peer-review

  11. Homomorphisms preserving deterministic context-free languages

    Lehtinen, T. & Okhotin, A., 1 Nov 2013, In: International Journal of Foundations of Computer Science. 24, 7, p. 1049-1066 18 p.

    Research output: Contribution to journal › Article › peer-review

  12. Reversibility of computations in graph-walking automata

    Kunc, M. & Okhotin, A., 15 Oct 2013, Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Proceedings. p. 595-606 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Previous 1...6 7 8 9 10 11 12 13 ...20 Next

ID: 195867