Alexander
Okhotin
dosentti, matematiikan ja tilastotieteen laitos
Ota yhteyttä
Julkaisut
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))
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))
The Hardest Language for Conjunctive Grammars (2016)
International Computer Science Symposium in Russia
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
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))