VLDB 2026 Research / reviewers in the wild / expert
Michal Kunc
dblp:82/3483
· DBLP profile ↗
20ranked-venue papers
16as first author
0since 2021 · last 2020
0009-0009-7257-4058ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 20 · 16 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
6 papers |
Automata and formal languages · 76% Computational complexity · 12% Logic in computer science · 10% |
Topics — the 7 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
pushdown automata |
0.1 | 1 | 2010 | Computational power of two stacks with restricted communication · Inf. Comput. 2010 |
Automata and formal languages › regular languages
finite power property |
0.1 | 1 | 2006 | Algebraic Characterization of the Finite Power Property · ICALP (1) 2006 |
Automata and formal languages › formal grammars
grammar systems |
0.1 | 1 | 2006 | Communication of Two Stacks and Rewriting · ICALP (2) 2006 |
Logic in computer science
rewriting systems |
0.1 | 1 | 2006 | Communication of Two Stacks and Rewriting · ICALP (2) 2006 |
Logic in computer science › concurrency theory
trace theory |
0.0 | 1 | 2001 | The Trace Coding Problem Is Undecidable · ICALP 2001 |
Combinatorics and discrete mathematics › partial orders
well-quasi-ordering |
0.0 | 1 | 2004 | Regular Solutions of Language Inequalities and Well Quasi-orders · ICALP 2004 |
Computational complexity
undecidability |
0.0 | 1 | 2001 | The Trace Coding Problem Is Undecidable · ICALP 2001 |
Methods — techniques the papers use, named apart from their topics
restricted communication · 0.1automata theory · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Reversibility of computations in graph-walking automata
Michal Kunc, Alexander Okhotin |
Inf. Comput. | 1 |
| 2017 | The Generalized Rank of Trace Languages
Michal Kunc, Jan Meitner |
DLT | 1 |
| 2015 | On Decidability of Intermediate Levels of Concatenation Hierarchies
Jorge Almeida 0001, Jana Bartonová, Ondrej Klíma 0001, Michal Kunc |
DLT | 4 |
| 2013 | Reversibility of Computations in Graph-Walking Automata
Michal Kunc, Alexander Okhotin |
MFCS | 1 |
| 2012 | State complexity of operations on two-way finite automata over a unary alphabet
Michal Kunc, Alexander Okhotin |
Theor. Comput. Sci. | 1 |
| 2011 | Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups
Michal Kunc, Alexander Okhotin |
Developments in Language Theory | 1 |
| 2011 | State Complexity of Union and Intersection for Two-way Nondeterministic Finite AutomataabstractThe number of states in a two-way nondeterministic finite automaton (2NFA) needed to represent intersection of languages given by an m-state 2NFA and an n-state 2NFA is shown to be at least m+n and at most m+n+1. For the union operation, the number of states is exactly m+n. The lower bound is established for languages over a one-letter alphabet. The key point of the argument is the following number-theoretic lemma: for all m, n ≥ 2 with m, n ≠ 6 (and with finitely many other exceptions), there exist partitions m = p 1 +. . .+ p k and n = q 1 +. . .+q l , where all numbers p 1 , . . . , p k , q 1 , . . . , q l ≥ 2 are powers of pairwise distinct primes. For completeness, an analogous statement about partitions of any two numbers m, n ∉ {4, 6} (with a few more exceptions) into sums of pairwise distinct primes is established as well. Michal Kunc, Alexander Okhotin |
Fundam. Informaticae | 1 |
| 2010 | Computational power of two stacks with restricted communication
Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
Inf. Comput. | 2 |
| 2007 | What Do We Know About Language Equations?
Michal Kunc |
Developments in Language Theory | 1 |
| 2007 | The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable
Michal Kunc |
FCT | 1 |
| 2007 | The Power of Commuting with Finite Sets of Words
Michal Kunc |
Theory Comput. Syst. | 1 |
| 2006 | Communication of Two Stacks and Rewriting
Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
ICALP (2) | 2 |
| 2006 | Algebraic Characterization of the Finite Power Property
Michal Kunc |
ICALP (1) | 1 |
| 2006 | Computing by commuting
Juhani Karhumäki, Michal Kunc, Alexander Okhotin |
Theor. Comput. Sci. | 2 |
| 2005 | On Language Inequalities XK subset of LX
Michal Kunc |
Developments in Language Theory | 1 |
| 2005 | The Power of Commuting with Finite Sets of Words
Michal Kunc |
STACS | 1 |
| 2005 | Regular solutions of language inequalities and well quasi-orders
Michal Kunc |
Theor. Comput. Sci. | 1 |
| 2004 | Regular Solutions of Language Inequalities and Well Quasi-orders
Michal Kunc |
ICALP | 1 |
| 2004 | Undecidability of the trace coding problem and some decidable cases
Michal Kunc |
Theor. Comput. Sci. | 1 |
| 2001 | The Trace Coding Problem Is Undecidable
Michal Kunc |
ICALP | 1 |