Alexander Okhotin
- Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts (2017)
- Theory of Computing Systems
- State complexity of operations on input-driven pushdown automata (2017)
- Journal of Computer and System Sciences
- Computational and proof complexity of partial string avoidability (2016)
- LIPICS – Leibniz International Proceedings in Informatics
- Descriptional Complexity of Formal Systems (2016)
- Theoretical Computer Science
- Equations over sets of integers with addition only (2016)
- Journal of Computer and System Sciences
- Input-driven languages are linear conjunctive (2016)
- Theoretical Computer Science
- Least and greatest solutions of equations over sets of integers (2016)
- Theoretical Computer Science
- The Hardest Language for Conjunctive Grammars (2016) Computer Science – Theory and Applications Okhotin A
- Descriptional complexity of unambiguous input-driven pushdown automata (2015)
- Theoretical Computer Science
- Generalized LR Parsing for Grammars with Contexts (2015)
- Lecture Notes in Computer Science



