Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michal Kunc

dblp:82/3483 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automata and formal languages
pushdown automata
0.112010
Computational power of two stacks with restricted communication · Inf. Comput. 2010
Automata and formal languages › regular languages
finite power property
0.112006
Algebraic Characterization of the Finite Power Property · ICALP (1) 2006
Automata and formal languages › formal grammars
grammar systems
0.112006
Communication of Two Stacks and Rewriting · ICALP (2) 2006
Logic in computer science
rewriting systems
0.112006
Communication of Two Stacks and Rewriting · ICALP (2) 2006
Logic in computer science › concurrency theory
trace theory
0.012001
The Trace Coding Problem Is Undecidable · ICALP 2001
Combinatorics and discrete mathematics › partial orders
well-quasi-ordering
0.012004
Regular Solutions of Language Inequalities and Well Quasi-orders · ICALP 2004
Computational complexity
undecidability
0.012001
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
YearPublicationVenuePosition
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
DLT1
2015 On Decidability of Intermediate Levels of Concatenation Hierarchies
Jorge Almeida 0001, Jana Bartonová, Ondrej Klíma 0001, Michal Kunc
DLT4
2013 Reversibility of Computations in Graph-Walking Automata
Michal Kunc, Alexander Okhotin
MFCS1
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 Theory1
2011 State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata
abstract
The 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. Informaticae1
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 Theory1
2007 The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable
Michal Kunc
FCT1
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 Theory1
2005 The Power of Commuting with Finite Sets of Words
Michal Kunc
STACS1
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
ICALP1
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
ICALP1