Alexander Okhotin
Orcid: 0000-0002-1615-2725Affiliations:
- University of Turku, Finland
- St. Petersburg State University, Rusia
According to our database1,
Alexander Okhotin
authored at least 175 papers
between 2001 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
2025
0
5
10
15
1
1
6
11
3
2
7
5
4
4
4
5
4
3
7
7
8
1
3
5
3
4
5
5
4
1
1
5
3
5
3
3
4
2
3
1
4
3
4
4
4
2
2
1
2
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on utu.fi
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
2024
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees.
Theory Comput. Syst., June, 2024
A lower bound on the state complexity of transforming two-way nondeterministic finite automata to unambiguous finite automata.
CoRR, 2024
CoRR, 2024
Proceedings of the Implementation and Application of Automata, 2024
2023
Inf. Comput., December, 2023
Inf. Comput., December, 2023
Theor. Comput. Sci., November, 2023
Inf. Comput., June, 2023
Theor. Comput. Sci., May, 2023
Theory Comput. Syst., April, 2023
Theory Comput. Syst., April, 2023
State complexity of transforming graph-walking automata to halting, returning and reversible.
Inf. Comput., March, 2023
J. Autom. Lang. Comb., 2023
CoRR, 2023
Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, 2023
Proceedings of the Implementation and Application of Automata, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
Shortest Accepted Strings for Two-Way Finite Automata: Approaching the 2<sup>n</sup> Lower Bound.
Proceedings of the Descriptional Complexity of Formal Systems, 2023
2022
The maximum length of shortest accepted strings for direction-determinate two-way finite automata.
CoRR, 2022
Proceedings of the Implementation and Application of Automata, 2022
Proceedings of the Developments in Language Theory - 26th International Conference, 2022
Proceedings of the Computer Science - Theory and Applications, 2022
2021
Fundam. Informaticae, 2021
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021
On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata.
Proceedings of the Language and Automata Theory and Applications, 2021
Proceedings of the Descriptional Complexity of Formal Systems, 2021
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata over Small Alphabets.
Proceedings of the Descriptional Complexity of Formal Systems, 2021
Proceedings of the Computer Science - Theory and Applications, 2021
2020
Electron. Colloquium Comput. Complex., 2020
Describing the syntax of programming languages using conjunctive and Boolean grammars.
CoRR, 2020
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties.
CoRR, 2020
CoRR, 2020
Proceedings of the Language and Automata Theory and Applications, 2020
Proceedings of the Descriptional Complexity of Formal Systems, 2020
Proceedings of the Computer Science - Theory and Applications, 2020
2019
Theor. Comput. Sci., 2019
Theor. Comput. Sci., 2019
Theor. Comput. Sci., 2019
Int. J. Found. Comput. Sci., 2019
Proceedings of the Implementation and Application of Automata, 2019
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019
Proceedings of the Descriptional Complexity of Formal Systems, 2019
2018
Fundam. Informaticae, 2018
Proceedings of the Language and Automata Theory and Applications, 2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
Proceedings of the Descriptional Complexity of Formal Systems, 2018
2017
Theor. Comput. Sci., 2017
Theory Comput. Syst., 2017
J. Comput. Syst. Sci., 2017
Proceedings of the 15th Meeting on the Mathematics of Language, 2017
Proceedings of the Descriptional Complexity of Formal Systems, 2017
2016
Theor. Comput. Sci., 2016
Proceedings of the 30th International Workshop on Unification, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the Computer Science - Theory and Applications, 2016
2015
Theor. Comput. Sci., 2015
RAIRO Theor. Informatics Appl., 2015
RAIRO Theor. Informatics Appl., 2015
Proceedings of the Computer Science - Theory and Applications, 2015
2014
Theor. Comput. Sci., 2014
Inf. Comput., 2014
Inf. Comput., 2014
Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014
Transforming Two-Way Alternating Finite Automata to One-Way Nondeterministic Automata.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the Developments in Language Theory - 18th International Conference, 2014
On the Determinization Blowup for Finite Automata Recognizing Equal-Length Languages.
Proceedings of the Computing with New Resources, 2014
2013
Int. J. Found. Comput. Sci., 2013
Conjunctive and Boolean grammars: The true general case of the context-free grammars.
Comput. Sci. Rev., 2013
Input-driven pushdown automata: nondeterminism and unambiguity.
Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013
One-way simulation of two-way finite automata over small alphabets.
Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
2012
Theor. Comput. Sci., 2012
Theor. Comput. Sci., 2012
Theory Comput. Syst., 2012
Inf. Comput., 2012
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Developments in Language Theory - 16th International Conference, 2012
Proceedings of the Languages Alive, 2012
2011
Theor. Comput. Sci., 2011
Theory Comput. Syst., 2011
Int. J. Found. Comput. Sci., 2011
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata.
Fundam. Informaticae, 2011
Fundam. Informaticae, 2011
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
Proceedings of the Language and Automata Theory and Applications, 2011
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups.
Proceedings of the Developments in Language Theory - 15th International Conference, 2011
State Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary Alphabet.
Proceedings of the Descriptional Complexity of Formal Systems, 2011
2010
Theor. Comput. Sci., 2010
Theory Comput. Syst., 2010
Fundam. Informaticae, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the Developments in Language Theory, 14th International Conference, 2010
On Language Equations <i>XXK</i> = <i>XXL</i> and <i>XM</i> = <i>N</i> over a Unary Alphabet.
Proceedings of the Developments in Language Theory, 14th International Conference, 2010
Proceedings of the Advances and Applications of Automata on Words and Trees, 12.12., 2010
2009
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009
2008
Proceedings of the Proceedings International Workshop on The Complexity of Simple Programs, 2008
Proceedings of the STACS 2008, 2008
2007
Theor. Comput. Sci., 2007
J. Autom. Lang. Comb., 2007
Nine Open Problems on Conjunctive and Boolean Grammars.
Bull. EATCS, 2007
Proceedings of the Machines, Computations, and Universality, 5th International Conference, 2007
2006
Int. J. Found. Comput. Sci., 2006
Fundam. Informaticae, 2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the Developments in Language Theory, 10th International Conference, 2006
2005
Theor. Comput. Sci., 2005
Int. J. Found. Comput. Sci., 2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
Proceedings of the Developments in Language Theory, 9th International Conference, 2005
2004
Theor. Comput. Sci., 2004
Theor. Comput. Sci., 2004
RAIRO Theor. Informatics Appl., 2004
Proceedings of the Machines, Computations, and Universality, 4th International Conference, 2004
2003
Theor. Comput. Sci., 2003
Int. J. Found. Comput. Sci., 2003
An overview of conjunctive grammars, Formal Language Theory Column.
Bull. EATCS, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
2002
Program. Comput. Softw., 2002
Proceedings of the Implementation and Application of Automata, 2002
Proceedings of the Developments in Language Theory, 6th International Conference, 2002
2001