Найти результаты исследования

Поиск концепций
Выбранные фильтры

Год публикации

  • 2019
  • 2018
  • 2016
  • 2015

Автор

  • Александр Сергеевич Охотин
2019

Edit distance neighbourhoods of input-driven pushdown automata

Okhotin, A. & Salomaa, K., 19 июл 2019, В : Theoretical Computer Science. 777, стр. 417-430 14 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

Further closure properties of input-driven pushdown automata

Okhotin, A. & Salomaa, K., 17 дек 2019, В : Theoretical Computer Science. 798, стр. 65-77

Результат исследований: Научные публикации в периодических изданияхстатья

Graph-Walking Automata: From Whence They Come, and Whither They are Bound

Okhotin, A., 1 июл 2019, Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. Hospodár, M. & Jirásková, G. (ред.). Springer, стр. 10-29 20 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11601 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Hardest languages for conjunctive and Boolean grammars

Okhotin, A., 1 июн 2019, В : Information and Computation. 266, стр. 1-18 18 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

On the expressive power of GF(2)-grammars

Makarov, V. & Okhotin, A., 1 янв 2019, SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Královič, R., Pighizzini, G., Nawrocki, J. & Catania, B. (ред.). Springer, стр. 310-323 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11376 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

On the length of shortest strings accepted by two-way finite automata

Dobronravov, E., Dobronravov, N. & Okhotin, A., 1 янв 2019, Developments in Language Theory - 23rd International Conference, DLT 2019, Proceedings. Hofman, P. & Skrzypczak, M. (ред.). Springer, стр. 88-99 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11647 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Preface

Martín-Vide, C., Shapira, D. & Okhotin, A., 1 янв 2019, 13th International Conference on Language and Automata Theory and Applications. Том 11417 LNCS. стр. V (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийпредисловие, научный комментарий, послесловие

State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages

Okhotin, A. & Sazhneva, E., 1 июл 2019, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Proceedings. Konstantinidis, S., Hospodár, M. & Jirásková, G. (ред.). Springer, стр. 248-259 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11612 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

State Complexity of the Quotient Operation on Input-Driven Pushdown Automata

Okhotin, A. & Salomaa, K., 1 сен 2019, В : International Journal of Foundations of Computer Science. 30, 6-7, стр. 1217-1235

Результат исследований: Научные публикации в периодических изданияхстатья

State complexity of unambiguous operations on finite automata

Jirásková, G. & Okhotin, A., 17 дек 2019, В : Theoretical Computer Science. 798, стр. 52-64

Результат исследований: Научные публикации в периодических изданияхстатья

2018

A Tale of Conjunctive Grammars

Okhotin, A., 1 сен 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Formal Languages over GF(2)

Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer, стр. 68-79 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

5 Цитирования (Scopus)

Further closure properties of input-driven pushdown automata

Okhotin, A. & Salomaa, K., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer, стр. 224-236 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Linear-space recognition for grammars with contexts

Barash, M. & Okhotin, A., 6 апр 2018, В : Theoretical Computer Science. 719, стр. 73-85 13 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)

On the number of nonterminal symbols in unambiguous conjunctive grammars

Jez, A. & Okhotin, A., 1 янв 2018, В : Fundamenta Informaticae. 162, 1, стр. 43-72 30 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

Preface

Kari, J. & Okhotin, A., 1 июн 2018, В : International Journal of Foundations of Computer Science. 29, 4, стр. 457-459 3 стр.

Результат исследований: Научные публикации в периодических изданияхредакционная статья

Preface

Shallit, J. & Okhotin, A., 1 апр 2018, В : Information and Computation. 259, 1 стр.

Результат исследований: Научные публикации в периодических изданияхредакционная статья

State complexity of unambiguous operations on deterministic finite automata

Jirásková, G. & Okhotin, A., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer, стр. 188-199 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata

Jirásková, G. & Okhotin, A., 1 янв 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer, стр. 441-452 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

1 Цитирования (Scopus)

Underlying Principles and Recurring Ideas of Formal Grammars

Okhotin, A., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)
2016

Approximate unification in the description logic FL0

Baader, F., Marantidis, P. & Okhotin, A., 2016, В : Lecture Notes in Computer Science. 10021, стр. 49-63

Результат исследований: Научные публикации в периодических изданияхстатья

2 Цитирования (Scopus)

Computational and proof complexity of partial string avoidability

Itsykson, D., Okhotin, A. & Oparin, V., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 51. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Descriptional Complexity of Formal Systems

Jürgensen, H., Karhumäki, J. & Okhotin, A., 11 янв 2016, В : Theoretical Computer Science. 610, 1 стр.

Результат исследований: Научные публикации в периодических изданияхредакционная статья

Equations over sets of integers with addition only

Jez, A. & Okhotin, A., 2016, В : Journal of Computer and System Sciences. 82, 6, стр. 1007-1019

Результат исследований: Научные публикации в периодических изданияхстатья

Input-driven languages are linear conjunctive

Okhotin, A., 2016, В : Theoretical Computer Science. 618, стр. 52-71

Результат исследований: Научные публикации в периодических изданияхстатья

10 Цитирования (Scopus)

Least and greatest solutions of equations over sets of integers

Jez, A. & Okhotin, A., 2016, В : Theoretical Computer Science. 619, стр. 68-86

Результат исследований: Научные публикации в периодических изданияхстатья

The hardest language for conjunctive grammars

Okhotin, A., 2016, В : Lecture Notes in Computer Science. 9691, стр. 340-351

Результат исследований: Научные публикации в периодических изданияхстатья

1 Цитирования (Scopus)
2015

Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015 Waterloo, ON, Canada, June 25-27, 2015 Proceedings

Shallit, J. & Okhotin, A., 1 янв 2015, Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Proceedings. Okhotin, A. & Shallit, J. (ред.). Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9118).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийпредисловие, научный комментарий, послесловиенаучная

Descriptional complexity of unambiguous input-driven pushdown automata

Okhotin, A. & Salomaa, K., 1 янв 2015, В : Theoretical Computer Science. 566, C, стр. 1-11 11 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

Открытый доступ
12 Цитирования (Scopus)

Generalized LR parsing for grammars with contexts

Barash, M. & Okhotin, A., 1 янв 2015, Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Proceedings. Beklemishev, L. D., Musatov, D. V. & Musatov, D. V. (ред.). Springer, стр. 67-79 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9139).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

2 Цитирования (Scopus)

Improved normal form for grammars with one-sided contexts

Okhotin, A., 11 июл 2015, В : Theoretical Computer Science. 588, стр. 52-72 21 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

4 Цитирования (Scopus)

Linear grammars with one-sided contexts and their automaton representation

Barash, M. & Okhotin, A., 1 апр 2015, В : RAIRO - Theoretical Informatics and Applications. 49, 2, стр. 153-158 6 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

4 Цитирования (Scopus)

On language equations with concatenation and various sets of boolean operations

Okhotin, A., 1 июл 2015, В : RAIRO - Theoretical Informatics and Applications. 49, 3, стр. 205-232 28 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

Two-sided context specifications in formal grammars

Barash, M. & Okhotin, A., 2 авг 2015, В : Theoretical Computer Science. 591, стр. 134-153 20 стр.

Результат исследований: Научные публикации в периодических изданияхстатья

6 Цитирования (Scopus)