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))
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))
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))
On language equations with concatenation and various sets of boolean operations.. (2015)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(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))