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))
The Hardest Language for Conjunctive Grammars (2016)
International Computer Science Symposium in Russia
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Least and greatest solutions of equations over sets of integers (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))
Input-driven languages are linear conjunctive (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Descriptional Complexity of Formal Systems (2016)
Theoretical Computer Science
(Kirjoitus tai data-artikkeli tieteellisessä aikakauslehdessä (B1))
Descriptional complexity of unambiguous input-driven pushdown automata (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Improved normal form for grammars with one-sided contexts (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))