Alexander
Okhotin
Docent, Department of Mathematics and Statistics
Contact
Publications
State complexity of operations on input-driven pushdown automata (2017)
Journal of Computer and System Sciences
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts (2017)
Theory of Computing Systems
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Input-driven languages are linear conjunctive (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Computational and proof complexity of partial string avoidability (2016)
International Symposium on Mathematical Foundations of Computer Science, LIPICS – Leibniz international proceedings in informatics
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Equations over sets of integers with addition only (2016)
Journal of Computer and System Sciences
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Least and greatest solutions of equations over sets of integers (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The Hardest Language for Conjunctive Grammars (2016)
International Computer Science Symposium in Russia
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Descriptional Complexity of Formal Systems (2016)
Theoretical Computer Science
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Two-sided context specifications in formal grammars (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Generalized LR Parsing for Grammars with Contexts (2015)
Computer science symposium in Russia, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))