Concepedia

Mikhail V. Volkov

MV

Statistics

Publications

30

Citations

809

H-Index

18

Active since

1984

Affiliations

Universidade do Porto(Current)

Ural Federal University

Bar-Ilan University

University of Vienna

Ural State Forestry Engineering University

Mikhail V. Volkov is an author at Universidade do Porto specializing in engineering, representation theory, and formal methods.

Top concepts

EngineeringFormal MethodsRepresentation TheoryComputer ScienceAutomated ReasoningLinguisticsFormal VerificationFunctional AnalysisMathematical ProgrammingLanguage

Publications per year

1984–2020

30

Publications

30

Representation theory of finite semigroups, semigroup radicals and formal language theory

Jorge Almeida, Stuart Margolis, Benjamin Steinberg et al. · Transactions of the American Mathematical Society · 2008 · 73 citations · Full text

Synchronizing generalized monotonic automata

D. S. Ananichev, Mikhail V. Volkov · Theoretical Computer Science · 2004 · 71 citations

Logical Automaton, Engineering, Formal Methods +4

Synchronizing monotonic automata

D. S. Ananichev, Mikhail V. Volkov · Theoretical Computer Science · 2004 · 54 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +6

Synchronizing automata preserving a chain of partial orders

Mikhail V. Volkov · Theoretical Computer Science · 2009 · 54 citations

Engineering, Automated Reasoning, Formal Methods +6

Equational theories of semigroups with involution

Karl Auinger, Igor Dolinka, Mikhail V. Volkov · Journal of Algebra · 2012 · 45 citations

Equational Theories, Topological Semigroups, Transformation Semigroups +2

Rows per page

1–5 of 30