Alexander Okhotin
alexander.okhotin@utu.fi |
Julkaisut
- Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts (2017)
- Theory of Computing Systems
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - State complexity of operations on input-driven pushdown automata (2017)
- Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Computational and proof complexity of partial string avoidability (2016)
- LIPICS – Leibniz international proceedings in informatics
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Descriptional Complexity of Formal Systems (2016)
- Theoretical Computer Science
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Equations over sets of integers with addition only (2016)
- Journal of Computer and System Sciences
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Input-driven languages are linear conjunctive (2016)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Least and greatest solutions of equations over sets of integers (2016)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - The Hardest Language for Conjunctive Grammars (2016) Computer Science – Theory and Applications Okhotin A
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Descriptional complexity of unambiguous input-driven pushdown automata (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Generalized LR Parsing for Grammars with Contexts (2015)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Improved normal form for grammars with one-sided contexts (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Linear Grammars with One-Sided Contexts and their Automaton Representation (2015)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(O2 Muu julkaisu ) - On language equations with concatenation and various sets of boolean operations.. (2015)
- RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Two-sided context specifications in formal grammars (2015)
- Theoretical Computer Science
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - An extension of context-free grammars with one-sided context specifications (2014)
- Information and Computation
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Complexity of input-driven pushdown automata (2014)
- SIGACT News
(B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä ) - Computational completeness of equations over sets of natural numbers (2014)
- Information and Computation
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Grammars with two-sided contexts (2014)
- Electronic Proceedings in Theoretical Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa) - Input-driven pushdown automata with limited nondeterminism (2014) Developments in Language Theory Alexander Okhotin, Kai Salomaa
(B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa) - Linear grammars with one-sided contexts and their automaton representation (2014)
- Lecture Notes in Computer Science
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)