Michal Kunc

	2011
18		Michal Kunc, Alexander Okhotin: State Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary Alphabet. DCFS 2011: 222-234
17		Michal Kunc, Alexander Okhotin: Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups. Developments in Language Theory 2011: 324-336
16		Michal Kunc, Alexander Okhotin: State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata. Fundam. Inform. 110(1-4): 231-239 (2011)
	2010
15		Juhani Karhumäki, Michal Kunc, Alexander Okhotin: Computational power of two stacks with restricted communication. Inf. Comput. 208(9): 1060-1089 (2010)
	2007
14		Michal Kunc: What Do We Know About Language Equations? Developments in Language Theory 2007: 23-27
13		Michal Kunc: The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. FCT 2007: 365-375
12		Michal Kunc: The Power of Commuting with Finite Sets of Words. Theory Comput. Syst. 40(4): 521-551 (2007)
	2006
11		Michal Kunc: Algebraic Characterization of the Finite Power Property. ICALP (1) 2006: 120-131
10		Juhani Karhumäki, Michal Kunc, Alexander Okhotin: Communication of Two Stacks and Rewriting. ICALP (2) 2006: 468-479
9		Juhani Karhumäki, Michal Kunc, Alexander Okhotin: Computing by commuting. Theor. Comput. Sci. 356(1-2): 200-211 (2006)
	2005
8		Michal Kunc: On Language Inequalities XK subset of LX. Developments in Language Theory 2005: 327-337
7		Michal Kunc: The Power of Commuting with Finite Sets of Words. STACS 2005: 569-580
6		Michal Kunc: Simple language Equations. Bulletin of the EATCS 85: 81-102 (2005)
5		Michal Kunc: Regular solutions of language inequalities and well quasi-orders. Theor. Comput. Sci. 348(2-3): 277-293 (2005)
	2004
4		Michal Kunc: Regular Solutions of Language Inequalities and Well Quasi-orders. ICALP 2004: 870-881
3		Michal Kunc: Undecidability of the trace coding problem and some decidable cases. Theor. Comput. Sci. 310(1-3): 393-456 (2004)
	2003
2		Michal Kunc: Equational description of pseudovarieties of homomorphisms. ITA 37(3): 243-254 (2003)
	2001
1		Michal Kunc: The Trace Coding Problem Is Undecidable. ICALP 2001: 603-614

Coauthor Index

1	Juhani Karhumäki	[9] [10] [15]
2	Alexander Okhotin	[9] [10] [15] [16] [17] [18]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page