Alexander Okhotin - UTU Tutkimustietojärjestelmä

Alexander Okhotin

- dosentti,
matematiikan ja tilastotieteen laitos (matemaattis-luonnontieteellinen tiedekunta)

alexander.okhotin@utu.fi

Julkaisut

3/4

Parsing Boolean grammars over a one-letter alphabet using online convolution (2012)
- Theoretical Computer Science
Okhotin A, Reitwiessner C
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Representing Hyper-arithmetical Sets by Equations over Sets of Integers (2012)
- Theory of Computing Systems
Jez A, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints (2012)
- Lecture Notes in Computer Science
Baader F, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
State complexity of operations on two-way finite automata over a unary alphabet (2012)
- Theoretical Computer Science
Kunc M, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Unambiguous finite automata over a unary alphabet (2012)
- Information and Computation
Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
A simple P-complete problem and its language-theoretic representations (2011)
- Theoretical Computer Science
Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages (2011)
- Lecture Notes in Computer Science
SOFSEM 2011:Theory and Practice of Computer Science Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Complexity of Equations over Sets of Natural Numbers (2011)
- Theory of Computing Systems
Jez A, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Describing periodicity in two-way deterministic finite automata using transformation semigroups (2011)
- Lecture Notes in Computer Science
Developments in in Language Theory (DLT 2011) Kunc Michal, Okhotin Alexander
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Descriptional Complexity of Unambiguous Nested Word Automata (2011)
- Lecture Notes in Computer Science
Language and Automata Theory and Applications (LATA 2011) Okhotin A, Salomaa K
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Expressive power of LL(k) Boolean grammars (2011)
- Theoretical Computer Science
Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
One-Nonterminal Conjunctive Grammars over a Unary Alphabet (2011)
- Theory of Computing Systems
Jez A, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS (2011)
- International Journal of Foundations of Computer Science
Lehtinen T, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the State Complexity of Star of Union and Star of Intersection (2011)
- Fundamenta Informaticae
Jiraskova G, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
State Complexity of Operations on Input-Driven Pushdown Automata (2011)
- Lecture Notes in Computer Science
Okhotin A, Salomaa K
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
State complexity of operations on two-way deterministic finite automata over a unary alphabet (2011)
- Lecture Notes in Computer Science
Descriptional Complexity of Formal Systems (DCFS 2011) Kunc Michal, Okhotin Alexander
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
State Complexity of Union and Intersection for Two-Way Nondeterministic Finite Automata (2011)
- Fundamenta Informaticae
Kunc M, Okhotin A
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
BOOLEAN GRAMMARS AND GSM MAPPINGS (2010)
- International Journal of Foundations of Computer Science
Lehtinen Tommi, Okhotin Alexander
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Computational power of two stacks with restricted communication (2010)
- Information and Computation
Karhumaki Juhani, Kunc Michal, Okhotin Alexander
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth (2010)
- Theory of Computing Systems
Jeż Arthur, Okhotin Alexander
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )