Mikhail V. Volkov

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 27

Top Topics

Finite Automata

Propositional Satisfiability

Top Venues

J. Autom. Lang. Comb.

Int. J. Found. Comput. Sci.

Publications

P. A. Azeef Muhammed, Mikhail V. Volkov, Karl Auinger
Cross-connection structure of locally inverse semigroups. Int. J. Algebra Comput. 33 (1) (2023)
Henning Fernau, Mikhail V. Volkov
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020. Theory Comput. Syst. 67 (2) (2023)
Evgeniya A. Bondar, David Casas, Mikhail V. Volkov
Completely reachable automata: an interplay between automata, graphs, and trees. CoRR (2022)
David Casas, Mikhail V. Volkov
Binary completely reachable automata. CoRR (2022)
David Casas, Mikhail V. Volkov
Binary Completely Reachable Automata. LATIN (2022)
Hanan Shabana, Mikhail V. Volkov
Careful synchronization of partial deterministic finite automata. Acta Informatica 59 (4) (2022)
Nikita V. Kitov, Mikhail V. Volkov
Identities in twisted Brauer monoids. CoRR (2022)
Nikita V. Kitov, Mikhail V. Volkov
. Fields of Logic and Computation III (2020)
Hanan Shabana, Mikhail V. Volkov
Optimal synchronization of partial deterministic finite automata. CoRR (2020)
Hanan Shabana, Mikhail V. Volkov
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. MOTOR (2) (2019)
Hanan Shabana, Mikhail V. Volkov
Using Sat solvers for synchronization issues in partial deterministic automata. CoRR (2019)
Mikhail V. Volkov, Juhani Karhumäki, Dominique Perrin
The Salomaa Prize 2019 was given to Dr. Artur Jez. Bull. EATCS 129 (2019)
Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann, Markus Holzer, Mikhail V. Volkov, Petra Wolf
Computational Complexity of Synchronization under Regular Constraints. MFCS (2019)
François Gonze, Vladimir V. Gusev, Raphaël M. Jungers, Balázs Gerencsér, Mikhail V. Volkov
On the Interplay Between Černý and Babai's Conjectures. Int. J. Found. Comput. Sci. 30 (1) (2019)
Mikhail V. Volkov
Slowly Synchronizing Automata with Idempotent Letters of Low Rank. J. Autom. Lang. Comb. 24 (2-4) (2019)
Nikita V. Kitov, Mikhail V. Volkov
. CoRR (2019)
Mikhail V. Volkov
Preface. J. Autom. Lang. Comb. 24 (2-4) (2019)
Vesa Halava, Juhani Karhumäki, Yuri V. Matiyasevich, Mikhail V. Volkov
Perface. Fundam. Informaticae 162 (2-3) (2018)
Juhani Karhumäki, Dominique Perrin, Mikhail V. Volkov
The Salomaa Prize 2018 was given to Dr. Jean-Éric Pin. Bull. EATCS 126 (2018)
Hanan Shabana, Mikhail V. Volkov
Using Sat solvers for synchronization issues in non-deterministic automata. CoRR (2018)
Eugenija A. Bondar, Mikhail V. Volkov
A Characterization of Completely Reachable Automata. DLT (2018)
Mikhail V. Volkov
Slowly Synchronizing Automata with Idempotent Letters of Low Rank. CoRR (2018)
Eugenija A. Bondar, Mikhail V. Volkov
A Characterization of Completely Reachable Automata. CoRR (2018)
François Gonze, Vladimir V. Gusev, Balázs Gerencsér, Raphaël M. Jungers, Mikhail V. Volkov
On the interplay between Babai and Černý's conjectures. CoRR (2017)
François Gonze, Vladimir V. Gusev, Balázs Gerencsér, Raphaël M. Jungers, Mikhail V. Volkov
On the Interplay Between Babai and Černý's Conjectures. DLT (2017)
Eugenija A. Bondar, Mikhail V. Volkov
Completely Reachable Automata. DCFS (2016)
Eugenija A. Bondar, Mikhail V. Volkov
Completely Reachable Automata. CoRR (2016)
Fedor M. Fominykh, Pavel V. Martyugin, Mikhail V. Volkov
P(L)Aying for Synchronization. Int. J. Found. Comput. Sci. 24 (6) (2013)
Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov
Primitive digraphs with large exponents and slowly synchronizing automata CoRR (2013)
Fedor M. Fominykh, Mikhail V. Volkov
P(l)aying for Synchronization CoRR (2012)
Fedor M. Fominykh, Mikhail V. Volkov
P(l)aying for Synchronization. CIAA (2012)
Edmond W. H. Lee, Mikhail V. Volkov
Limit Varieties Generated by Completely 0-Simple Semigroups. Int. J. Algebra Comput. 21 (1-2) (2011)
Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov
Slowly Synchronizing Automata and Digraphs. MFCS (2010)
Marcel Jackson, Mikhail V. Volkov
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion. Fields of Logic and Computation (2010)
Dimitry S. Ananichev, Vladimir V. Gusev, Mikhail V. Volkov
Slowly synchronizing automata and digraphs CoRR (2010)
Mikhail V. Volkov, Svetlana V. Goldberg, Stanislav I. Kublanovsky
A minimal nonfinitely based semigroup whose variety is polynomially recognizable CoRR (2010)
David Easdown, Mark V. Sapir, Mikhail V. Volkov
Periodic Elements of the Free Idempotent Generated Semigroup on a Biordered Set. Int. J. Algebra Comput. 20 (2) (2010)
I. A. Mikhailova, Mikhail V. Volkov
Pattern avoidance by palindromes. Theor. Comput. Sci. 410 (30-32) (2009)
Mikhail V. Volkov
Synchronizing automata preserving a chain of partial orders. Theor. Comput. Sci. 410 (37) (2009)
Mikhail V. Volkov
Synchronizing Automata and the Cerny Conjecture. LATA (2008)
Dimitry S. Ananichev, Mikhail V. Volkov, Yu. I. Zaks
Synchronizing automata with a letter of deficiency 2. Theor. Comput. Sci. 376 (1-2) (2007)
Mikhail V. Volkov
Synchronizing Automata Preserving a Chain of Partial Orders. CIAA (2007)
Dimitry S. Ananichev, Ilja V. Petrov, Mikhail V. Volkov
Collapsing Words: a Progress Report. Int. J. Found. Comput. Sci. 17 (3) (2006)
Jorge Almeida, Mikhail V. Volkov
Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups. Int. J. Algebra Comput. 16 (2) (2006)
Dimitry S. Ananichev, Mikhail V. Volkov, Yu. I. Zaks
Synchronizing Automata with a Letter of Deficiency 2. Developments in Language Theory (2006)
Dimitry S. Ananichev, Mikhail V. Volkov
Synchronizing generalized monotonic automata. Theor. Comput. Sci. 330 (1) (2005)
Jorge Almeida, Stuart W. Margolis, Mikhail V. Volkov
The pseudovariety of semigroups of triangular matrices over a finite field. RAIRO Theor. Informatics Appl. 39 (1) (2005)
Dimitry S. Ananichev, Ilja V. Petrov, Mikhail V. Volkov
Collapsing Words: A Progress Report. Developments in Language Theory (2005)
Dimitry S. Ananichev, Mikhail V. Volkov
Synchronizing monotonic automata. Theor. Comput. Sci. 327 (3) (2004)
Mikhail V. Volkov
Checking quasi-identities in a finite semigroup may be computationally hard. Stud Logica 78 (1-2) (2004)
Stuart W. Margolis, Jean-Eric Pin, Mikhail V. Volkov
Words Guaranteeing Minimum Image. Int. J. Found. Comput. Sci. 15 (2) (2004)
Mikhail V. Volkov
Reflexive Relations, Extensive Transformations and Piecewise Testable Languages of a Given Height. Int. J. Algebra Comput. 14 (5-6) (2004)
Dimitry S. Ananichev, Alessandra Cherubini, Mikhail V. Volkov
Image reducing words and subgroups of free groups. Theor. Comput. Sci. 307 (1) (2003)
Dimitry S. Ananichev, Mikhail V. Volkov
Synchronizing Monotonic Automata. Developments in Language Theory (2003)
Dimitry S. Ananichev, Alessandra Cherubini, Mikhail V. Volkov
An Inverse Automata Algorithm for Recognizing 2-Collapsing Words. Developments in Language Theory (2002)
Jorge Almeida, Peter M. Higgins, Mikhail V. Volkov
The Gap Between Partial and Full: an Addendum. Int. J. Algebra Comput. 11 (1) (2001)
Dimitry S. Ananichev, Mikhail V. Volkov
Collapsing Words vs. Synchronizing Words. Developments in Language Theory (2001)
Stuart W. Margolis, Jean-Eric Pin, Mikhail V. Volkov
Words Guaranteeing Minimal Image. Words, Languages & Combinatorics (2000)
Jorge Almeida, Mikhail V. Volkov
The Gap Between Partial and Full. Int. J. Algebra Comput. 8 (3) (1998)
Mikhail V. Volkov
On a Class of Semigroup Pseudovarieties without Finite Pseudoidentity Basis. Int. J. Algebra Comput. 5 (2) (1995)